You are on page 1of 5

Eloy HERNNDEZ HERRERA Tarea 1: Ejercicios de tablas de verdad.

Proposiciones Formalmente, se define una proposicin como un enunciado declarativo que puede ser verdadero o falso, pero no ambos a la vez. Las proposiciones se representan mediante variables proposicionales simbolizadas mediante letras. Con la combinacin de variables proposicionales y conjunciones se obtienen frmulas sentenciales o sentencias. Estas pueden ser: Tautologa: es la sentencia que es verdadera. Contradiccin: es la sentencia que es falsa. Indeterminacin: es la sentencia que ni es verdadera ni falsa. Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas son tautolgicas, cules contradictorias y cules indeterminadas. Ejemplo: 1.

(p V V F F
3. p V V V V F F F F

V F F F

q) V F V F

-> V V V V

p V V F F

Es: TAUTOLOGA v V V V V V F V V ( q V V F F V V F F -> V F V V V F V V r V F V F V F V F )

Es: Indeterminacin 5.
( p V V V V F F F F -> V V F F V V V V q V V F F V V F F )

V F F F V F V V

q V V F F V V F F

-> V F V V V F V V

r V F V F V F V F

-> V V V V V V V V

p V V V V F F F F

-> V F V F V V V V

r V F V F V F V F

Es: Tautologa

7. p V V V V F F (p F V F V V V V V V V F F F F F F F F -> ( q V V F V V F V F V V V v q) V V F V V V F V V V V V V V V V V V V F F F F V V F F F F V V V V F F F F -> V F V V V F -> V V V V V V V V V V F F F V V V V V r ) V F V F V F( r V V F V F F V V F F V V F F V V F F

Es: Indeterminacin
9. v V V V F V V V F V V V F V V V F s V F V F V F V F V F V F V F V F -> V V V V V V V V F F F V V V V V p V V V V V V V V F F F F F F F F )

Es: Indeterminacin

Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son vlidos (tautologas) o no. [Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional de Eulalia Prez Sedeo. Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI de Espaa Editores, 1991.] Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime se come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & q -> p (p v q) & q V V V F F V V V F V V F F V V F F V F F F F V F Argumento vlido. Tautologa. -> V V V V p V V F F

1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan no partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Por consiguiente, Mara no se queda en Venecia. p = Juan partir para Japn q = si Mara se queda en Venecia r = Rosa viajar a Luxemburgo Entonces quedara: ( [(qp) & (r v p)] & (q v r) ) q
((q V V F F V V F F V V V V F F V V p) V V V V F F F F & V F V F F F V V (r V F V F V F V F v p)) & V F F F F F V F V F F F V V F V V F V V V V V V ( q F F V V F F V V v F V V V F V V V r) F V V V F V V V F V V V F V V V q F F V V F F V V

Es: Tautologa

3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues, siempre que me entra un hambre atroz, viajo. p = Cuando viajo q = Me mareo r = Me da hambre Quedara: [(pq) & (qr)] (rp)
[(p V V V V F F F F V V F F V V V V q) V V F F V V F F & V F F F V F V V (q V V F F V V F F V F V V V F V V r)] V F V F V F V F V V V V F V F V (r V F V F V F V F V V V V F V F V p) V V V V F F F F

Es: Indeterminacin 5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas notas. p = Si estudia q = buenas notas r = la pasa bien
[(p V V V V F F F F V V F F V V V V q) V V F F V V F F V V F F V F V F (p F F F F V V V V V V V V V F V F r) V F V F V F V F (q r)] V F V F V V F V V V F V F F V F V V V V V F V F V F F V V V F V F F V F V V V V q V V F F V V F F

Es: Tautologa

7. Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a dormir no iremos maana al concierto; por consiguiente, iremos maana al concierto. p = la tormenta contina q = anochece r = quedamos a cenar s = a dormir t = ir al concierto [ ( (p q) (r s) ) ( (r s) t) ] t
[((p V V V V V V V V V V V V V V V V F F F F F F F F F F F F F F F F V V V V V V V V V V V V V V V V V V V V V V V V F F F F F F F F q) V V V V V V V V F F F F F F F F V V V V V V V V F F F F F F F F V V V V V V F F V V V V V V F F V V V V V V F F V V V V V V V V (r V V V V F F F F V V V V F F F F V V V V F F F F V V V V F F F F s)) ((r V V F V V V V V V F F V V F V V V V F F V V V F F F F F F F F F V V F V V V V V V F F V V F V V V V F F V V V F F F F F F F F F V V F V V V V V V F F V V F V V V V F F V V V F F F F F F F F F V V F V V V V V V F F V V F V V V V F F V V V F F F V F F F V F V V V V V V F F V V V V V V F F V V V V V V F F V V V V V V F F s) V V F F V V F F V V F F V V F F V V F F V V F F V V F F V V F F t)] F F V V V F F F V V V F F F V V V F V F V V V V F F V V V F F F V V V F F F V V V F V F V V V V F F V V V F F F V V V F F F V V V F V F V V V V F F V V V F F F V V V F F F V V V F V F V V V F t V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F V F

Es: Indeterminacin Bibliografa Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI.