Inter-universal geometry と ABC予想否定派

Inter-universal geometry と ABC予想否定派at MATH

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch279:5ch反IUT論装戦線論理狼 ◆y7fKJ8VsjM
20/04/23 20:54:26 HZRVAVG+.net
>>269
＞命題論理に直すのは簡単だよ
＞もし論議領域としてD={a,b,c}を考える場合
D={a,b}、いや、D={a}　でもいいかもｗ
∀xHxはHa、∃xHxもHa　
Ha→Ha　！
端的にいえばそういうことだよね

次ページ

続きを表示

1を表示