Quick Reference

In mathematical logic, the fundamental property of a statement is that it makes sense and is either true or false. For example, ‘there is a real number x such that x2=2’ makes sense and is true; the statement ‘if x and y are positive integers then xy is a positive integer’ makes sense and is false. In contrast, ‘x=2’ is not a statement.

Subjects: Mathematics.

Reference entries