Tags
17 个页面
命题
极项性质
数理逻辑语法
自然语言命题符号化
推理规则
推理
自然推理系统
命题逻辑推理理论
消解法
联结词完备集
析取范式与合取范式
1
2