p. 505# 1-5 for 10 mins

1a)

2.4 Implication

An implication statement has the form ‘if a then b’

a is called the antecedent and b is called the consequent.

The symbol used for implication is . means ‘if a then b’

Ex 1 Analyze the implication in a truth table.

Equivalence: when two statements imply each other. The symbol for equivalence is

For two statements, p and q, means and or .

Ex 2 Generate a truth table for

Converse, Inverse, Contrapositive are implications using different forms

A converse statement has the form

An inverse statement has the form

A contrapostive statement has the form

Ex 3 Generate truth tables for these three statements and conclude on their logical equivalence to

p. 507# 1-7

p. 509# 1-6