用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：
(1)一个命题是其值为真或假的一个判断语句；
(2)如果X是一个命题，Y也是一个命题，则XandY，XorY,notX也是一个命题；
(3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先；
(4)命题由以上方式构造。
若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。
(1)一个命题是其值为真或假的一个判断语句；
(2)如果X是一个命题，Y也是一个命题，则XandY，XorY,notX也是一个命题；
(3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先；
(4)命题由以上方式构造。
若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。
举一反三
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： (1)一个命题是其值为真或假的一个判断语句； (2)如果X是一个命题，Y也是一个命题，则X and Y，X or Y, not X也是一个命题； (3)如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先； (4)命题由以上方式构造。 若X，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义: A: )一个命题是其值为真或假的一个判断语句； B: )如果X是一个命题，Y也是一个命题，则X and Y，X or Y, not X也是一个命题； C: )如果X是一个命题，则(X)也是一个命题，括号内的命题运算优先； D: )命题由以上方式构造。 E: ，Y，Z，M等均是一个命题，问不符合上述递归定义的语句是_____。 F: X； G: ( X and Y not Z)； H: (X)； I: ((X and Y) or (not Z)) and (not M)。
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：(1)一个命题...，问不符合上述递归定义的语句是_____
- 如果一个表示蕴含关系的符合命题是真命题（即a->b是真命题），则下面哪个命题一定是真命题（） A: 该命题的逆否命题 B: 命题a C: 命题b D: 该命题的反命题（b->a）
- 若一命题永远无法被证明，则该命题就是一个错误命题。（）