这里有几个非法命题公式的例子:
- P ∧ ∨ Q
这个公式是非法的,因为在 ∧ 和 ∨ 之间缺少一个命题变元或子公式。正确的形式应该是 P ∧ (Q ∨ R) 或 (P ∧ Q) ∨ R。
- →P
这个公式是非法的,因为蕴含符号 → 需要左右两边都有命题变元或子公式。正确的形式应该是 Q → P。
- (P Q)
这个公式是非法的,因为括号内的两个命题变元之间缺少逻辑连接词。正确的形式可以是 (P ∧ Q) 或 (P ∨ Q) 等。
- ¬ ∧ P
这个公式是非法的,因为否定符号 ¬ 后面应该直接跟一个命题变元或子公式,而不是另一个逻辑连接词。正确的形式可以是 ¬(P ∧ Q) 或 (¬P) ∧ Q。
- P Q R
这个公式是非法的,因为多个命题变元之间缺少逻辑连接词。正确的形式可以是 (P ∧ Q ∧ R) 或 (P ∨ Q ∨ R) 等。
这些例子都违反了命题公式的构成规则,因此都是非法的命题公式。