网站首页  情感咨询  情感美文  情感百科  情感生活  学习充电  旧版美文

请输入您要查询的百科知识:

 

标题 满足
类别 哲学
释义 满足     satisfication;satisfy

数理逻辑用语。解释I中的一个赋值v满足公式A,是指如果能归纳地遵循下列四条件:(1)v满足原子公式P(t1,…,tn),当且仅当,(v(t1),…,v(tn))在论域D中真。其中t1,…,tn为项,P为谓词,是P所指称的对象。(2)v满足B,当且仅当,v不满足B。(3)v满足(B→C),当且仅当,v满足B或v满足C。(4)v满足(ᗄx)B,当且仅当,每个对x不同的赋值v都满足B。其中A、B、C皆为合式公式。给出了任何赋值v和任何公式A,只能是或者v满足A,或者v满足A,不能两者都满足。一个公式A,如果至少存在一个解释,并且在其上至少有一个赋值满足A,则称公式A是可满足的。如果一个解释I中的每个赋值都满足A,则称为A在解释I中真,简称解释真。用符号I ⊨A表示。如果一个解释I中的每个赋值都不满足A,则称为A在解释I中假,简称解释假。

随便看

 

依恋情感网情感百科知识大全收录了49620条情感类百科知识词条,覆盖心理学、哲学、美学等领域,基本涵盖了日常生活中常见问题的详细解释,是情感生活的有利工具。

 

Copyright © 2002-2024 yiyi18.com All Rights Reserved
更新时间:2025/8/6 22:36:28