logic statements may 19 2009

12
Logical Statements

Upload: ingroy

Post on 18-May-2015

480 views

Category:

Education


0 download

TRANSCRIPT

Page 1: Logic Statements May 19 2009

Logical Statements

Page 2: Logic Statements May 19 2009

What type of triangle? 

why? 

If the angles of a triangle are all equal, then you have an equilateral triangle. 

Page 3: Logic Statements May 19 2009

A logical argument consists of a premise (hypothesis) and a conclusion. 

statements1. If                then 

hypothesis                the "if" part

conclusion            the "then" partknown as a "conditional" statement

Page 4: Logic Statements May 19 2009

Symbolism: 

p ­ represents the hypothesis

q ­ represents the conclusion

p ­­> q

This means:  if  p, then  q

Page 5: Logic Statements May 19 2009

Examples: 

If the cheque bounced, then there was no money in the account. 

Page 6: Logic Statements May 19 2009

2. Converse StatementFormed by interchanging the hypothesis and the conclusion. 

If you have an equilateral triangle, then the angles are all equal. 

q ­­> p

**the converse of a statement may or may not be true.**

Page 7: Logic Statements May 19 2009

3. If and only ifis used when the converse of a true statement is true. 

ex. You have an equilateral triangle "if and only if" the angles are all equal. 

ex. A triangle has two equal sides "if and only if" it has at least two equal angles.

p < ­­ > q

Page 8: Logic Statements May 19 2009

4. Contrapositivereverse and negate the two parts of the original statement

if you do not have an equilateral triangle, then the angles are not all equal. 

Page 9: Logic Statements May 19 2009

5. Inverse statement: you negate the hypothesis and the conclusion, but you don't move them. 

If the angles of a triangle are not all equal, then you do not have an equilateral triangle. 

Page 10: Logic Statements May 19 2009

If Jeamille lives in Brandon, then Jeamille lives in Manitoba. 

Write the converse, inverse, and contrapositive statements. Indicate if true. 

Page 11: Logic Statements May 19 2009
Page 12: Logic Statements May 19 2009