Inter-universal geometry と ABC予想否定派

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

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch172:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 22:49:58 gQCe02i1.net
>>162
全称例化を正しい推論とする論理体系では
変数の定義域は空でないから
全称命題から全称例化を行い
そこから存在量化を行うことで
特称命題が導けてしまう

次ページ

続きを表示

1を表示