New Statements from Old

Once we can recognise a statement, the next step is learning how to manufacture new statements out of the ones we already have. Two techniques do almost all of this work in mathematics: taking the negation of a single statement, and combining two or more statements into a compound one using connecting words such as "and" and "or". …