T5.2 6 of 6


Key Phrase and WrapTopic 7 Key Phrase = "&E". For review, here's the Wrap-up. 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
MT
(Modus
Tolens )
input 1:
input 2:

output:
P>Q
~Q

~P
MP
(Modus
Ponens )
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.




Justification:       Sentence: