| 数理逻辑中的联结词蕴涵式 |
| |
| 引用本文： | 李红.数理逻辑中的联结词蕴涵式[J].重庆职业技术学院学报,2004,13(2):180-181. |
| |
| 作者姓名： | 李红 |
| |
| 作者单位： | 重庆职业技术学院,重庆,400712 |
| |
| 摘 要： | 在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.
|
| 关 键 词： | 数理逻辑 蕴涵联结词 等价式 推理 真值 数理逻辑 蕴涵联结词 蕴涵式 Mathematical Logic Implication 分析 命题符号化 相关 使用 逻辑联结词 条件 前提 推理 |
| 文章编号： | 1672-0067(2004)02-0180-02 |
| 修稿时间： | 2003年12月6日 |
On Connective Implication Of Mathematical Logic |
| |
| LI Hong.On Connective Implication Of Mathematical Logic[J].Journal of Chongqing Vocational& Technical Institute,2004,13(2):180-181. |
| |
| Authors: | LI Hong |
| |
| Abstract: | In order to ensure the correction of inference, firstly we should assure that the prerequisite is correct. And when making the proposition into symbolized, it is the most key to use logical connectives correctly. Of them the connective implication is easily mistaken. The paper deeply analyzes the connective implication. |
| |
| Keywords: | mathematical logic connective implication inference true value |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
