タグ

2009年9月27日のブックマーク (1件)

  • 前提が偽の場合、式値は真 - やねうらおブログ(移転しました)

    ある会社の経理担当と「中小企業の会計に関する指針」の適用に関するチェックリスト*1のことで大喧嘩である。 「営業上の債権のうち破産債権等で1年以内に弁済を受けることができないものがある場合、これを投資その他の資産の部に表示したか。」という確認事項があって、○か×かでチェックを入れなければならない。 その会社には「営業上の債権のうち破産債権等で1年以内に弁済を受けることができないもの」が無かった。 元の文章は、 前提P : 「営業上の債権のうち破産債権等で1年以内に弁済を受けることができないものがある」 結論Q : 「これを投資その他の資産の部に表示したか。」 で、P→Qの式値を○(真),×(偽)で答えよという論理学の問題だと私は解釈したので、今回のように前提Pが偽ならば、この式値は当然、○(真)である。 だからここは「○」にするのが正しいと私はその会社の経理担当に言った。 そうすると、「あ

    前提が偽の場合、式値は真 - やねうらおブログ(移転しました)
    tarao
    tarao 2009/09/27
    論理弱者の話 / 勘違いしてる人がいそうなので補足するとP→Qが真なのはP→Qと¬P∨Qが同値だからではない。その2つが同値でない場合(直観主義論理の場合)でも¬PだけからP→Qが導出可能(∵ex falso sequitur quodlibet)