th8601のプロフィール

@th8601 th8601
ありがとう数41
質問数46
回答数1
ベストアンサー数
0
ベストアンサー率
0%
お礼率
3%

  • 登録日2009/07/18
  • 記号論理学の推論図 タブロー体系G体系

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

もっと見る