19/02/11 15:24:17.92 duiNLZG1.net
>>764
ってか、｢P→￢P |- ￢P｣の主張そのものが排中律と同じやんけ
ってか>>762の演繹グダグダやろ？
どういう議論の流れになってんのか全く意味不明だわ
19/02/11 15:24:17.92 duiNLZG1.net
>>764
ってか、｢P→￢P |- ￢P｣の主張そのものが排中律と同じやんけ
ってか>>762の演繹グダグダやろ？
どういう議論の流れになってんのか全く意味不明だわ
19/02/11 15:24:17.92 duiNLZG1.net
>>764
ってか、｢P→￢P |- ￢P｣の主張そのものが排中律と同じやんけ
ってか>>762の演繹グダグダやろ？
どういう議論の流れになってんのか全く意味不明だわ