下列符号串都是命题形式: (_p) (pAGg) (p (p) (p々(-p) (p∧(-p) (p^p)>(-(p)下列符号串都是命题形式： ( ¬p) (p ∧ ( ¬q)) (p ∨ ( ¬p)) (p ↔ ( ¬p)) (p ∧ ( ¬p)) ((p ∧ p) → ( ¬(p ∨r)))