67 lines
1.1 KiB
Markdown
67 lines
1.1 KiB
Markdown
|
---
|
|||
|
title: Tautologies
|
|||
|
localeTitle: 重言式
|
|||
|
---
|
|||
|
## 重言式
|
|||
|
|
|||
|
### 定义
|
|||
|
|
|||
|
在逻辑上,重言式是一种在每种可能情况下都是正确的陈述。与重言式相反的是矛盾,在每种可能的情况下都是错误的陈述。
|
|||
|
|
|||
|
### 例
|
|||
|
|
|||
|
p
|
|||
|
|
|||
|
q
|
|||
|
|
|||
|
p OR q
|
|||
|
|
|||
|
p→p OR q
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
F
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
F
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
F
|
|||
|
|
|||
|
F
|
|||
|
|
|||
|
F
|
|||
|
|
|||
|
Ť
|
|||
|
|
|||
|
正如我们在真值表中看到的那样,语句“p→p OR q”始终为真(参见最后一栏)。
|
|||
|
|
|||
|
布尔逻辑方面的一个例子是`B || !B` 。 B是真的或B不是真的总是如此。
|
|||
|
|
|||
|
与重言式相反的是一个矛盾,一个“总是虚假”的公式。换句话说,对于每个真值分配到其简单组件,矛盾是错误的。
|
|||
|
|
|||
|
与布尔逻辑矛盾的一个例子是`B && !B` 。 B不可能同时存在真假。
|
|||
|
|
|||
|
#### 注意
|
|||
|
|
|||
|
箭头只是意味着“暗示”。 p表示p OR q,它也可能意味着_......然后......_
|
|||
|
|
|||
|
#### 更多信息:
|
|||
|
|
|||
|
[维基百科重言式(逻辑)](https://en.wikipedia.org/wiki/Tautology_(logic)) [Youtube真理表](https://www.youtube.com/watch?v=O0KbymjE7xU) [维基百科逻辑符号](https://en.wikipedia.org/wiki/List_of_logic_symbols)
|