未分类题

试寻找一个闭式(即不存在自由变元的合式公式)A，使A在某些解释下为真命题，而在另外一些解释下为假命题．

【参考答案】

令A==x=y(F(x)∧G(y)→L(x，y))．因在A中无自由出现的个体变项，故A为闭式．
给定解释I
(↓↓↓ 点击下方‘点击查看答案’看完整答案 ↓↓↓)
<上一题 目录 下一题>
热门 试题

未分类题
将下列各式翻译成自然语言，然后在不同个体域中确定它们的真值．个体域分别为： (a)实数集R； (b)整数集Z； (c)正整数集Z+； (d)R-{0}(非零实数集合)．
A.个体域分别为：
未分类题
公式中自由变元是什么?约束变元是什么?
公式
（1)(Ax)(R(x)→(Ez)F(x,z))
（2）(Ex)P(y)
（3)(Ax)R(x)∧Q(x)
中自由变元是什么?约束变元是什么?
相关试题