孙丽娜 许艳芳 黄定时 李小虎

阿凡提 符号表达式 关系判断 逻辑理论 因明 五支论式 否定肯定式 连珠 逻辑形式 选言判断 十支论式 选言前提 现代逻辑分析手段 不相容 蕴涵式 推理形式 形式逻辑 相容的选言命题 联结词 废除死刑 回溯推理 真值表 模态推理 直言判断 不相容选言推理 选言肢 逻辑要求 合式公式 假言判断 量项