网站首页 情感咨询 情感美文 情感百科 情感生活 学习充电 旧版美文
数理逻辑中指满足一定条件的解释。令一阶语言中的合式公式A、B、C…等组成的集合为Γ,如果存在一个解释I,使得Γ中的每个公式在解释I中皆真,就可称I为公式集Γ的模型。显然如果Γ中只有一个合式公式A,那么使得A在其中真的解释,就是A的模型。如果一阶系统S存在一解释I,使得S中的定理在解释I中皆真,就称I为一阶系统S的模型。
依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。