网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
亦称“古典的完全性”。形式系统的重要性质。指对系统中每个公式A,或者A或者非A是系统的定理。命题演算和谓词演算都不具有这种完全性。例如命题演算中的公式p和p,它们都不是重言式,所以都不是命题演算中的定理。可见命题演算不完全。谓词演算中的公式(ᗄx)A(x)和(ᗄx)A(x)不是普遍有效公式,所以也都不是谓词演算中的定理。可见谓词演算也不完全。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。