用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：
A: X;(
B: (XandYnotZ);(
C: (X);(
D: ((XandY)or(notZ))and(notM)。
A: X;(
B: (XandYnotZ);(
C: (X);(
D: ((XandY)or(notZ))and(notM)。
举一反三
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义：(1)一个命题...，问不符合上述递归定义的语句是_____
- 用递归是可以定义语言的。如表述命题逻辑的一种语言可以如下定义： (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)。