您当前的位置:首页 >> 聚焦 >  >> 
完全公式
来源: 互联网      时间:2023-05-05 04:55:56


(资料图片)

完全公式(complete formula)亦称孤立公式.能确定一个型的公式.设T是可数语言丫中的完全理论,抓xi,xz,"..}x..,)是罗的公式.如果对丫中的每个公式}(x,}xZ,...,x‑),在T }Cdx‑x2,...}xR)(州x,,xz,…,xn)~沪( x,,xz,…,x}))及T }(dx‑xz,…,二,)(So(x,,xz,…}x}>}} }(二:,二:,…,x,} ) )中都恰有一条成立.则称沪为对1.完全的.简称沪为完全公式.

本文到此分享完毕,希望对大家有所帮助。

标签:

X 关闭

X 关闭