Unformatted text preview: 2 x = 6 ” a proposition, even though its truth value (‘true’ or ‘false’) depends on the value of x . Some sources differ. § Definitions are essentially “if and only if” statements. For example, a number is a rational number if and only if it can be written in the form: integer nonzero integer True “if and only if” statements arise when an “if-then” statement and its converse are true....
View Full Document
- Spring '09
- Logic, Statements, nonzero integer