35.1.3 True Statements and False Statements
Core ideaOne counterexample is enough to knock it down: p is true only when no counterexample exists and it all holds together.
Module goal. Gather the experience of drawing conclusions from data into something that can be judged true or false — a statement — and set up the basic objects and language of logic.