19/01/07 02:55:46.05 P71S6yGo.net
なぜ
人→A
を矛盾律と呼ぶかというと
これが
矛盾とは任意のAについてのA∧￢Aのことである
という主張に他ならないからだよ
A∧￢A→A
は論理積の除去で最小論理の公理だから
矛盾は任意のAについてのA∧￢Aのことだとすればこれを
人→A
と書けるし
逆にこれを認めることで
人→A∧￢A
が成り立つことと最小論理の公理である否定の除去
A∧￢A→人
から
矛盾は任意のAについてのA∧￢Aのこととの同値性が出る
19/01/07 02:55:46.05 P71S6yGo.net
なぜ
人→A
を矛盾律と呼ぶかというと
これが
矛盾とは任意のAについてのA∧￢Aのことである
という主張に他ならないからだよ
A∧￢A→A
は論理積の除去で最小論理の公理だから
矛盾は任意のAについてのA∧￢Aのことだとすればこれを
人→A
と書けるし
逆にこれを認めることで
人→A∧￢A
が成り立つことと最小論理の公理である否定の除去
A∧￢A→人
から
矛盾は任意のAについてのA∧￢Aのこととの同値性が出る