汪学明 龚启荣 盛作国 胡红

日常理解 选言推理 蕴涵怪论 语用学 形式逻辑 充分条件关系 内涵三段律 量子计算机 两个依赖性 “悖论” 两个独立性 推理式 假言命题 句子 集成光路 现代逻辑改造 亚民三段论 专家系统 制约门 “说谎者”悖论 客体逻辑 数理逻辑 刻划清楚后的充分条件关系 相干逻辑 指谓 元逻辑 实质蕴涵 逻辑学 电子数字计算机 启发式信息