EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD Construya la tabla de verdad de las siguientes fórmulas.

Indique qué fórmulas son tautológicas, cuáles contradictorias y cuáles indeterminadas. 1.
p & q -> p VV VV V VF F V V F F VV F FFFVF

TAUTOLOGÍA 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 CONTRADICCIÓN 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 INDETERMINACIÓN 4.

( 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 INDETERMINACIÓN 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 . ( 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 TAUTOLOGÍA 6.( p -> q ) & q -> p VV V V VV V VF F F F V V F V V V VF F FVF FFVF INDETERMINACIÓN 5.

¬ (p v q ) ¬ p v ¬ q F VVV VF VF F V . 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 INDETERMINACIÓN 10. ¬ (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 TAUTOLOGÍA 9.FV FVV FV FVF INDETERMINACIÓN 8.

] Ejemplo: Jaime se come el polo o se le derretirá. Por consiguiente. Juan Japón: p María 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 . por tanto. no se derrite el polo. [Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño.F VVF F F VVVF F F VV F VF VF V V F F F VVF VVF INDETERMINACIÓN Formalice los siguientes argumentos. María no se queda en Venecia. p = Jaime se come el polo q = el polo se derrite. Una vez formalizados. Madrid: s. si María se queda en Venecia. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. 1991. XXI de España Editores. Eulalia Pérez Sedeño: Ejercicios de Lógica. Haga su tabla de verdad e indique si son válidos (tautologías) o no. 1. Rosa viajará a Luxemburgo o Juan no partirá para Japón. Juan partirá para Japón. (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 válido. Tautología. Jaime se come el polo.

si la Tierra es mayor que el Sol. Si la Luna es mayor que la Tierra. 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 . si la Luna es mayor que la Tierra. Luna mayor: p Tierra mayor: q Júpiter 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 TAUTOLOGÍA 3. me entra un hambre atroz. Júpiter es mayor que Plutón.VF F F F VVF F V F V VVVF F V F V F VVF TAUTOLOGÍA F F VVVF V F V V VF VF V V VF V VF VVF V VF 2. Júpiter es mayor que Plutón. Siempre que me mareo. Cuando viajo me mareo. Por tanto. viajo. siempre que me entra un hambre atroz. Así pues. la Tierra es mayor que el Sol.

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 TAUTOLOGÍA 5. Si no saca buenas notas. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego. En conclusión. Si los hombres no son conscientes de que el amor es ciego.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 INDETERMINACIÓN 4. Si Guillermo estudia. 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 . Así pues. no lo pasa bien en el colegio. Si no estudia. lo pasa bien en el colegio. Guillermo obtiene buenas notas. entonces el amor no es ciego. las mujeres sacan ventaja de ello. obtiene buenas notas. o el amor es ciego y las mujeres sacan ventaja de ello.

nos quedaremos a cenar o a dormir. juega al tenis. Si la tormenta continúa o anochece. 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 . Cuando Eduardo no juega al baloncesto. Eduardo baloncesto: p Eduardo tenis: q Eduardo fútbol: 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 TAUTOLOGÍA 7. cuando juega al tenis. si nos quedamos a cenar o a dormir no iremos mañana al concierto. Eduardo juega al baloncesto. no juega al fútbol.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 TAUTOLOGÍA 6. Por tanto. iremos mañana al concierto. juega al fútbol. por consiguiente.

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 INDETERMINACIÓN Bibliografía Eulalia Pérez Sedeño: Ejercicios de Lógica. XXI . Madrid: s.