单项选择题
A.L中符合L1的公理B.L中符合L2的公理C.L中符合L3的公理D.不是L的公理
下列各项中哪些是命题演算公理系统L的合式公式？（）A.p2B.p1→p2C.（¬（¬p111））D.（p1∧p...
多项选择题下列各项中哪些是命题演算公理系统L的合式公式？（）
A.p2B.p1→p2C.（¬（¬p111））D.（p1∧p2）E.（（A →（B →A ）））
命题联接词“合取”在数字电路中对应的是：（）A.非门B.与门C.或门D.与非门E.或非门
单项选择题命题联接词“合取”在数字电路中对应的是：（）
A.非门B.与门C.或门D.与非门E.或非门
可单独作为命题联接词的充足集的是：（）A.否定B.合取C.析取D.蕴涵E.与非
单项选择题可单独作为命题联接词的充足集的是：（）
A.否定B.合取C.析取D.蕴涵E.与非
