数理逻辑
命题逻辑
1.1 命题及其表示
- 表达判断并具有确定真值的陈述句为命题
- 不能分解为更简单命题的命题为原子命题。
- 由联结词、标点符号与原子命题为复合命题。
- 我们用大写字母A-Z,或[num]表示命题。
- 如果命题标识符表示的是一个确定的命题,则该命题为命题常量。
- 如果命题标识符表示的是任意命题的位置标志,则该命题为命题变元。
1.2 联结词
- 否定:"-",命题的否定。
- 合取:“pvq”,当p,q全为真时,"pvq"为真,否则为假。
- 析取:“pnq”,当p,q全为假时,"pnq"为假,否则为真。
- 条件:“p->q”,当p为真,q为假时,"p->q"为假,否则为真。
- 双条件:“p<->q”,当p,q全为真时,"p<->q"为真,否则为假