• 締切済み

記号論理学の推論図 タブロー体系G体系

T¬A⊃B この式をタブロー体系で、 ¬A∩B→  この式をG体系で示したいのです 否定がつくとよくわからなくなるのですが、それぞれどうなるのでしょうか?

みんなの回答

  • th8601
  • ベストアンサー率0% (0/0)
回答No.1

T とF?

関連するQ&A