【岩井】俺はサラブレッド！日大応援スレ【土橋】

このエントリーをはてなブックマークに追加
721 ：ゼッケン７７４さん＠ラストコール：
┣A∧B⊃B∧Aをﾋﾙﾍﾞﾙﾄ流論理体系で証明する問題ですが､公理数が5個以上必要になりそうです｡
導出方法が分かりません｡歯が立ちません｡助けて下さい｡