◆ わからない問題はここに書いてね １０３ ◆

>>291
単なる式変形だから順に追っていってくれ。
別の方法としては真理値表を使うやりかたがある。次のように命題に番号を割り当てる。

Ａ 私が面接に行く
Ｂ 私は内定する
１ 私が面接に行かない(≡ Ａの否定)
２ 私は内定しない(≡ Ｂの否定)
３ 私が面接に行かないなら私は内定しない(≡ １ならば２)
４ 私は面接にいきます(≡ Ａ)
５ 『私が面接に行かないなら私は内定しない』のであれば、私は面接にいきます(≡ ３ならば４)
６ 私は面接に行きません(≡ Ａの否定)
７ 『私が面接に行かないなら私は内定しない』のであれば、私は面接にいきます。
　　（でも）私は面接に行きません。(≡ ５かつ６)
８ 私は内定します(≡ Ｂ)
９ 「『私が面接に行かないなら私は内定しない』のであれば、私は面接にいきます。
　　（でも）私は面接に行きません。ですから、私は内定します。」(≡ ７ならば８)

このとき各命題の真偽はＡとＢの真偽の組合せによって次のように定まる。

Ａ Ｂ　１ ２ ３ ４ ５ ６ ７ ８ ９
偽偽 真真真偽偽真偽偽真
偽真 真偽偽偽真真真真真
真偽 偽真真真真偽偽偽真
真真 偽偽真真真偽偽真真

これでもやはり命題９が恒真であることが示される。

>>292
>>264で間違えなかったらこんなことまではしなかった。