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

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

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

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

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 . 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. nos quedaremos a cenar o a dormir. si nos quedamos a cenar o a dormir no iremos mañana al concierto. 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 .