如果结果不匹配，请 
更多“一个命题形式,如果在任一解释下都得到一个真命题,则称为普遍有…”相关的问题
第3题
试寻找一个闭式（即不存在自由变元的合式公式)A，使A在某些解释下为真命题，而在另外一些解释下为假命题．
试寻找一个闭式(即不存在自由变元的合式公式)A，使A在某些解释下为真命题，而在另外一些解释下为假命题．
第8题
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：（1)一个命题是其值为真或假的
用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：
(1)一个命题是其值为真或假的一个判断语句;
(2)如果X是一个命题，Y也是一个命题，则 X and Y，X or Y, not X也是一个命题;
(3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先;
(4)命题由以上方式构造。
若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是 _____。
(A) X;
(B) (X and Y not Z);
(C) (X);
(D) ((X and Y) or (not Z)) and (not M)。
