- 締切済み
至急！論理学の問題で困ってます！
論理学の問題で困っています。 以下の推論の記号化を推論規則や置換規則を用いて妥当性の形式的証明を行いなさい。尚、構成的ディレンマを用いずに証明しなさい。 とあります。どなたか証明方法がわかるかたがいらっしゃいましたら、解答お願いします。 1A⊃(B・C) 2D⊃(B・E) ∴(A∨D)⊃[(B・C)∨(B・E)]
- pride1_pride2
- お礼率0% (0/1)
- 恋愛相談
- 回答数1
- ありがとう数0
- みんなの回答 （1）
- 専門家の回答
みんなの回答
- ohmyly
- ベストアンサー率33% (9/27)
回答No.1
カテゴリが恋愛相談になっていますから、的確な答えが受けられないと思いますよ。 カテゴリを変えて、もう一度質問した方がいいのでは。
