EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIN MS TABLAS DE VERDAD Construya la tabla de verdad de las siguientes frmulas.

Indique qu frmulas son tautolgicas, cules contradictorias y cules indeterminadas. 1.

p & q -> p VV VV V VF F V V F F VV F FFFVF

TAUTOLOGA 2. ( p -> q ) & ( p & q ) VV V F VF F V VF F F VV VF FVV F FFFV F V F F F F VF CONTRADICCIN 3. p v ( q -> r ) VV VV V VV VF F VV F V V VV F V F F V VV V F F VF F FV FVV FV FVF INDETERMINACIN 4.

( p -> q ) & q -> p VV V V VV V VF F F F V V F V V V VF F FVF FFVF INDETERMINACIN 5. ( p -> q ) & ( q -> r ) -> ( p -> r ) VV V V VV V V VV V VV V F VF F V VF F VF F F F V V V VV V VF F F F V F V VF F F V V V VV V V F V V F V V F VF F V F V F FVF V FVV V FVV FVF V FVF V FVF TAUTOLOGA 6. ( p -> q ) & p -> q VV V V F VV F V VF F F F VV VF F V V F VF F F V F V F V VF V VF INDETERMINACIN 7. p -> ( q -> r ) VV VV V VF VF F VV F V V VV F V F F V VV V F V VF F

FV FVV FV FVF INDETERMINACIN 8. (p v q ) p & q F VVV VF VF F V F VVF VF VF VF F F VV VVF F F V V F F F VVF V VF TAUTOLOGA 9. p v q -> ( r v s -> p ) VVVV VVVV V VVVV VVF V V VVVV F VVV V VVVV F F F V V VVF V VVVV V VVF V VVF V V VVF V F VVV V VVF V F F F V V F VVF VVVF F F VVF VVF F F F VVF F VVF F F VVV F F F V F F F F V VVVF F F F F V VVF F F F F F V F VVF F FFFV FFFVF INDETERMINACIN 10. (p v q ) p v q F VVV VF VF F V

F VVF F F VVVF F F VV F VF VF V V F F F VVF VVF 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 -> p V VV F F VV V V VF V VF V V F VV F F VV F F F F F VF V F Argumento vlido. Tautologa. 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. Juan Japn: p Mara Venecia: q Rosa Luxemburgo: r ((q -> p) & (r v p)) & (q v r) -> q ( ( q -> p ) & ( r v p ) ) & ( q v r ) -> q VV V V VVF V F F VF F V V F V VV V F F F F V F F VVVF V F V F V V V VVF V V VF VF V V VF F V V F F F F V F VF VVF V VF VF F F VVVF F F VF F V V F V

VF F F F VVF F V F V VVVF F V F V F VVF TAUTOLOGA

F F VVVF V F V V VF VF V V VF V VF VVF V VF

2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Jpiter es mayor que Plutn, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter es mayor que Plutn. Luna mayor: p Tierra mayor: q Jpiter mayor: r (p -> q) & (q -> r) -> (p -> r) ( p -> q ) & ( q -> r ) -> ( p -> r ) VV V V VV V V VV V VV V F VF F V VF F VF F F F V V V VV V VF F F F V F V VF F F V V V VV V V F V V F V V F VF F V F V F FVF V FVV V FVV FVV V FVF V FVF 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. Viajo: p Mareo: q Hambre: r ((p -> q) & (q -> r)) ->(r -> p) ( ( p -> q ) & ( q -> r ) ) -> ( r -> p ) VV V V VV V V VV V VV V F VF F V F V V VF F F F V V V VV V VF F F F V F V F V V F V V V VV V F VF F

F V V F VF F V F V F F V F V F V V F VF F FVF V FVF V FVF INDETERMINACIN 4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusin, las mujeres sacan ventaja de ello. Amor ciego: p Hombres no conscientes: q Mujeres ventaja: r ((p & q) v (p & r)) & (q -> p) ->r (( p & q ) v ( p & r )) & ( q -> p ) -> r VF F V V VV V V F VV F V V V VF F V F VF F F F VV F V V F VV VF V VV V F VF F F V V V VV VF V VF F F VF F F V V F F F F V F F F V F F VV VF V V F F F V F F F F F F VV VF V F F F VF F F F V F VF V VF V V F F VF F F F F F VF V VF V F TAUTOLOGA 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. Guillermo estudia: p Guillermo notas: q Guillermo colegio: r ((p -> q) & ( p -> r)) & ( q -> r) -> q ( ( p -> q ) & ( p -> r ) ) & ( q -> r ) -> q VV V V F VV V V F VV F V V V VV V V F VV F V F VV VF V V VF F F F VV V F VF F F V V F

VF F FVV FVV FVF FVF

F V F V F

F VV F VF V V VF F F VF V V VF F F

F V F F F

VF V VF F VV F V F VV VF VF F F V VF V VF

VF VV VV VF VF

TAUTOLOGA 6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al ftbol; no juega al ftbol. Por tanto, Eduardo juega al baloncesto. Eduardo baloncesto: p Eduardo tenis: q Eduardo ftbol: r ((p -> q) & (q ->r)) & r ->p (( p -> q ) & ( q -> r )) & r -> p F VV V V VV V F F VV V F VV V F VF F F VF V V F VV F V F V V F F VV V F VV F V F V F V VF V V VF V V V VV V F F VV F VF V V F VF F F VF V F VF F F F F V V F F VV F VF F F F F V F F VF V F 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. Tormenta continua: p Anochece: q Quedamos a cenar: r Quedamos a dormir: s Iremos concierto: t (((p v q) -> (r v s)) & ((r v s) -> t)) -> t ((( p v q ) -> ( r v s )) & (( r v s ) -> t )) -> t

VVV VVV VVV VVV VVV VVV VVV VVV VVF VVF VVF VVF VVF VVF VVF VVF F VV F VV F VV F VV F VV F VV F VV F VV FFF FFF FFF FFF FFF FFF FFF FFF

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

VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF

F V F V F V F F F V V V F V F F F V V V F V F F F V V V F V V V

VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF VVV VVV VVF VVF F VV F VV FFF FFF

F FV V VF F FV V VF F FV V VF VFV V VF F FV V VF VFV V VF F FV V VF VFV V VF F FV V VF VFV V VF F FV V VF VFV V VF F FV V VF VFV V VF F FV V VF VFV V VF

VV F F VV F F VV F F VV VF VV F F VV F F VV F F VV VF VV F F VV F F VV F F VV VF VV F F VV F F VV F F VV F F

INDETERMINACIN

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