Inter-universal geometry と ABC予想否定派

**BLACKX** ◆SvoRwjQrNc · 2020/04/20(月) 14:41:04.26

IU幾何やABC予想に関する否定派の会話のサロンとして使って下さい。
荒らしはご遠慮願います。
擁護派出入り自由ですが◆e.a0E5TtKEは立ち入り禁止で

前スレ
Inter-universal geometry と ABC予想 49
https://rio2016.5ch.net/test/read.cgi/math/1586650355/

**5ch反IUT論装戦線** ◆y7fKJ8VsjM · 2020/04/22(水) 23:49:41.12

>>180
君がずらしている

論理式を見ろ　

それで君が誤ってると分かる

分からないのは君が式を理解できないから

式を理解しろ

**5ch反IUT論装戦線** ◆y7fKJ8VsjM · 2020/04/22(水) 23:53:37.05

>>174　>>178　はタブロー法
簡単にいえば背理法
結論の否定から矛盾を導く

これ覚えると役に立つ
●流私大の文学部でも教えてる
個人的には高校でも教えればいい
そのくらい簡単

**１３２人目の素数さん** · 2020/04/22(水) 23:55:27.11

>>181
>∀x(Fx→Gx)から∃x(Fx→Gx)は導ける

それって公理から導出できるってだけの話だよね(全称例化)
俺はその公理体系に属さないから議論しても無駄だわ
公理が存在の担保って群レベルのゴミだな

**１３２人目の素数さん** · 2020/04/22(水) 23:57:37.92

>>182
ああだから全然違う議論をしていたんだね
君が豆知識を披露することに拘泥していて
話になってなかったわ
じゃあな虫けら

**１３２人目の素数さん** · 2020/04/22(水) 23:59:15.36

命題論理のタブローならわかるから
書き直してみろよ

**5ch反IUT論装戦線論理狼** ◆y7fKJ8VsjM · 2020/04/23(木) 08:04:34.94

>>185
＞命題論理のタブローならわかるから

述語論理のタブローを理解しろ

＞書き直してみろよ

述語論理は命題論理より記述力が上

述語論理　勉強しろよ

じゃあなバイ菌ｗ