True (⊤)
The logical constant representing truth - always true
⊤ means "true" or "tautology"The Logical Constant True
True (⊤) is a logical constant that always has the truth value true, regardless of any other conditions.
Properties:
- • Always evaluates to true
- • P ∨ ⊤ is always true (regardless of P)
- • P ∧ ⊤ simplifies to just P