P. 1
Ejercicios resueltos de tablas de verdad y

Ejercicios resueltos de tablas de verdad y

|Views: 26.846|Likes:
Publicado porVictor A. Garayalde

More info:

Published by: Victor A. Garayalde on Mar 09, 2011
Copyright:Attribution Non-commercial

Availability:

Read on Scribd mobile: iPhone, iPad and Android.
download as DOCX, PDF, TXT or read online from Scribd
See more
See less

09/29/2015

pdf

text

original

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

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

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

Cuando viajo me mareo. me entra un hambre atroz. o el amor es ciego y las mujeres sacan ventaja de ello. Siempre que me mareo. siempre que 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. 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. Si los hombres no son conscientes de que el amor es ciego. Así pues. viajo. En conclusión. las mujeres sacan ventaja de ello. entonces el amor no es ciego.(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.

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

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

You're Reading a Free Preview

Descarga
scribd
/*********** DO NOT ALTER ANYTHING BELOW THIS LINE ! ************/ var s_code=s.t();if(s_code)document.write(s_code)//-->