[多选题]下列各项中那些是命题演算公理系统L的合式公式:(可多选)

A
A.p2
B
B.p1 → p2
C
C.(¬ (¬ p111) )
D
D.(p1 ∧p2)
E
E.(( A →( B →A )))
正确答案:A,C
扫描二维码
免费搜题、免费刷题、免费查看解析