19/02/11 16:23:16.26 YSRNi+IZ.net
>>769
>で結局回り道みたいな議論した所で｢P→￢P |- ￢P｣の主張そのものが排中律と同じ。
面白いから
P→￢P |- ￢P
から
|- P∨￢P
導いてごらんよ
19/02/11 16:23:16.26 YSRNi+IZ.net
>>769
>で結局回り道みたいな議論した所で｢P→￢P |- ￢P｣の主張そのものが排中律と同じ。
面白いから
P→￢P |- ￢P
から
|- P∨￢P
導いてごらんよ
19/02/11 16:23:16.26 YSRNi+IZ.net
>>769
>で結局回り道みたいな議論した所で｢P→￢P |- ￢P｣の主張そのものが排中律と同じ。
面白いから
P→￢P |- ￢P
から
|- P∨￢P
導いてごらんよ