www.whyslopes.com
Appetizers and Lessons for Mathematics and Reason 
a calculus and preparation for calculus website, etc.

Online Volumes (Book Orders)
1,  Elements of Reason.
1A. Pattern Based Reason 
1B. Math Curriculum Notes
2. Three Skills for Algebra
3. Why Slopes & More Math

Mathematics Course Designers: LAMP offers food for thought.
More Site Areas 
1. Help Your Child or Teen Learn 
2. Solving Linear Equations
3. Fractions Ratios Rates Proportions & Units
4. Euclidean Geometry
5. Analytic Geometry/Functions 
6. Number Theory
7. More Calculus
More Site Areas 
8. Complex Numbers 
9. Qc Maths  Education  
10. Secondary IV(?) maths
11. Real  Analysis 
12. LaTeX2HotEqn:
13. Electric Circuits Etc  
14.  Français
15. Algebra, Odds & Ends, Etc
More Site Areas 
16. Math Education Essays
17. Telling & Working with Time
18. Maps, Plans & Drawings
19. Quantitative Skills for  home, shopping and work 
20. Statistics Useful, or Not.
Try the
Twiddla Whiteboard
to work online with others.

||Définition d'une variable || Algèbre || Arithmetique || Logique ||La raison basée sur les règles et modelés||
[Site Entrance & Hub]Back ] Up ] Next ][Site Exit]



YOU are better than YOU think. Show yourself  how:  

      |      
//  _   _ \\
/\             /\
  <|  (o)   (o)   |> 
 \     | |      / 

Read  logic chapters 1 to 5  in online volume Three Skills for Algebra  for greater skills & confidence in  work 
and study.

Learn to read notes and textbooks like a lawyer, so that no nuance, no subtlety and no clause escapes your attention.

 -/[]\- 
||
   / \_ 
 ||||||||||||||||||||||||||||

 Logic chapters 1 to 5  re- appear not in sequence, as is or longer,  in  Volume 1A,  Pattern Based Reason, Bon Appetite.

Logic Mastery
 Amazing, Amusing, Amorous,  Delicious, Delightful, Edifying, Strengthening Elixir. 
It eases work & learning difficulties Makes the hard easier. Opens eyes. Leads to greater precision.
in reading and
writing

Logic mastery makes the hard, easier. Logic mastery  leads to better, stronger and richer comprehension.  Logic mastery  improves reading and writing.  Logic mastery ease learning difficulties.  Logic mastery gives a headstart.  In sum, logic mastery  will develops critical thinking, improve reading and writing, and give a firmer base for work and studies at many levels. Good luck.


After logic  (a) continue reading Three Skills for Algebra, chapters 8 to 14  and do so alongside site area on solving liinear Equations ; or (b) see this calculus starter lesson and Volume 3, Why Slopes  & More Math, chapters 2 to 6;

      |      
//  _   _ \\
/\             /\
<|   (o)   (o)  |> 
     | |     |
   \             /   
\    =   /

Caution: Site advice is approximately correct, for some circumstances, not all. That leaves room for thought

 -/[]\- 
||
  _ / \     
 ||||||||||||||||||||||||||||

What may be learnt and when depends on how skills and concepts are developed. Making the hard easier and clearer will allow earlier & richer development of skills and concepts.


Try the Twiddla Whiteboard. In principle, it  allows to people to draw and chat together online on a copy of this webpage or a clean sheet. The chat may be via text or audio.  Visit www.twiddla.com to set up whiteboards to work with the webpage of your choice.

For online automated help in senior high school maths & calculus, visit  quickmath.com  For Automatic Calculus and Algebra Help with derivatives, integrals, graphs, linear equations, matrix algebra, visit calc101.com  With  overlap, each site quickmath & calc101offers a different range of services, some free, some not, all based on webmathematica. Good luck.

Chapter 29
The Contrapositive

Previous Chapter: Proofs and Logic- 28 Occurrence Tables

Note: Online Book Pattern Based Reason includes this chapters and more on logic and reason.

1  Introduction

In the chapter Implication Rules, we asked the following question: What can you say for sure about Aunt Jane when Tom does not go out to play and the following rule is never-disobeyed:

Each time Aunt Jane visits her nephew Tom's house, Tom goes out to play.

The answer was: NOT Aunt Jane visit. That is, when the previous rule holds, the following rule also holds

Each time her nephew Tom does not go out to play,
Aunt Jane does not visits Tom's house.
 

This is a contrapositive way or form of writing the original rule.

With the foregoing in mind, we can define the contrapositive way of writing other implication rules. The contrapositive form of writing the implication (or conditional statement) if A then B is if NOT B then NOT A. For example, the contrapositive way of writing
 

if Aunt Jane visits her nephew Tom's house
then Tom goes out to play
is

if NOT (Tom go out to play) then 
NOT (Aunt Jane visits her nephew Tom's house).
 

Language (or grammar) courses would prefer us to write

if (Tom does not go out to play) then 
(Aunt Jane does not visit her nephew Tom's house).

2  Equivalence of a one-way implication with its contrapositive

The occurrence table below is intended to show you that if an implication rule if A then B is true (never disobeyed) then the contrapositive rule if NOT B then NOT A is true (never disobeyed), and vice versa.

row A B if A 
then B
NOT B NOT A if NOT B
then 
NOT A
1 occurs occurs obeyed occurs

not

occurs

not

not

disobeyed

2 occurs occurs 
not
disobeyed occurs
 not
occurs disobeyed
3 occurs
 not
occurs not 
disobeyed
occurs 
not
occurs not 
disobeyed
4 occurs
 not
occurs
 not  
not
  disobeyed
occurs occurs obeyed
Table for the contrapositive assertion:
(A implies B)
if and only if
(NOT B implies NOT A).

 

Filling The Table

First we look at the four combinations of the occurrences of the situations A and B. When A occurs we have two possibilities for B. When A does not occur, we have two possibilities for B as well. This gives a total of four cases or rows and fills in the first three columns.

In the fourth column, headed by the rule if A then B for each combination of occurrences of A and B, we note if the rule is obeyed, disobeyed or not disobeyed.

Next, in the fifth and sixth columns headed by situations NOT B and NOT A, for each of the four combinations we note if these situations occur or not.

In the last column, we finally note if the rule if NOT B then NOT A is obeyed, disobeyed or not disobeyed. The entries in the last column depend on those in the fifth and sixth columns. The entries in the latter two in turn depend on those in the previous columns.

Answers to Two Questions

Now we can answer the questions: when are the two one-way implication rules (if A then B) and (if NOT B then NOT A) true? Remember we say these implication rules are true if each is never disobeyed. Both implications are true, that is, never disobeyed, when the situation row 2, A and NOT B, never occurs. Both implications are false when the situation in row 2, namely (A and NOT B), occurs. So we conclude from the table that the two rules are equivalent: each implies the other.1

Question

Recall that the rule if NOT B then NOT A is called the contrapositive way of saying if A then B. What is the contrapositive of the contrapositive? The answer is essentially the original implication: why? Hint: Replace NOT (NOT A) by A in the statement of the contrapositive of the contrapositive.

3  Vacuously True

The one-way implication rule If A then B is said to be vacuously true if and only if the situation A never occurs.

The contrapositive If NOT B then NOT A is vacuously true if and only if the situation NOT B never occurs, that is if and only if the situation B always occurs. Therefore an implication rule and its contrapositive are vacuously true in different circumstances.

Finally, an innovation perhaps, the two-way implication rule A if and only if B is said to be vacuously true in the situation where A and B are both always true or both always false.

An implication rule says that when a first situation A occurs then so must a second situation B. The associated contrapositive implication rule says that when the second situation B does not occur, then the situation A cannot occur. The previous part of this chapter explains why an implication rule is never disobeyed if and only if its contrapositive is never disobeyed. In consequence, a chain of reasoning which shows the contrapositive form of an implication rule is never disobeyed also shows the implication rule is never disobeyed.

Note that a hint or preview of the contrapositive was provided by the discussion of the first logic puzzle (questions 4 and 5) in the chapter Implication Rules. (You might wish to revisit that puzzle.)

1The rule if NOT B then NOT A is disobeyed if the NOT B occurs but NOT A does not. That is, it is disobeyed precisely when B does not occur, while A does. But the rule if A then B is disobeyed precisely in this situation where A occurs and B does not. This tells us that both rules are not disobeyed provided the situation where A occurs and B does not never occurs. So if one rule is true (never disobeyed), then so is the other.


Next: Chapter 30 Truth Tables, Revisited

 

www.whyslopes.com
2. Three Skills for Algebra 

Foreword, Chapters 
& Appendices 

Foreword
1. Introduction
2. Implication Rules
3. Chains of Reason
4. Romeo and Juliet
4. Induction Mathematical
5 Knowledge Islands
6  Old Language
7  Arith Skill Check
7. The Next Chapters
8 The Three Skills
8 VNR-Concise-Encyclopedia
PS. What is a Variable
9. Algebra Talk
10 Two More Skills
11 Why Shorthand
12 Shorthand Usage
13 What's Next
14 Compound Interest
15 Linear Equations
PS I.  Distributive Law
PS II. Polynomials
16 Painless Proofs
17 Pythagoras
18 Rules of Algebra
19  Functions & Sets
20 Degrees & Radians
21 What's Next
22. Arith & Geometric Sums
23 Summation Notation
24 Your Money
25 Induction & Recursion
26 What's Next
27 Pronouns in Logic
28 Occurrence Tables
29 Contrapositive
30 Truth Tables
31 Indirect Reason
A. Advice For Learning

Real Player Videos

Perfect arithmetic skills with whole numbers & fractions
after or besides chapters 1 to 14.

Arithmetic Videos Summary
Addition with Decimals
Subtraction with Decimals
Multiplication with Decimals
Fraction Arithmetic
Recognizing Primes
Long Division for Decimals
Square Root Simplification
Greatest Common Divisors
Least Common Multiples

Words Before Symbols: 
What is a Variable?
Introduction
Variation between Examples

Variation of Letters

A letter denotes a variable

Cases of Double Variation

Three Notions of a Variable

Constants, Parameters
& Variables

Talking about numbers
Dependent or Independent
Variable, a Matter of Choice

Complex number: starter lesson  

Solving Linear Equations:

A. Letters and Lengths

B. & C. Solving Linear Eq'ns
with stick diagrams.

(i) x + 20 = 29
(ii) 2x + 5 = 20
(iii) 3x + 10 = 32
(iv) 5a + 16 = 3a+ 24

(v)  (½)x + 8 = 24½
(vI)  (¾)a + 16 = (¼)a+ 24
(vii) (¾)q + 17 = 32
(viii) 13 =[2/3]x +7 twice
(x) Animated Examples
(i) Integral Coefficients (A)
(ii) Integral Coefficients (B)
(iii) Fractional Coefficients

(iv) With Parameters

Problem Solving with Linear
Equations in one or many
unknowns, and in essentially 
one unknown - Symbols before
words. 


C. Solving Linear Eq'ns 
without
Stick Diagrams

D. Problems in 
essentially one unknown

E: 2D Systems - Sub Methods.
F. Larger Systems



www.whyslopes.com
[Top of this Page] [Site Exit] Back ] Up ] Next ]
[Comments, Reactions, Feedback]
: Favourite SitesBBC News  and mathematics portion of  English National Curriculum  

All trademarks and copyrights on this page are owned by their respective owners.
Copyright to comments & contributions are owned by the Poster. 
The Rest © 1995 onward by site author,   Alan Selby,
a 1983 McGill. Ph. D. in mathematics
All Rights Reserved.