19/02/11 16:47:55.39 YSRNi+IZ.net
>>781
変にめんどくさい人だな
俺は
>>758
>>>756
>Y∈Y⇔￢Y∈Y
>
>これだけからどうやって矛盾導くの？
と聞かれたから証明して見せただけ
P⇔￢P
が矛盾だってのは排中律要らないからさ
19/02/11 16:47:55.39 YSRNi+IZ.net
>>781
変にめんどくさい人だな
俺は
>>758
>>>756
>Y∈Y⇔￢Y∈Y
>
>これだけからどうやって矛盾導くの？
と聞かれたから証明して見せただけ
P⇔￢P
が矛盾だってのは排中律要らないからさ