Problema 68 (PC 7 - 2014 - 2)

• 68. Diga qué regla lógica permite realizar el paso 5 en la siguiente deducción (PC 7 - 2014 - 2) 
• r → s 
• p ∧ ~q 
• ~p ∨ ~s // ∴ ~r ∧ ~s 
• p 
• ~s 
• ~r 
• ~r ∧ ~s 
• Simplificación 
• Modus Ponens 
• Modus Tollens 
• Transitividad 
• Silogismo disyuntivo