19/02/11 16:21:10.53 YSRNi+IZ.net
排中律はP∨￢Pが真つまり前提なしに使って良いという主張で
>>771のどこにそれが使われてるの？
二重否定の除去￢￢P|-Pも使ってないのに
19/02/11 16:21:10.53 YSRNi+IZ.net
排中律はP∨￢Pが真つまり前提なしに使って良いという主張で
>>771のどこにそれが使われてるの？
二重否定の除去￢￢P|-Pも使ってないのに
19/02/11 16:21:10.53 YSRNi+IZ.net
排中律はP∨￢Pが真つまり前提なしに使って良いという主張で
>>771のどこにそれが使われてるの？
二重否定の除去￢￢P|-Pも使ってないのに