谓词公式G是不可满足的，当且仅当对所有的解释G都为（）。

在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着...

填空题在著名的医疗专家系统MYCIN中规定，若证据A的可信度CF（A）=0，则意味着（），CF（A）=-1，则意味着假，CF（A）=1，则意味着真。

设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

填空题设P是谓词公式，对于P的任何论域，存在P为真的情况，则称P为（）。

谓词逻辑中，重言式（tautlogy）的值是（）。

填空题谓词逻辑中，重言式（tautlogy）的值是（）。