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

一个模型论证明题

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

相关小说

缤纷多彩小故事 连载中
缤纷多彩小故事
风雪轮
多个故事,应该是很简洁的一些故事,一个故事开头结尾结束的很快
3.9万字5个月前
噩梦苏醒时分 连载中
噩梦苏醒时分
157***351_2137603610
怪物!怪物!男孩不住的哭喊着,然而,没有一个人搭理他。突然,黑夜里,一双黄色的眼睛转了过来,一股劲风携杂着血腥味像男孩扑去。
3.8万字2个月前
王威:唯一 连载中
王威:唯一
裴瑾妤
高甜无虐,这里是王威×阮礼(原创女主)
2.7万字2个月前
回溯逆转 连载中
回溯逆转
枫苑音
如果让时间重置,你们能改变未来吗?我期待你们造成的改变。但同时可以承受代价的人离开了就要有无数普通人来承受这个代价[]会同意吗?
0.7万字2个月前
时空碎片(上) 连载中
时空碎片(上)
Y.榆欢
0.6万字1个月前
曹氏饿了么集团商业帝国 连载中
曹氏饿了么集团商业帝国
海豚_92425688407329648
本书主要讲,曹氏家族企业1路发展到商业帝国。
0.8万字2周前