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

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