单项选择题
构建公理系统通常需要使用：（）
A.日常语言B.自然语言C.人工语言
多项选择题 L的每个证明的第一步一定是：（）
单项选择题 （（（¬p1）→（¬p2））→（（p1→p3）→（（¬p1）→（¬p2））））是：（）
多项选择题 下列各项中哪些是命题演算公理系统L的合式公式？（）
