Chapter 4: Derivations : Logic & Proofs July 7, 2009 Karin Howe

(In)troduction Rules ConjunctionDisjunctionConditional &I  IL  IR II p q__________ p & q &I p________ q  p  IL p________ p  q  IR p  q  I p..qp..q A

Strategies Backwards Strategy –Start by placing your goal at the bottom and then try to specify a line or lines from which you can get your goal in a single step. Then do the same for the lines you specified and repeat until you work your way up to the premises. Arrow In Strategy –When your goal is a conditional, try assuming its antecedent in the hope of deriving its consequent.

Practice Using Introduction Rules in the CPL Practice Using Conjunction Introduction Practice Using Disjunction Introduction Practice Using Conditional Introduction Practice Using Introduction Rules

Elimination (Out) Rules ConjunctionDisjunctionConditional &EL&ER EE EE p & q_____ p &EL p & q_____ q &ER p  q r p  q p________ q  E p A r q A r

Strategies, con't Or-Out Strategy –Use when you have a disjunction available whose disjuncts might imply your goal. Assume each disjunct separately and try to derive your goal from each. If you succeed, derive your goal from the disjunction and the goal derived from each disjunct by Or Elimination. Poof Variant on Or-Out Strategy –Use when your goal is a disjunction and when you have a disjunction available whose disjuncts might imply your goal. Assume each disjunct of the original disjunction separately and use it to try to derive one side of the disjunction which is your goal. Poof in the other side of the disjunction. If you succeed in arriving at your goal disjunction for both cases, derive the disjunction which is your goal from the original disjunction and the goal derived from each disjunct by Or Elimination.

Practice Using Elimination Rules in the CPL Practice Using Conditional Elimination Practice Using Conjunction Elimination Practice Using Disjunction Elimination Practice Using Elimination Rules

Putting It All Together … Practice Using the Binary Rules Any more questions?? If not, then how about some more practice?

"Aha!" said Pooh (Rum-tum-tiddle-um-tum.) "If I know anything about anything, that hole means Rabbit," he said, "and Rabbit means Company," he said, "and Company means Food…" There is a rabbit hole here. A rabbit hole means that there is a rabbit nearby. If there is a rabbit nearby, then there is company around. If there is company around, then there is food available. Thus, there is food available. H, R, R  C, C  F  F

"My friend, you'll help in this thing–for my sake–that's why you're here–I mightn't be able alone. If you flinch, I'll kill you. Do you understand that? And if I have to kill you, I'll kill her–and then I reckon nobody'll ever know much about this little business." If you flinch, I'll kill you. And if I have to kill you, I'll kill her. Therefore, I'll kill both of you, if you flinch. F  Y, Y  H  F  (Y & H)

The cake will either make me larger or smaller. If it makes me larger, I can reach the key; and if it makes me smaller, I can creep under the door. If I reach the key, I'll get into the garden; and if I creep under the door, I'll get into the garden. So [either way] I'll get into the garden. L  S, (L  K) & (S  C), (K  G) & (C  G)  G Soon her eye fell on a little glass box that was lying under the table: she opened it, and found in it a very small cake, on which the words "EAT ME" were beautifully marked in currants. "Well, I'll eat it." said Alice, "and if it makes me larger, I can reach the key; and if it makes me smaller, I can creep under the door; so either way I'll get into the garden, and I don't care which happens!"