1.1 命题及其表示法 1.2联结词

1.1 命题及其表示法

命题

\qquad 具有确定真值的肯定句
原子命题：不能分解为更简单的陈述句
复合命题：由联结词，标点符号，原子命题符合而成的命题
\qquad (1)别的星球上有生物
\qquad (2)我正在说谎
\qquad (3)我学英语，或者我学日语
\qquad (4)如果天气好，那么我去散步
\qquad (5)1+101 = 110

---

\qquad 以上(1)目前无法确定真值，但从事物的本质而言，它本身有真假值，因此是一个命题(2)是一个悖论(5)在十进制中不成立，但在二进制中符合需要根据上下文去确定，因而不是一个命题。

表示

\qquad 在数理结构中，常用大写字母A,B,C…P,Q…或用带下标的大写字母或数字，如A₁,[12]等表示命题，例如P:今天下雨或者**[5]:今天下雨**
表示命题标识符称为命题标识符P,[12]就是标识符。
命题常量：一个命题标识符如表示确定的命题
命题变元：命题标识符只表示任意命题的位置标志（不能确定真值，因此不是一个命题）
\qquad 当命题变元P用一个特定命题取代是，P才能确定真值，此时称对P进行指派。当命题变元表示原子命题是也称原子变元。

1.2 联结词

\qquad 联结词亦称命题联结词，命题逻辑的基本概念之一，指由已有的命题构造出新命题所用的词语

联结词	符号表示
否定	$\neg$
合取	$\bigwedge$
析取	$\bigvee$
条件	$\to$
双条件	$\rightleftharpoons$

1. 否定(非)

\qquad 一元运算符

P	$\neg$P
T	F
F	T

\qquad P:上海是一个大城市。

\qquad $\neg$P:上海不是一个大城市

2. 合取（与）

\qquad 有F则为F

P	Q	P$\bigwedge$ Q
T	T	T
T	F	F
F	T	F
F	F	F

\qquad P:今天下雨
\qquad Q:明天下雨
\qquad P$\bigwedge$ Q:今天下雨而且明天下雨

虽然没有逻辑，但仍可以构成命题

3. 析取（或）

\qquad 有T则为T

P	Q	P$\bigvee$Q
T	T	T
T	F	T
F	T	T
F	F	F

4. 条件

\qquad “若P则Q”

\qquad 条T结F则为F

P	Q	P$\to$Q
T	T	T
T	F	F
F	T	T
F	F	T

5. 双条件

\qquad “P当且仅当Q”($\leftrightarrow$)($\rightleftharpoons$)(iff)

\qquad 同T则T，否则F

P	Q	P$\rightleftharpoons$Q
T	T	T
T	F	F
F	T	F
F	F	T

联结词的优先级顺序

\qquad $\neg ,\bigwedge ,\bigvee ,\to ,\rightleftharpoons$

等式

1. P$\to$Q = $\neg$P$\bigvee$Q
2. P$\rightleftharpoons$Q = (P$\to$Q)$\bigwedge$ (Q$\to$P)