FW: Reglas de inferencia

 

 

Feed: Scribd Feed
Posted on: Wednesday, February 03, 2010 12:27 AM
Author: Scribd Feed
Subject: Reglas de inferencia

 

1. REGLA DE ELIMINACIÓN DEL CONDICIONADOR O "MODUS PONENDO PONENS" (MP) Si tenemos como premisa un condicional y su antecedente se infiere como conclusión el consecuente. SIMBOLIZACIÓN DE ARGUMENTOS X X Y . Y a) -1 -2 -3 -4 Demostrar "p" ¬m→¬n t→¬m ¬n p t b) -1 -2 -3 Demostrar "¬ p ¬ q" ¬ (r s) → m m → (¬ p ¬ q) ¬ (r s) a) Si el cobre es un metal (p), será buen conductor de la electricidad (q). El cobre, efectivamente, es un metal, lego será buen conductor de la electricidad. p → q, p ├ q b) Si digo siempre la verdad (p), los demás confían en mi (q). Y si los demás confían en mi, me sie

View article...