逻辑学入门：5 个必学逻辑符号及其应用

大家好，欢迎来到IT知识分享网。

早上好，我是阿生，专注短文写作，今天，我们来聊聊「逻辑学入门：5 个必学逻辑符号及其应用」。

在现代逻辑中，我们使用符号来替代自然语言，使各个命题之间的关系更加一目了然。

▍第一，并且

我们使用圆点符「·」来表示两个命题之间的「且」关系。

我们用 p 表示「今天下雨」，q 表示「地面湿滑」，则 p·q 表示「今天下雨且地面湿滑」。

▍第二，或者

我们使用楔劈符「∨」来表示两个命题之间的「或」关系。

我们用 p 表示「我去图书馆」，q 表示「我去自习室」则 p∨q 表示「我去图书馆或者去自习室」。

▍第三，如果……那么

我们使用马蹄符「⊃」来表示两个命题之间的条件关系。

我们用 p 表示「下雨」，q 表示「带伞」，则 p⊃q 表示「如果下雨，那么带伞」。

▍第四，当且仅当

我们使用三杠号「≡」来表示两个命题之间的等价关系。

我们用 p 表示「是正方形」，q 表示「四条边相等且四个角都是直角」，则 p≡q 表示「是正方形当且仅当四条边相等且四个角都是直角」。

以上 4 个逻辑符用于联结两个命题，因此它们常被叫作「联结词」或「逻辑联结词」。

▍第五，并非

我们使用波浪符「～」来表示否定一个命题。

我们用 p 表示「今天是晴天」，则 ～p 表示「今天不是晴天」。

▍第六，标点符号

学过数学的人都知道，标点符号至关重要，它清楚地表明各个数字或表达式之间的组合关系。

比如，(2 × 3) + 5 和 2 × (3 + 5) 的计算结果是不同的，而在符号逻辑中，同样如此。

p·q∨r 是含混的，我们可以通过标点符号，对其进行区分：p·(q∨r) 或 (p·q)∨r。

上面的所有例子中，我们使用 p 和 q 来表示不同的命题，用符号语言来表达各个命题之间的关系，比起自然语言，整个逻辑分析更加简洁、标准和严谨。

我是阿生，专注短文写作，我们明天见。