命题逻辑的基本概念

命题与联结词

命题：非真既假的陈述句

任何命题的真值都是唯一的。

复合命题：由简单命题通过联结词联结而成的命题

判断给定的句子是否为命题的步骤：

1. 是否为陈述句
2. 是否有唯一的真值

数理逻辑研究方法的主要特征是将论述或推理中的各种要素都符号化，即构造各种符号语言来代替自然语言。

联结词：

$\lnot$：否定联结词
$\land$：合取联结词
$\lor$：析取联结词
$\to$：蕴涵联结词
$\leftrightarrow$：等价联结词

联结词的优先顺序：

$(),\lnot,\land,\lor,\to,\leftrightarrow$
对同一优先级，按照从左到右顺序进行

命题公式及其赋值

联结词集{ $\lnot,\land,\lor,\to,\leftrightarrow$}

合式公式（命题公式）：

公式层次：

构造真值表的具体步骤：

哑变量——百度百科