Definition 1.1Statements
Statement: definitely true or definitely false, even if nobody knows which.
Not statements: questions, commands, and sentences with a free variable like " is even".
Predicate: = " is even" becomes a statement once you plug in or say "for all ".
Leads to: Definition 1.2, Definition 1.10