epdf.pub_the-nuts-and-bolts-of-proofs-third-edition-an-intr

Introduction and Basic Terminology 21
Following is the truth table for the statement "If A, then B":
B
If A, then B
T T T
T F F
F T T
F F T
Following is the truth table for the converse statement "If B, then A."
If B, then A
T T T
F T T
T F F
F F T
Following is the truth table for the inverse statement "If'not A,' then 'not B''
A
B
Not A
NotB
If *not A, ' then *not B'
T
T
F
F
T
T
F
F
T
T
F
T
T
F
F
F
F
T
T
T
Following is the truth table for the contrapositive statement "If 'not B,' then
'not A'":
A
B
NotB
Not A
If 'not B, ' then 'not A'
T
T
F
F
T
T
F
T
F
F
F
T
F
T
T
F
F
T
T
T