Definition:True
Jump to navigation
Jump to search
Definition
A statement has a truth value of true if and only if what it says matches the way that things are.
Also see
Compare with
Sources
- 1910: Alfred North Whitehead and Bertrand Russell: Principia Mathematica: Volume $\text { 1 }$ ... (previous) ... (next): Chapter $\text{I}$: Preliminary Explanations of Ideas and Notations
- 1959: A.H. Basson and D.J. O'Connor: Introduction to Symbolic Logic (3rd ed.) ... (previous) ... (next): Chapter $\text I$ Introductory: $3$. Logical Form
- 1964: Donald Kalish and Richard Montague: Logic: Techniques of Formal Reasoning ... (previous) ... (next): $\text{II}$: 'AND', 'OR', 'IF AND ONLY IF': $\S 6$
- 1965: E.J. Lemmon: Beginning Logic ... (previous) ... (next): Chapter $2$: The Propositional Calculus $2$: $3$ Truth-Tables
- 1971: Robert H. Kasriel: Undergraduate Topology ... (previous) ... (next): Chapter $1$: Sets, Functions, and Relations: $\S 2$: Some Remarks on the Use of the Connectives and, or, implies
- 1972: A.G. Howson: A Handbook of Terms used in Algebra and Analysis ... (previous) ... (next): $\S 1$: Some mathematical language: Axioms
- 1973: Irving M. Copi: Symbolic Logic (4th ed.) ... (previous) ... (next): $1$ Introduction: Logic and Language: $1.3$: Truth and Validity
- 1980: D.J. O'Connor and Betty Powell: Elementary Logic ... (previous) ... (next): $\S \text{I}: 1$: The Logic of Statements $(1)$
- 1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives
- 1993: M. Ben-Ari: Mathematical Logic for Computer Science ... (previous) ... (next): Chapter $1$: Introduction: $\S 1.2$: Propositional and predicate calculus
- 1996: H. Jerome Keisler and Joel Robbin: Mathematical Logic and Computability ... (previous) ... (next): $\S 1.2$: Syntax of Propositional Logic
- 1998: David Nelson: The Penguin Dictionary of Mathematics (2nd ed.) ... (previous) ... (next): truth
- 2000: Michael R.A. Huth and Mark D. Ryan: Logic in Computer Science: Modelling and reasoning about systems ... (previous) ... (next): $\S 1.4.1$: The meaning of logical connectives: Definition $1.28$
- 2008: David Nelson: The Penguin Dictionary of Mathematics (4th ed.) ... (previous) ... (next): truth
- 2012: M. Ben-Ari: Mathematical Logic for Computer Science (3rd ed.) ... (previous) ... (next): $\S 2$: Propositional Logic: Formulas, Models, Tableaux