SOLUTION: P∙ Q R⊃ ~Q / ~R∨ ~P

Algebra ->  Proofs -> SOLUTION: P∙ Q R⊃ ~Q / ~R∨ ~P       Log On


   

Question 1104306: P∙ Q
R⊃ ~Q
/ ~R∨ ~P
Answer by jim_thompson5910(35256) About Me  (Show Source):
You can put this solution on YOUR website!

I'm using the ampersand in place of the dot
Also, I'm using the arrow notation instead of a horsehoe

NumberStatementLines UsedReason
1P & Q
2R -> ~Q
:.~R v ~P
3Q & P1Commutation
4Q3Simplification
5~~Q4Double Negation
6~R2,5Modus Tollens
7~R v ~P6Addition