Professional Documents
Culture Documents
Reglas de equivalencia
Conjunción
Disyunción
Implicación
Negación ~
Equivalencia
1. Doble Negación (DN) 5. Teoremas de Morgan (TM) 11. Medio Excluido (ME)
p=p (p q) = (p q) (p~p)=V
(p q) = (p q) (p~p)=F
2. Conmutación (CONM)
(p q) = (q p) 6. Implicación (IMP) 12. Dominación (DOM)
(p q) = (q p) (p q) = (p q) (pV)=V
(pF)=F
3. Asociación (AS) 7. Contraposición (CP)
[p (q r)] = [(p q) r] (p q) = (q p) 13. Idenpotencia (IDEMP)
[p (q r)] = [(p q) r] (p p)=p
9. Equivalencia (EQ) (pp)=p
4. Distribución (DIS) [p q] = [(p q) (q p)]
[p (q r)] = [(p q) (p r)] [p q] = [(p q) (~ p ~ q)] 14. Absorción (AB)
[p (q r)] = [(p q) (p r)] (p q) = (p (p q))
10. Identidad (ID)
(pF)=p 15. Exportación (EXP)
(pV)=p [(p q) r] = [p (q r)]
Reglas de inferencia
1. Modus Ponens (MP) 5. Casos (CAS) 9. Inconsistencia (IN)
pq pq p
p p q p
Infiere q Infiere q Infiere q
Simbolice los siguientes razonamientos y demuestre su validez utilizando las reglas de equivalencia y de inferencia
53-Si Samuel es inteligente y estudia mucho, sacará buenas notas y aprobará el curso. Si Samuel estudia mucho, pero
carece de inteligencia, sus esfuerzos serán justipreciados, y si los son aprobará el curso. Samuel es inteligente, por lo
cual estudia mucho. Luego, Samuel aprobará el curso. (I. E, B. C, A)
54-Si el despensero hubiera estado presente, entonces habría sido visto, y si hubiera sido visto, habría sido interrogado.
Si hubiera sido interrogado, habría contestado, y si hubiera contestado se le habría oído. Pero el despensero no fue
oído. Si el despensero no fue visto ni oído, entonces debe haber estado en su trabajo. Si estaba en su trabajo, debió
estar presente. Luego, el despensero fue interrogado. (P, V, I, C, 0, T)