满足 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中假,简称解释假。 |