数学できるようになりたい

34 ：以下、？ちゃんねるからVIPがお送りします：2022/11/16(水) 13:32:16.766 ID:6FKxb3O80.net

>>32
ならばの導入則と除去則がこれ

導入則
Aと仮定してBが演繹的に導かれるとき「AならばB」と結論できる

除去則
A、AならばB→B
いわゆる肯定式


最も基本的な自然演繹の公理系ですけど