数理逻辑中的联结词蕴涵式

【文件属性】：

文件名称：数理逻辑中的联结词蕴涵式

文件大小：178KB

文件格式：PDF

更新时间：2011-09-22 08:45:40

数理逻辑 蕴涵式

在数理逻辑中,要确保推理的正确性,首先应保证写出的前提条件是正确的.在将命题符号化时,逻辑联结词的正确使用最为关键.而其中最容易出错的是蕴涵联结词.本文对蕴涵联结词及其相关的一些符号进行了较为深刻的分析.