[ジュウイチ]

(6)「erikoが訪ねる」をＰ、「コンノが家にいる」をＱ、「しらすが家にいる」をＲとする。
対応する論理式は((Ｐ⊃(Ｑ∨Ｒ))∧(￢Ｑ⊃￢Ｒ))⊃(Ｐ⊃Ｑ)
ややこしく見えますけど、三段論法ですからＰ，Ｑ，Ｒの固まりが三つ見えますよね。
これを真理値分析して下さい。めんどうがらずにやってね。
そうするとトートロジーになります。したがって、この推論は正しいということになるのです。

いや、ほんと、まじ「自分で確認」して下さいよ？　ホント力つかないですから。