关于蕴涵重言式不是推理式的证明 |
| |
引用本文: | 吴春红,张延伍.关于蕴涵重言式不是推理式的证明[J].郑州航空工业管理学院学报(社会科学版),2012,31(3):53-56. |
| |
作者姓名: | 吴春红 张延伍 |
| |
作者单位: | 贵州大学人民武装学院,贵州贵阳,550025 |
| |
基金项目: | 贵州大学人文社会科学青年项目(GDWQ2010021) |
| |
摘 要: | 现行形式逻辑读本错误地用纯真值函数的蕴涵重言式表达能从已知获取新知的传统逻辑复合命题推理。含蕴涵怪论的蕴涵重言式的本质特征是纯真值函数,其整个命题的真值取决于它的支命题的真值。除了假言易位推理和联言推理而外,传统逻辑的其他所有复合命题推理用蕴涵重言式表达后都出怪论。
|
关 键 词: | 推理 真值函数 蕴涵重言式 蕴涵怪论使用 |
本文献已被 CNKI 万方数据 等数据库收录! |
|