数理論理学（数学基礎論）　その13

数理論理学（数学基礎論）　その13at MATH

数理論理学（数学基礎論）　その13 - 暇つぶし2ch799:１３２人目の素数さん
19/02/11 13:37:14.36 YSRNi+IZ.net
>>758
P P→￢P |- ￢P
P ￢P |- 人
P→￢P |- ￢P
￢P ￢P→P |- P
￢P P |- 人
以上より
P⇔￢P |- 人
だけど？

次ページ

続きを表示

1を表示