命题

2024年8月28日 | 1分钟阅读

命题或陈述或逻辑句子是一个声明性句子,它要么为真,要么为假。

示例 1:以下陈述均为命题

  • 贾瓦哈拉尔·尼赫鲁是印度第一任总理。
  • 昨天下了雨。
  • 如果 x 是一个整数,那么 x2 是一个正整数。

示例 2:以下陈述不是命题

  • 请准时在上午 11 点报到
  • 你叫什么名字?
  • x2=13

命题变量

从 P 开始的小写字母用于表示命题

示例:p:印度在亚洲
                 q:2 + 2 = 4

复合语句

陈述或命题变量可以通过逻辑连接词(运算符)组合,以形成称为复合语句的单个陈述。

五个逻辑连接词是

符号连接词名称
~取反
连词
析取
蕴涵或如果...那么蕴涵或条件
当且仅当等价或双条件

下一主题基本逻辑运算