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

一个模型论证明题

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

相关小说

少年的神挂 连载中
少年的神挂
龙蝶女神
【简介已精修,儿时执笔,文笔拙,作品已签约无法删,慎看❗❗❗】———————————————————开了挂的人生,你羡慕吗?正文:万物汇源篇......
12.3万字9个月前
无往游戏 连载中
无往游戏
陨倾
时冉死后进入规则怪谈世界,还遇见了早已逝世的父母,死后的人无法进入轮回而是进入怪谈世界?那自己死了有什么意义?!
0.5万字9个月前
退出守护者队的喜羊羊 连载中
退出守护者队的喜羊羊
铃喜儿
因为输给了烈虎队,喜羊羊退出了守护者队,从此和守护者队的队员再无联系,可有一天,守护者队的队员接到了喜羊羊的电话,这个电话让他们大吃一惊
0.3万字9个月前
虫动乾坤之猴妈出山 连载中
虫动乾坤之猴妈出山
水帘洞煮
人有人他妈,妖有妖他妈,那只猴子怎会没妈,可笑。至于说他是从石头里面蹦出来的,那是以后的事情。再后来,那只猴子修得金身正果,称斗战圣佛,更加......
18.8万字9个月前
妖缘志异 连载中
妖缘志异
淡溪桥
简介正在更新
33.6万字9个月前
再世重逢 连载中
再世重逢
该用户已注销
我的世界已经分崩离析,我的痛苦像永恒一样无尽。“对不起,不能陪着你了,请杀了我,然后好好的活下去……”“我想……再见他一面,无论我会付出怎样......
26.8万字9个月前