human
命題論理の自然控除公理を説明してください
gpt
1.アイデンティティ公理：命題「P」は、命題「P」から推定されます。

2.二重拒否公理：命題「no p」は、命題「p」から推​​定されます。

3.通勤公理：命題「P O Q」は、命題「QまたはP」から推定されます。

4.関連性公理：命題 "（p or q）またはr"は、命題「p o（q o r）」から推定されます。

5.追加公理：命題「P O Q」は、命題「P」と命題「Q」から続きます。

6.分布axiom：命題「（p and q）またはr」は、命題「p o r」と命題「q o r」から推定されます。

7.シンプルさの公理：命題「PとF」は、命題「P」から推定されます。

8.還元公理：命題「p o f」は、命題「p」から推​​定されます。