Definition:False
From ProofWiki
Contents |
Definition
A statement has a truth value of false if and only if what it says does not match the way that things are.
A statement form which is always false is called a contradiction.
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$
