可以判断真假的语句(陈述、句子、断言)叫做命题。在命题逻辑中,一个语句(或命题)由一个符号(或字母)表示,命题逻辑是研究简单命题和复合命题之间关系的学科,其中逻辑连接词用于构建复合命题,而命题的真值则决定了整个复合命题的真假。
命题逻辑概念定义
一个命题是一个完整的陈述,要么是真的,要么是假的。例如,一个命题可能是:
- 所有天鹅都是白色的
- 如果一个数是偶数,那么它一定能被2整除
- 只有养成良好的生活习惯,才能拥有健康的身体
- 无糖饮料对健康无害
命题符号
在命题逻辑中,命题按惯例用大写字母表示,通常是黑体字。例如,上面的命题可以用字母A表示:
A:所有天鹅都是白色的
与三段论逻辑不同,在命题逻辑中,这个语句是整体的,通常用一个符号来表示,我们只关心它是真还是假,而不是语句中的各个具体的术语。