单项选择题
A.表达式B.恒等式C.蕴涵式
构建公理系统通常需要使用：（）A.日常语言B.自然语言C.人工语言
单项选择题构建公理系统通常需要使用：（）
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的公理
