多项选择题
A.A∨¬A→A∨¬BB.B→AC.¬（¬A∧B）D.¬A→¬B
A.（p→q）→（r→s）B.p→（（q→r）→s）C.p→（q→（r→s））D.（p→（q→r））→s
A.公式的数量是无穷的，但每个公式的长度总是有穷的B.（p∧q）和（q∧p）是相同的公式C.一个否定式的否定不再是否定式D.公式是满足一定排列组合规则的符号串