真值表的逻辑工具功能 |
| |
引用本文: | 汪柏树.真值表的逻辑工具功能[J].黄山学院学报,2001(4). |
| |
作者姓名: | 汪柏树 |
| |
作者单位: | 黄山高专中文系 安徽黄山 |
| |
摘 要: | 本文较全面地论述了真值表定义复合命题联结词,提供推理规则逻辑根据,直接检验复合命题推理有效性,揭示复合命题之间真假关系,构造复合命题逻辑方阵及其推理有效式,准确掌握矛盾律、排中律、反证法和间接反驳,准确理解复杂语句外延等多方面的逻辑工具功能
|
关 键 词: | 真值表 逻辑工具功能 复命命题逻辑方阵的构成 |
本文献已被 CNKI 等数据库收录! |
|