Inter-universal geometry と ABC予想否定派

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

Inter-universal geometry と ABC予想否定派 - 暇つぶし2ch181:5ch反IUT論装戦線 ◆y7fKJ8VsjM
20/04/22 23:35:04 gQCe02i1.net
　∀ｘ．カラス（ｘ）→黒（ｘ）　１
　∀ｘ．カラス（ｘ）→￢黒（ｘ）　５　２の否定
　カラス（ａ）→黒（ａ）　１の全称例化
　カラス（ａ）→￢黒（ａ）　５の全称例化
　￢カラス（ａ）　　　　　　　　黒（ａ）
￢カラス（ａ）￢黒（ａ）￢カラス（ａ）　￢黒（ａ）
　　　　　　　　　　　　　　　　　　　　　　×

×がつかない枝かあるので　１から２は導けない

次ページ

続きを表示

1を表示