在逻辑学中, 恒真命题指永远成立的命题. 在不同的逻辑中, 恒真命题的概念不尽相同. 在具有多种不同真命题的概念的逻辑中, 例如在直觉逻辑或同伦类型论中, 恒真命题常指的是最平凡的真命题, 或者说可以直接等同于真的命题.
在经典逻辑中, 对于不含自由变量的命题而言, 恒真命题的概念与真命题相同.
对于含自由变量的命题, 例如 P(x), 称之为恒真命题是说 “对任意 x, 有 P(x)” 成立.
(...)
在线性逻辑中, 恒真命题分为乘性的恒真命题 1 和加性的恒真命题 ⊤, 它们极性不同.
命题 1.1. 1⊢⊤ 但 ⊤⊬1.
(..)
• |