关于命题逻辑公式的下列说法正确的有:

8 查阅

关于命题逻辑公式的下列说法正确的有:

A.公式是满足一定排列组合规则的符号串

B.(p∧q)和(q∧p)是相同的公式

C.一个否定式的否定不再是否定式

D.公式的数量是无穷的,但每个公式的长度总是有穷的

参考答案:

答案:公式是满足一定排列组合规则的符号串;公式的数量是无穷的,但每个公式的长度总是有穷的