多项选择题
L的每个证明的第一步一定是：（）
A.L的合式公式B.L的公理C.通过分离规则得到
单项选择题 （（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）
多项选择题 下列各项中哪些是命题演算公理系统L的合式公式？（）
单项选择题 命题联接词“合取”在数字电路中对应的是：（）
