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

一个模型论证明题

定理:假设 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://www.bjxsw.cc),接着再看更方便。

相关小说

涧春 连载中
涧春
五香瓜子仁
[已签约]一场让所有人匪夷所思的穿书,沐季珠以为的穿书,其实是夜渊一千两百年来的等待。
15.5万字5个月前
元良续章 连载中
元良续章
南缘十四
一次意外,让两个世界相撞,我们成了彼此不可或缺的拼图。我们的相遇,点亮了彼此的夜空。
2.1万字5个月前
十二星座:与你共存 连载中
十二星座:与你共存
柒染qire
地方叫尔晴洛漓簇使,那里的人培养十二星座,可有一天,一个名叫泫雅的,带领了一群黑衣人闯入了尔晴洛漓簇。她们拿走了族中最珍贵的伊克斯宝石,它是......
2.5万字5个月前
普朗克尺度 连载中
普朗克尺度
Muriel昭
次要:【双男主】【救赎文】人鱼*机器人卓奈*万西(角色复杂,就这样概括着吧)主要:【未来科幻】【群众*战争】越往后越迷惑,作者属于是已经“疯......
5.4万字2个月前
快穿:妖女她势在必得 连载中
快穿:妖女她势在必得
小白小白小白小白
在妶月无聊之际,一个声称系统的小家伙找上门来,说可以让她开启新世界的大门。她决定可以去逛一逛,反正闲着没事干。《顶楼》——千瑞珍……
1.4万字1个月前
致命的爱啊 连载中
致命的爱啊
whatisyourdream
爱情真的好复杂,不管是兄弟之间的爱情,还是恋人之间的爱情,都是爱情,但他们始终是有区别的,我不可能和弟弟在一起,我爱的人是阿铠,而弟弟应该去......
3.1万字1个月前