Ejercicios resueltos de tablas de verdad y formalización

Publicado el 25 octubre, 2008 por Eugenio Sánchez Bravo 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 V V F F & V F F F q V F V F -> V V V V p V V F F

TAUTOLOGÍA 2. ( p V V F F -> V F V V q V F V F ) & ( F F F F p V V F F & F V F F ¬ F V F V q V F V F )

CONTRADICCIÓN 3. p V V V V F F F F 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 )

INDETERMINACIÓN 4.

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

Haga su tabla de verdad e indique si son válidos (tautologías) o no. Una vez formalizados. . p V V V V V V V V F F F F F F F F v V V V V V V V V V V V V F F F F q V V V V F F F F V V V V F F F F -> ( V V V V V V V V F F F V V V V V r V V F F V V F F V V F F V V F F 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 F F F V p ) V V V V V V V V F F F F F F F F INDETERMINACIÓN 10. ¬ ( F F F V p V V F F v V V V F q ) V F V F ¬ F F V V p V V F F & F F F V ¬ F V F V q V F V F V V V V TAUTOLOGÍA 9.8. ¬ ( F F F V p V V F F v V V V F q ) V F V F ¬ F F V V p V V F F v F V V V ¬ F V F V q V F V F V F F V INDETERMINACIÓN Formalice los siguientes argumentos.

[Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño. Rosa viajará a Luxemburgo o Juan no partirá para Japón. Júpiter es mayor que Plutón. (p v q) & ¬ q -> p (p V V F F v V V V F q) V F V F & F V F F ¬ F V F V q V F V F -> V V V V p V V F F Argumento válido. Tautología. Por tanto. María no se queda en Venecia.] Ejemplo: Jaime se come el polo o se le derretirá. 1. 1991. p = Jaime se come el polo q = el polo se derrite. Por consiguiente. Júpiter es mayor que Plutón. Juan partirá para Japón. la Tierra es mayor que el Sol. si la Tierra es mayor que el Sol. Si la Luna es mayor que la Tierra. Jaime se come el polo. si María se queda en Venecia. Eulalia Pérez Sedeño: Ejercicios de Lógica. por tanto. si la Luna es mayor que la Tierra. O María no se queda en Venecia o Rosa no viajará a Luxemburgo. no se derrite el polo. Madrid: s. Juan Japón: p María Venecia: q Rosa Luxemburgo: r ((q -> p) & (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 V F V F V V V V ¬ F F F F V V V V p ) V V V V F F F F ) & ( ¬ q v ¬ r ) -> ¬ q F F V F F V V F V F F V V V F V F V V V F V F V V V F F V F V V F V V F F F V F F V V F V F F V V V F V F V V V F V F V V V F V V F V V F V V F TAUTOLOGÍA 2. Luna mayor: p Tierra mayor: q Júpiter mayor: r . XXI de España Editores.

(p -> q) & (q -> r) -> (p -> r) ( 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 V ) & 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 TAUTOLOGÍA 3. las mujeres sacan ventaja de ello. Cuando viajo me mareo. Así pues. En conclusión. o el amor es ciego y las mujeres sacan ventaja de ello. siempre que me entra un hambre atroz. Siempre que me mareo. Viajo: p Mareo: q Hambre: r ((p -> q) & (q -> r)) ->(r -> p) ( ( 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 ) INDETERMINACIÓN 4. entonces el amor no es ciego. me entra un hambre atroz. Si los hombres no son conscientes de que el amor es ciego. Amor ciego: p Hombres no conscientes: ¬ q Mujeres ventaja: r ((p & ¬q) v (p & r)) & (¬q -> ¬p) ->r . O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego. viajo.

Si Guillermo estudia. Por tanto. lo pasa bien en el colegio. Cuando Eduardo no juega al baloncesto. Si no estudia. no juega al fútbol. juega al tenis. cuando juega al tenis. Si no saca buenas notas. Eduardo baloncesto: p Eduardo tenis: q Eduardo fútbol: r ((¬p -> q) & (q ->r)) & ¬r ->p (( ¬ F p V -> V q V ) & V ( q V -> V r V )) & F ¬ F r V -> V p V . Guillermo estudia: p Guillermo notas: q Guillermo colegio: r ((p -> q) & (¬ p -> r)) & (¬ q -> ¬ r) -> q ( ( 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 ¬ F F F F V V V V p V V V V F F F F -> V V V V V F V F r V F V F V F V F ) ) & V V F F V F F F ( ¬ F F V V F F V V q V V F F V V F F -> V V F V V V F V ¬ F V F V F V F V r ) -> V V F V V V F V V V F V V V F V q V V F F V V F F TAUTOLOGÍA 6. Así pues.(( p V V V V F F F F & F F V V F F F F ¬ F F V V F F V V q ) V V F F V V F F v V F V V F F F F ( p V V V V F F F F & V F V F F F F F r V F V F V F V F )) & V F F F F F F F ( ¬ F F V V F F V V q V V F F V V F F -> V V F F V V V V ¬ F F F F V V V V p ) V V V V F F F F -> V V V V V V V V r V F V F V F V F TAUTOLOGÍA 5. obtiene buenas notas. Eduardo juega al baloncesto. juega al fútbol. no lo pasa bien en el colegio. Guillermo obtiene buenas notas.

si nos quedamos a cenar o a dormir no iremos mañana al concierto. 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 V V V V V V V V V V V V V V V 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 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 V V V V F F V V V V V V F F 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 v V V V V V V F F V V V V V V F F V V V V V V s )) & (( r v s ) V F V V V V V V V V F F V V F F V V V F V F F V V V V F V V F F F F F F F F F F V F V V V V V V V V F V V V F F V V V F V F F V V V V F V V F F F F F F F F F F V F V V V V V V V V F V V V F F V V V F V F F V V V V F V V -> F V F V F V V V F V V V F V V V F V V 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 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 V V F V F V F V V V F V F 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 . iremos mañana al concierto.F F F V V V V V V V F F F F V V V V V F F V F F V V F F F V V V F F F V F F V V F F F V V V F V V F V F V F V F F F V F F F F V F V F V F V F V F V F V F V V V V V V V V V V F F F F TAUTOLOGÍA 7. nos quedaremos a cenar o a dormir. por consiguiente.

F F F F F F F F F F V V F F F F F F F F V V F F F F F F F F F F V V V V V V V V F F V V V V F F F F F F V V V V V V F F F F V V F F V V F F F F F V V V F V V V F F V V V V F F F F F F V V V V V V F F F F V V F F V V F F V V F V V V F V V V F V F V F V F V F V V F V F V F V F V F V V V F V F V F V F V F V F V F V F V F INDETERMINACIÓN .

Sign up to vote on this title
UsefulNot useful