单项选择题
A.日常语言B.自然语言C.人工语言
L的每个证明的第一步一定是：（）A.L的合式公式B.L的公理C.通过分离规则得到
多项选择题L的每个证明的第一步一定是：（）
A.L的合式公式B.L的公理C.通过分离规则得到
（（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）A.L中符合L1的公理B...
单项选择题（（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）
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 ）））
