单项选择题
A.表达式B.恒等式C.蕴涵式
A.日常语言B.自然语言C.人工语言
A.L的合式公式B.L的公理C.通过分离规则得到
A.L中符合L1的公理B.L中符合L2的公理C.L中符合L3的公理D.不是L的公理
微信扫一扫,加关注免费搜题