アプリ版:「スタンプのみでお礼する」機能のリリースについて

T¬A⊃B
この式をタブロー体系で、

¬A∩B→
 この式をG体系で示したいのです

否定がつくとよくわからなくなるのですが、それぞれどうなるのでしょうか?

A 回答 (1件)

T とF?

    • good
    • 0

お探しのQ&Aが見つからない時は、教えて!gooで質問しましょう!