数学联邦政治世界观
超小超大

一个模型论证明题

定理:假设 T 是一个全称语句集,且 T⊨∀x∃yP(x,y) ,那么存在有限个项 t₁(x),⋯,tₙ(x) 满足 T⊨∀x(⋁ᵢ≤ₙ P(x,tᵢ(x))) 。

证明:否则的话,对于任意有限项都有t₁(x),⋯,tₙ(x)都有 T,⋀ ᵢ≤ₙ ¬P(x,tᵢ (x))⊭ψ∧ ¬ψ ,根据紧致性定理,存在模型 𝕸 满足 𝕸 ⊨ T∪{¬P(x,t(x)):t∈Term} 。设 x 在 𝕸 的赋值为 m ,令 𝕹 是 m 生成的最小子结构,由于 T 是全称语句集,因此 𝕹 ⊨ T ∧ ∀y (¬P(m,y)) ,这与假设矛盾,反证定理成立。

数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。

相关小说

青春醉 连载中
青春醉
Milletty
【修罗场➕狗血➕复仇➕全员疯子】安盺是圣洛斯学院的女神,她美丽动人,柔弱善良。一颦一笑都仿佛带着柔光特效。学院三大男神也为他她争风吃醋,竟相......
11.1万字9个月前
当笨蛋炮灰拥有盛世美颜 连载中
当笨蛋炮灰拥有盛世美颜
仙鱼亚裔
评论区里有简介.正文里也有简介.唯独作品简介里没有简介.
2.8万字9个月前
星河璀璨之澜星cp 连载中
星河璀璨之澜星cp
千辰云海
已弃
2.4万字9个月前
星际之女王VS女王 连载中
星际之女王VS女王
曾也梦回
【已签约,已完结,双女主,双强,ABO】菱悦是星际兽族的女王,兽族与人类各过各的,可有一天,人类挑起战争,兽族内部出现内奸,兽族落败,为了保......
3.6万字9个月前
清逆苍穹 连载中
清逆苍穹
北街小道猫姑娘
现代的绝地杀手穿越到古代北清国清河府清河郡主——废物的身上,化解了亲人与自己的仇恨,要查清杀害原主母亲的凶手,一次次的摩擦,陷害与遇难;一次......
6.6万字9个月前
注定相遇的我们 连载中
注定相遇的我们
放荡不羁xhm
古风!穿越!言情!他们会有咋样的结果?
6.3万字9个月前