Ejercicios de lgica matemtica

Equivalencias lgicas ms comunes P, Q o R son proposiciones lgicas T es tautologa C es contradiccin o Contingencia Nombre Idempotencia de la conjuncin y la disyuncin Conmutatividad de la conjuncin y la disyuncin Asociatividad de la conjuncin y la disyuncin Distributividad de la conjuncin respecto a la disyuncin y viceversa Leyes de Morgan Leyes de dominacin Leyes de identidad Doble negacin Implicacin Exportacin Contrarrecproca Reduccin al absurdo

1) 2) 3) 4) 5) 6) 7) 8) 9) 10) 11) 12) 13) 14) 15) 16)

[(p q) p] T con T tautologa [( (p q) p] C con C contradiccin. [(q p) ( p q) (q q)] p [(p p) ( p p)] C con C contradiccin. [[( q r) q] (p r)] [( q p) ( q r)] [(p q) ( p q)] q [(p q) (p r)]] [p (q r)] [(p q) (q p)] (q p) [(p q) v (p r)] (q r) [ (p q)] (p q) [( q p) [( (p q)) r] [ [(p q) r] [(p q) ( r v q) r] p [p (p q)] q [(p q) p] (p q) [(p (q r)] [p ( r q)] (p q) [(p v q) (p q)]

Implicaciones lgicas ms comunes Adicin Simplificacin Ley del Modus Ponens Ley del Modus Tollens Leyes de los silogismos hipotticos Leyes de los silogismos disyuntivos Ley del dilema constructivo Contradiccin
Hernn Verdugo Fabiani Profesor de Matemtica y Fsica www.hverdugo.cl

.h

e rd u

P (P Q) (P Q) Q [(P Q) P] Q [(P Q) Q] P [(P Q) (P R)] (P R) [(P Q) (P R)] (P R) [ P (P Q)] Q [P ( P Q)] Q [(P Q) (R S) (P R)] Q (P C) P

Ejercicios. A partir del lado izquierdo concluya en el lado derecho de las siguientes proposiciones:

.c

En lenguaje de la lgica P PP P PP P QQ P P QQ P (P Q) R P (Q R) (P Q) R P (Q R) P (Q R) (P Q) (P R) P (Q R) (P Q) (P R) (P Q) ( P Q) (P Q) ( P Q) P TT P CC P TP P CP PP (P Q) ( P Q) P (Q R) (P Q) R (P Q) ( Q P) (P Q) (P Q) C

Comprensin de las implicancias, por ejemplo la primera ley del silogismo disyuntivo: [ P (P Q)] Q. Si P (P Q) es verdad, entonces P es verdad y P Q es verdad (recordar la tabla de verdad de la conjuncin), se deduce entonces que P es falso, y si P es falso se tiene que para que P Q sea verdad, como se dijo antes, necesariamente Q ha de ser verdad. Entonces, esta implicancia nos dice que la veracidad o falsedad de [ P (P Q)] depende del valor de verdad que tenga Q. Puede demostrarlo, tambin, construyendo una tabla de verdad para la proposicin lgica. Ejercicio: Demostrar la implicacin lgica denominada Modus Tollens. Se trata de argumentar como en el caso anterior. Otros ejercicios: 1) 2) 3) 5) 6) [(p q) ( r v q) r] p [p (p q)] q [(p q) p] (p q) [(p (q r)] [p ( r q)] (p q) [(p v q) (p q)]

Sabiendo que p (p q) es falso. Determine, si es posible, el valor de verdad de la expresin [(p q) r] [(p r) q]

Hernn Verdugo Fabiani Profesor de Matemtica y Fsica www.hverdugo.cl

.h

e rd u

.c