逻辑学入门：逻辑等价——不只是真值相等

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

早上好，我是阿生，专注短文写作，今天，我们来聊聊「逻辑学入门：逻辑等价——不只是真值相等」。

在学习逻辑时，我们经常会遇到看起来「一样」的陈述。

比如「今天不是晴天」和「今天是阴天」，它们似乎在表达同样的意思。但在逻辑学中，我们需要更严格地定义这种「一样」。这就引出了逻辑等价这个重要概念。

01

实质等值与逻辑等价的区别

举一个简单的例子：

1. 东京是日本的首都。

2. 巴黎是法国的首都。

这两个陈述都是真的，所以它们是实质等值的。但我们显然不能随意互换使用它们，因为它们表达的是完全不同的事实。

这就引出了一个更强的关系——逻辑等价。

02

什么是逻辑等价？

逻辑等价是两个陈述形式之间的一种逻辑关系，它有两个等价的定义：

1.基本定义：两个陈述形式是逻辑等价的，当且仅当对于它们的分支陈述的每一种真值组合而言，它们都有相同的真值。

2.实质等值：两个陈述是逻辑等价的，当且仅当它们的实质等值是一个重言式。

举个例子。

考虑两个陈述形式：p⊃q（如果 p，那么 q）和 ～p∨q（要么非 p，要么 q）。

它们是逻辑等价的，因为：

• 当 p 为真，q 为真时，两者都为真。
• 当 p 为真，q 为假时，两者都为假。
• 当 p 为假，q 为真时，两者都为真。
• 当 p 为假，q 为假时，两者都为真。

另一个经典的例子是双重否定：

1. 他意识到那个困难。

2. 他不是没有意识到那个困难。

这两个陈述不仅仅是碰巧具有相同的真值，而是在任何情况下都表达相同的意思。这就是典型的逻辑等价关系。

03

德·摩根定理

由 19 世纪英国数学家、逻辑学家奥古斯都·德·摩根提出的，关于命题逻辑规律的一对法则：

1. 两个陈述的析取的否定逻辑等价于这两个陈述的否定的合取；

2. 两个陈述的合取的否定逻辑等价于这两个陈述的否定的析取。

可以用如下公式表示：

1. ～(p∨q)≡(～p·～q)；

2. ～(p·q)≡(～p∨～q)。

04

逻辑等价的应用

当我们遇到复杂的逻辑表达式时，可以用逻辑等价的陈述替换它。

比如：

1. 不是所有的鸟都会飞。

2. 有些鸟不会飞。

这两个陈述是逻辑等价的，我们可以选择更容易理解的表达方式。

在分析论证时，识别逻辑等价的陈述可以帮助我们更好地理解论证结构。逻辑等价关注的是陈述的逻辑形式，而不是具体内容。

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