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

一个模型论证明题

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

相关小说

梦:我的一百零一个梦 连载中
梦:我的一百零一个梦
聪明的呆子
他们说,梦里梦到的人,现实就见不到了如果我说我不信呢,我一定会见到你的
0.6万字4个月前
残梦遗记 连载中
残梦遗记
时间独角兽的小号吖
原创作品,禁止抄袭,违反必究!!!作者原名:时间独角兽(墨怨)简介正文:——哥哥,我做了一场梦……像碎片一样的记忆涌入我的脑海,——是谁在呼......
2.1万字4个月前
角色们的爱恨情仇 连载中
角色们的爱恨情仇
7996402
第一篇:异世界土著们的沉浸式剧本游戏,剧情演绎期间概率出现ooc环节,系统是攒局人员饰演第二篇:意外身穿异界怎么办?不过还好,这里是平行时空......
24.1万字3个月前
失昼之地 连载中
失昼之地
叁七二十一
和平,安定,完美,怀揣善意之人得到幸福,作恶之人被惩戒放逐。这就是吉索达,光明神塞丽蒂亚庇佑的大陆。而正如光影永恒相随,一切事物终有其反面,......
1.7万字2个月前
她在惊悚童话中求生 连载中
她在惊悚童话中求生
蒲零月
末日孤魂穿越进童话副本追溯世界真相
2.1万字2个月前
西幻:大小姐的抽卡生涯 连载中
西幻:大小姐的抽卡生涯
渣渣羽
【无cp】+【西幻】+【抽卡系统】+【穿越】+【少女漫】+【微无敌流】池念穿越了,穿进了一本名叫《灰姑娘的复仇生涯》的打着大女主标签的玛丽苏......
1.0万字2个月前