Applying Logical Equivalences to Algebraic and Geometric Statements
Before studying this section, you may want to review:
 Practice with the mathematical words ‘and’, ‘or’, and ‘is equivalent to’
 ‘If... Then...’ Sentences
 Contrapositive and Converse
 Proof Techniques
 Logical Equivalences and Practice with Truth Tables
A postulate is a statement that is assumed to be true without proof. A theorem is a statement that is true, important, and has been proved.
This section presents some basic postulates of geometry and algebra. You will use these postulates, and other mathematical sentences, to practice working with logical equivalences.
An Englishtype sentence like ‘All squares are rectangles’ is actually a mathematical
‘For all $\ldots\,,$ if $\ldots$ then $\ldots$ ’
sentence in disguise. The word ‘all’ is a very big clue! You need to make this ‘For all ..., if ... then ...’ structure explicit before working with the sentence mathematically. The process is illustrated in the next example.
‘For all’ sentences are studied in more detail in a future section, Parallelograms and Negating Sentences.
Consider this true sentence: (*) All squares are rectangles. 

UNIVERSAL SET: Square and rectangles are both members of the larger population of quadrilaterals. 

IMPLICATION FORM of sentence (*):
(**)
For all quadrilaterals $\,Q\,,$ 

Use this logical equivalence ...  ... to rewrite sentence (**) as ... 
If $\,A\,$ then $\,B\,$ 
For all quadrilaterals $\,Q\,,$ if $\,Q\,$ is not a rectangle, then $\,Q\,$ is not a square. 
If $\,A\,$ then $\,B\,$ 
For all quadrilaterals $\,Q\,,$ $\,Q\,$ is not a square, or $\,Q\,$ is a rectangle. 
In the sentence ‘Two distinct points determine a line’, you don't see the word ‘all’ to clue you that it's a ‘for all..’ sentence in disguise. This sentence is explored in the next example.
Geometry Postulate: (*) Two distinct points determine a line. Note: distinct means different 

UNIVERSAL SET: the set of all points 

IMPLICATION FORM of sentence (*):
(**)
For all points $\,P\,$ and $\,Q\,,$ 

THE IDEA:


Use this logical equivalence ...  ... to rewrite sentence (**) as ... 
If $\,A\,$ then $\,B\,$ 
For all points $\,P\,$ and $\,Q\,,$ if $\,P\,$ and $\,Q\,$ do not determine a unique line, then $\,P\,$ and $\,Q\,$ are not distinct. 
If $\,A\,$ then $\,B\,$ 
For all points $\,P\,$ and $\,Q\,,$ $P\,$ and $\,Q\,$ are not distinct, or $\,P\,$ and $\,Q\,$ determine a unique line. 
The next example uses a familiar result from algebra. Again, it's a ‘for all ...’ sentence in disguise.
the ZERO FACTOR LAW (*) If two numbers multiply to zero, then at least one of the numbers is zero. 

UNIVERSAL SET: the set of all real numbers 

MATHEMATICAL FORM of sentence (*):
(**)
For all real numbers $\,a\,$
and $\,b\,,$


THE IDEA: I'm thinking of two numbers that multiply to zero. Can you tell me anything about the numbers that I'm thinking of? Yes! At least one of them must equal zero. 

Use these logical equivalences ...  ... to rewrite sentence (**) as ... 
If $\,A\,$ then $\,B\,$
not($\,A\,$ or $\,B\,$) 
For all real numbers $\,a\,$ and $\,b\,,$ if $\,a\ne 0\,$ and $\,b\ne 0\,,$ then $\,ab\ne 0\,.$ 
If $\,A\,$ then $\,B\,$
($\,A\,$ or $\,B\,$) or $\,C\,$ 
For all real numbers $\,a\,$ and $\,b\,,$ $\,ab\ne 0\,$ or $\,a=0\,$ or $\,b=0\,.$ Note that the associativity of ‘or’ allowed us to drop all parentheses in this rephrasing. 
The table below summarizes more results that you should know:
NAME  COMMENTS  
Geometry PostulateThree noncollinear points determine a unique plane. 


SubstitutionIf $\,a=b\,,$ then $\,a\,$ and $\,b\,$ can be substituted, one for the other, in any expression. 
Numbers have lots of different names! Use whatever name is most convenient in a given situation.  
Addition Property of EqualityFor all real numbers $\,a\,,$ $\,b\,,$ and $\,c\,$: $$ \cssId{s116}{a=b\ \ \iff\ \ a+c=b+c} $$ 
This result gives you something that you can do to an equation that will always yield an equivalent equation. The Addition Property of Equality says that you can add (or subtract) the same number to (or from) both sides of an equation, and it will not change the truth of the equation. 

Multiplication Property of EqualityFor all real numbers $\,a\,$ and $\,b\,,$ and for $\,c\ne 0\,$: $$ \cssId{s122}{a=b \ \ \iff\ \ ac=bc} $$ 
This result gives you something that you can do to an equation that will always yield an equivalent equation. The Multiplication Property of Equality says that you can multiply (or divide) both sides of an equation by the same nonzero number, and it will not change the truth of the equation. Notice that multiplying both sides of an equation by zero can change the truth of the equation: ‘$\,3=5\,$’ is false, but ‘$\,3\cdot 0=5\cdot 0\,$’ is true. 

Negating Equations and Inequalities

You must be able to negate each of these sentences in the specified form.  
Negating an Implication
not($\,A\Rightarrow B\,$) 
An implication is false when the hypothesis is true and the conclusion is false. 
Finally, never lose sight of the following key facts!
Two sentences are equivalent if they always have the same truth values: if one is true, so is the other; if one is false, so is the other.
Sentences that are equivalent can be used interchangeably, and a mathematician will use whichever is easiest.
Equivalence is such an important mathematical concept that there are many ways to say the same thing. The following four sentences are completely interchangeable: $$ \begin{gather} \cssId{s152}{A\text{ is equivalent to }B}\cr \cssId{s153}{A\text{ if and only if }B}\cr \cssId{s154}{A\text{ iff }B}\cr \cssId{s155}{A\iff B} \end{gather} $$
Concept Practice
This is an optional introductory paragraph.