解答編行きますか。
とりあえずどんな問題だったか、再掲。
次の命題の論理構造を最もよく表す論理式を書け。
(1)勉強しないとerikoは試験に落ちる。
(2)ジュウイチは論理学の知識がないわけでも、数学的センスがないわけでもない。
次の論理式の真理値分析をせよ。
(3)￢(Ｐ∧￢Ｑ)
(4)((Ｐ⊃Ｑ)∧Ｐ)⊃Ｑ
(5)(Ｐ⊃(Ｑ∨Ｒ))⊃(Ｐ∨Ｑ)
次の推論を表現する推論式を作り、真理値分析により正誤を調べよ。
(6)erikoが訪ねるといつもコンノかしらすが家にいる。
コンノが出かけるときはしらすも出かける。
したがって、erikoが訪ねるといつもコンノがいる。
で、なかっぺさんの解答が
>(１)￢Ｐ⊃Ｑ
>(２)￢(Ｐ∨Ｑ)
erikoさんの解答が
>（１）なかっぺさんと同じ
>（２）￢(Ｐ∧Ｑ) なような気がしますぅ…？
>（３）１
>（４）１
>（５）０
>（６）前提１Ｐ∧Ｑ
> 前提２Ｐ⊃（Ｑ∧Ｒ）
> 結論（Ｐ∧Ｑ）⊃Ｒ
…なんか、改めて思うぞ。解答編のむなしさよ…
(1)はお二人とも正解です。
(2)はお二人とも不正解。￢(￢Ｐ∧￢Ｑ)とするべき。erikoさんの方が連言を使ってる分、近いですね。
続く。