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

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

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

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

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