欧洲电视网

完全公式

来源:互联网 时间: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 关闭

推荐

Copyright ©  2015-2022 欧洲电视网版权所有  备案号:沪ICP备2022005074号-23   联系邮箱: 58 55 97 3@qq.com