T5.2 6 of 6
Topic 7 Key Phrase = "&E". For review, here's the Wrapup. And here are those rules again...
Rules of Inference 
&E 
input:
output: 
P&Q
P 
or 
P&Q
Q 

&I 
input 1:
input 2:
output: 
P
Q
P&Q 

DS 
(Disjunctive Syllogism) 

input 1:
input 2:
output: 
PvQ
~P
Q 
or 
PvQ
~Q
P 


input 1:
input 2:
output: 
P>Q
~Q
~P 


input 1:
input 2:
output: 
P>Q
P
Q 

5.2a
Remember that they apply only to main connectives. And remember to cite two inputs for each except just one for &E. So, let's try some...and here are selected answers.
