原子命题(简单命题):命题逻辑中最小的不可再分的单元,通常我们也将原子命题简称为命题。
复合命题:用“联结词”修饰或连接不同简单命题,即为复合命题。
举例:
原子命题:
p:我爱北京天安门。
q:我练健美操。
r:我外出旅游啦。
复合命题:
¬q → r:如果不是练健美操,我就外出旅游啦。
补充:联结词的种类
- ¬ 否定
- → 单条件蕴含
- ↔ 双条件蕴含
- ∧ 合取公式
- ∨ 析取公式
原子命题(简单命题):命题逻辑中最小的不可再分的单元,通常我们也将原子命题简称为命题。
复合命题:用“联结词”修饰或连接不同简单命题,即为复合命题。
举例:
原子命题:
p:我爱北京天安门。
q:我练健美操。
r:我外出旅游啦。
复合命题:
¬q → r:如果不是练健美操,我就外出旅游啦。
补充:联结词的种类