Definition:True
From ProofWiki
Contents |
Definition
A statement has a truth value of true if and only if what it says matches the way that things are.
A statement form that is always true is called a tautology.
Also see
Compare with
Sources
- D.J. O'Connor and Betty Powell: Elementary Logic (1980): $\S 1.1$
- Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems (2000): $\S 1.4$: Definition $1.28$
