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 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 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 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.

8. . Haga su tabla de verdad e indique si son válidos (tautologías) o no. ¬ ( 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. ¬ ( 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. 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. Una vez formalizados.

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

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

Si Guillermo estudia. juega al tenis. Guillermo obtiene 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 . Por tanto. Cuando Eduardo no juega al baloncesto. no juega al fútbol. Si no saca buenas notas. cuando juega al tenis. Eduardo juega al baloncesto. juega al fútbol. lo pasa bien en el colegio. Si no estudia. obtiene buenas notas.(( 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. Así pues. no lo pasa bien en el colegio. 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.

si nos quedamos a cenar o a dormir no iremos mañana al concierto. por consiguiente.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. Si la tormenta continúa o anochece. iremos mañana 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 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 . nos quedaremos a cenar o a dormir.

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