| 字词 | 重言式 |
| 类别 | 中英文字词句释义及详细解析 |
| 释义 | 重言式 在经典命题演算中，公式的真假是由其中的原子子公式的真假决定的。 比如A∧B，当A和B都真时，它是真的，当A、B中有一个是假的时候，A∧B便假，在命题演算中，有一类公式的真假不随其中的原子子公式的变化而变化，永远取真值，这样的命题便称之为重言式。比如A→A∨B便是一个重言式。 重言式是一种重要的逻辑公式，它反映了命题逻辑中的逻辑规律。 |
| 随便看 |
|
文网收录3541549条中英文词条，其功能与新华字典、现代汉语词典、牛津高阶英汉词典等各类中英文词典类似，基本涵盖了全部常用中英文字词句的读音、释义及用法，是语言学习和写作的有利工具。