逻辑学入门：当且仅当——实质等值的概念

欢迎大家来到IT世界,在知识的湖畔探索吧!

早上好，我是阿生，专注短文写作，今天，我们来聊聊「逻辑学入门：当且仅当——实质等值的概念」。

01

什么是实质等值？

实质等值：断言其所联结的两个陈述具有相同的真值。

举个例子：

A：今天是周末。

B：我可以睡懒觉。

用更简单的话说：当两个陈述同时为真，或者同时为假，我们就说这两个陈述是实质等值的。

也就是说：

1. 当今天是周末时，我可以睡懒觉。（当 A 为这真时，B 也为真）

2. 当今天不是周末时，我不能睡懒觉。（当 A 为假时，B 也为假）

那么我们就说 A 和 B 是实质等值的。这意味着这两个陈述的真值总是一致的，要么都真，要么都假。

02

如何表示实质等值？

在逻辑学中，我们使用三杠号「≡」来表示实质等值，读作「当且仅当」。比如上面的例子可以写成：A ≡ B。

在日常语言中，我们通常用「当且仅当」来表达实质等值关系。所以我们可以说：我可以睡懒觉，当且仅当今天是周末。

03

与条件陈述的关系

实质等值其实包含了两个方向的条件关系：

1. 如果今天是周末，那么我可以睡懒觉（A → B）
2. 如果我可以睡懒觉，那么今天一定是周末（B → A）

这就是为什么实质等值也被称为「双条件陈述」。用逻辑符号表示就是：A ≡ B 等价于 (A → B) · (B → A)。

举一个更实际的例子。

「我会去看张学友的演唱会，当且仅当我有票」这句话表达了：

1. 如果我有票，我就会去看演唱会。

2. 只有当我有票时，我才会去看演唱会。

这两个条件缺一不可，共同构成了实质等值关系。

04

充分必要条件

当我们说两个命题是实质等值的时候，实际上是在说：

1. A 是 B 的充分条件（如果 A 为真，则 B 一定为真）。

2. A 同时也是 B 的必要条件（如果 B 为真，则 A 一定为真）。

所以，A 是 B 的充分且必要条件，反过来 B 也是 A 的充分且必要条件。

实质等值是逻辑学中表达两个命题完全等价关系的重要工具。记住：当两个命题总是同时为真或同时为假时，它们就是实质等值的。

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