命題論理における自然演繹の推論規則・公理の最小限のセット

命題論理の自然演繹に、

• 　命題論理における自然演繹の推論規則・公理の最小限のセット
• 　主要テキストの「自然演繹の推論規則・公理」　　

を追加。