Appetizers and Lessons for Mathematics and Reason (www.whyslopes.com)
||Définition d'une variable || Algèbre || Arithmetique || Logique ||La raison basée sur les règles et modelés||

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

 (Optional Book Orders)
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.

[Site Entrance & Hub]Back ] Book Entrance ] 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

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

 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 23
Truth Tables

Previous: Contrapositive of Implications and .Vacuously True Implications, Chapters 22, sections I and II, respectively

PS: As a student I was never satisfied with the explanation or justification of entries in truth tables for material implication. So here is an alternative. The occurrence table in the earlier chapter 21 for B IF A will be used to explain or provide a justification for truth tables for material implications B IF A (or equivalently, IF A THEN B).  Truth Tables appear in upper high school and in college mathematics as an echo of modern notation the algebraic (or symbolic) study and codification of logic.  Truth tables may also appear in the discussion of logic tables for electronic circuits: AND, OR, NOR and NAND. Hence, truth tables appear in school mathematics and electricity related courses. Truth tables are useful for showing the equivalence of an implication with its contrapositive form.

1  Introduction

Instead of talking about rules and situations (or events) we will talk in this section about statements and assertions. Suppose A and B are shorthand symbols for statements (events, situations etc.) which can be true or false but not both simultaneously in a given situation. Given two such statements A and B, we can define the new statements A or B, A and B, if A then B, NOT A and A iff B. Our goal in this chapter is to say when these new statements are true and when they are false.

The foregoing phrases in terms of situations and rules can be expressed as follows:

  • a statement of the form A or B is true when at least one of the statements A and B is true. Otherwise it is false.
  • a statement of the form A and B is true when both of the statements A and B are true. Otherwise it is false.
  • a statement if A then B is declared to be true if (i) statement B is true whenever statement A is true and (ii) whenever statement B is false, so is statement A.
  • a statement NOT A is declared to be true when A is false, and this statement NOT A is declared to be false when A is true.
  • when at least one of the statements A and B is true, so is the other, and provided (ii) that when at least one of the statements A and B is false, so is the other. (All this is a bit of a tongue twister.)

2  NOT Revisited

The following truth table shows the relationship between the truth (T) and falseness (F) of A and NOT (A).

row A not(A)
1 T F
2 F T

The statement A is always true when statement NOT A is never true.

The statement NOT A is always true when statement A is never true. Here instead of saying never true, we may say always false.

3  AND Revisited

The truth (T) or falseness (F) of the statement A and B depends on the respective truth or falseness of the statements A and B. This situation is summarized in the following table.

 
row statement A statement B A and B
1 T T T
2 T F F
3 F T F
4 F F F

The statement A and B is said to be always true (to always hold) if the situations in rows 2, 3 and 4 of the above table never occur.

4  OR Revisited

The statement A or B is said to be (mathematical usage) when and only when at least one of the statements A and B is true. The following table summarizes this situation. It shows when the statement A or B is true and when it is false.

row statement A statement B A or B
1 T T T
2 T F T
3 F T T
4 F F F

With this usage, the statement A or B is guaranteed to be true provided the situation in row 4 of the above table never occurs.

5  If-Then Revisited

We consider the implication if A then B. The following table signals when this implication rule is false and when it is true. Here false signals the rule implication is disobeyed, while true signals not disobeyed. We declare that an implication rule if A then B is always true provided the situation in row 2 never occurs.

row statement A statement B if A

then B

1 T T T
2 T F F
3 F T T
4 F F T

The implication if A then B is said to be vacuously true when statement A is always false.

6  If-and-Only-If Revisited

The following truth table if for the two-way implication A if and only if B. We observe the two-way implication is always true if the situations in rows 2 and 3 never occur.

 
row statement A statement B A if and

only if B

1 T T T
2 T F F
3 F T F
4 F F T

Remember the letter F signals false, and corresponds to the idea of rule being disobeyed. Also remember that the letter T signals true and corresponds to the ideas of a rule being obeyed, or not disobeyed.


Next: Chapter 24: Direct and Indirect Reason or Proof Methods

 
www.whyslopes.com
Volume 1A, Pattern Based Reason

 Chapters 1 to 24

FOREWORD
Three Remarks

1 Introduction
2 Communication
3. Elements of Reason
4 Implication Rules
5. Deception
6 Chains of Reason
7 Longer Chains
For & From Consistency
8. Language Change
9 Next Chapters
10 Responsibility
11 Accidental Patterns
12 Knowledge Islands
13 Euclidean Logic
14 Deductive & Empirical Views of Mathematics
15 Objectivity
16 Origin of Rules
and Patterns
17 Objective Ways

18. Waking up
19. Symbols  & Logic
20. Pronouns or Symbols
21. Truth Tables I.
22. Truth Tables II
22. Biconditional
22. Contrapositive
23. IF-THEN table
24. Indirect Reason Again

To reason often means to persuade someone of the need for an idea or action. That someone could be yourself. So be careful.

Vol 1A Postscripts
- online only

+Proof by Absurdity alias proof by contradiction
+How the demand for consistency supports the law of the excluded middle

There is a difference between
knowing how to spend money,
and having money to spend.

There is likewise a difference
between mastering a skill
and having meeting a situation in which it applies.

 



 


 .




www.whyslopes.com

[Top of this Page] [Site Exit] Back ] Book Entrance ] Next ]
[Comments, Reactions, Feedback][ Road Safety Message ]
: 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.