24/05/14 15:52:14.24 3zudoayv.net
>>270
Pがトートロジー ⇔ ￢Pから矛盾が導ける は認めないの？
認めないとして反例示せる？
24/05/14 15:52:14.24 3zudoayv.net
>>270
Pがトートロジー ⇔ ￢Pから矛盾が導ける は認めないの？
認めないとして反例示せる？
24/05/14 15:52:14.24 3zudoayv.net
>>270
Pがトートロジー ⇔ ￢Pから矛盾が導ける は認めないの？
認めないとして反例示せる？