命题逻辑基础

命题逻辑就是以简单命题作为基本变元，根据连接词的特征进行推理的逻辑。比如，我们可以从“如果张无忌喜欢周芷若，他就不会和赵敏在一起；并且他和赵敏在一起了。”推出“张无忌不喜欢周芷若”。这个例子中涉及的简单命题就是：张无忌喜欢周芷若，张无忌（不）会和赵敏在一起；这个推理依据的是连接词“如果……，则……”的特征。(https://www.daowen.com)

我们会在这一节介绍一些命题逻辑的基础，为接下来的学习做好准备。这些基础内容包括：命题、连接词、命题的符号化。