逻辑导论-电子科技大学

A. 公式是满足一定排列组合规则的符号串
B. （p∧q）和（q∧p）是相同的公式
C. 一个否定式的否定不再是否定式
D. 公式的数量是无穷的，但每个公式的长度总是有穷的

A. p→q
B. q→p
C. p«q
D. Øp∨Øq