命题逻辑

可以判断真假的语句(陈述、句子、断言)叫做命题。在命题逻辑中，一个语句（或命题）由一个符号（或字母）表示，命题逻辑是研究简单命题和复合命题之间关系的学科，其中逻辑连接词用于构建复合命题，而命题的真值则决定了整个复合命题的真假。

命题逻辑概念定义

一个命题是一个完整的陈述，要么是真的，要么是假的。例如，一个命题可能是：

• 所有天鹅都是白色的
• 如果一个数是偶数，那么它一定能被2整除
• 只有养成良好的生活习惯，才能拥有健康的身体
• 无糖饮料对健康无害

命题符号

在命题逻辑中，命题按惯例用大写字母表示，通常是黑体字。例如，上面的命题可以用字母A表示：

A:所有天鹅都是白色的

与三段论逻辑不同，在命题逻辑中，这个语句是整体的，通常用一个符号来表示，我们只关心它是真还是假，而不是语句中的各个具体的术语。