19/04/22 20:58:42.72 ZbmAge8N.net
>>304
> 上記は
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題というｌ事が両立してる
> （矛盾）
これから言えることは、
((x=●)⇒(({x,x}={x})∧￢({x,x}={x})))⇒￢(x=●)
つまり、
x=●ならば
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題という事が両立して
おり矛盾、よって●はxになることはない
だぞ
19/04/22 20:58:42.72 ZbmAge8N.net
>>304
> 上記は
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題というｌ事が両立してる
> （矛盾）
これから言えることは、
((x=●)⇒(({x,x}={x})∧￢({x,x}={x})))⇒￢(x=●)
つまり、
x=●ならば
> ｛ｘ 、ｘ｝＝｛ｘ｝が真の命題という事と
> ｛ｘ 、ｘ｝＝｛ｘ｝が偽の命題という事が両立して
おり矛盾、よって●はxになることはない
だぞ