24/03/28 09:08:24.20 Mhi4SQFn.net
最小論理だとA∧￢A→人は出るけど人→A∧￢Aは出ない
それは人に真理値1を割り当てる最小論理のモデルで
恒真にならないから（このモデルで￢Aの真理値は恒に1）
人→A∧￢Aには矛盾律必要だね
>>95
>書いてて思ったけど人使わないだけで最小論理と同じかも
と書いたけど
最小論理との違いは
矛盾の集合（どう定義すべきか？）の極大元としての人が
存在するか存在しないかってことかなとも思う
24/03/28 09:08:24.20 Mhi4SQFn.net
最小論理だとA∧￢A→人は出るけど人→A∧￢Aは出ない
それは人に真理値1を割り当てる最小論理のモデルで
恒真にならないから（このモデルで￢Aの真理値は恒に1）
人→A∧￢Aには矛盾律必要だね
>>95
>書いてて思ったけど人使わないだけで最小論理と同じかも
と書いたけど
最小論理との違いは
矛盾の集合（どう定義すべきか？）の極大元としての人が
存在するか存在しないかってことかなとも思う