Aula de Filosof Filosof ía de de Euge Eugenio nio Sá Sánchez Bravo Bravo Abrir puertas a la filosofía filosofía desde la la literatura, el cine, el arte, la música, la televisió televisión, n, la ciencia…
Ejercicios Ejercicios resueltos r esueltos de tablas de verdad verdad y formalización
EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIÓN MÁS TABLAS DE VERDAD Constru Con struya ya la tabla de verdad de las siguientes siguientes fórmulas. Indique qué fórmulas fórmulas son tautológicas, tautológicas, cuáles contradictorias y cuáles indeterminadas. 1. p & q -> p V V V V V V F F V V F V V F F F F V F TAUTOLOGÍA F
2. ( p -> q ) & ( p & ¬ q ) F V V V V F F V V F F V V V F F F F V V F V F F CONTRADICCIÓN
F F F V F F V F
3. p v ( q -> r ) V V V V V V V V F F V V V V F V F F
F V V F V F V V V V F F
F V F V V F V F V F INDETERMINACIÓN 4. ( p -> q ) & q -> p V V V V V V V V F F F F V V F V V V V F F F V F F F V F INDETERMINACIÓN 5. ( p -> q ) & ( q -> r ) -> ( p -> r ) V V V V V V V V V V V V V V V F V F F V F F V F F F F V V V V V V V F F F V V
F V
F V F V V V
F V V F V F
F V
V F F F V V
V
F V F
F V F TAUTOLOGÍA 6.
p -> ¬ q V F V V F V
( p -> q ) & ¬ V V V
V V V V V
V F F F V V F V F F V V F V F
F F V V V F F V F F F V F V F V V F V V F INDETERMINACIÓN V F F F V V
7. p -> ( q -> r ) V V V V V V F V V V V F V
V F F F V V F V F V V V
F V V F F F V F V V F V F V F INDETERMINACIÓN 8. ¬ ( p v q )
<-> ¬
F
V V V
V
F V F F V
F F
V V F F V V
V
F V F V F V F F F V
V F F F TAUTOLOGÍA
V V
p & ¬
q
V F V V F
9. p v q -> ( r v s -> p ) V V V V V V V V V V V V V V V F V V V V V V V V V V V V F V V V F V
V V V V V V V F V V
V V F V
F V V V V
V V F V
F F F V V
F V V V V F F F V V
F V V F F V V F F V V F F V V V
V V V F F V V F F F
F F F V
V V V F F
F V V F F F F F V F
F F F V V V F F F F F F V F V V F F F F F V F F F V F INDETERMINACIÓN 10. ¬ ( p v q ) <-> ¬ F F
V V V V V F
V F F
F F V V V F F F V INDETERMINACIÓN
p v ¬
q
F V F F V F V V V F V F V F V V F V V F
Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad e indique si son válidos (tautologías) o no. [Los ejercicios están tomados de la excelente introducción a la lógica proposicional de Eulalia Pérez Sedeño. Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI de España Editores, 1991.] Ejemplo: Jaime se come el polo o se le derretirá; no se derrite el polo; por tanto, Jaime se come el polo. p = Jaime se come el polo q = el polo se derrite. (p v q) & ¬ q -> p (p v q) & ¬ q -> p V V V F F V V V V V F V V F V V F V V F F V V F F F F F V F V F Argumento válido. Tautología. 1. Juan partirá para Japón, si María se queda en Venecia. 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. Por consiguiente, María no 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 -> p ) & ( r
v ¬
p ) ) & ( ¬
q
v ¬
r ) -> ¬
q
V V V V V V
V F
V V F V F F F V
F F
F V F F V F V V V F
V F V V F V
F V V F V V
V F
V V F V F F F V
V F
V F V F V V F V V F
V V F V V F
V F V F
F F
F F
V V V F F V V F
F F
F V F F V F V V V F
V F V V F V
F V F F V F TAUTOLOGÍA
V V
V V V F F V V F
V V
V F V F V V F V V F
V V F V V F
2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Júpiter es mayor que Plutón. Luna mayor: p Tierra mayor: q Júpiter mayor: r (p -> q) & (q -> r) -> (p -> r)
V V V V V V
V F
r ) -> ( p -> r ) V V V V V V V V F F V F F V
V F V F
F F
F F
F V V F V F
F V V F V V
V F
V V V V F F
V V
F V V F V F
( p -> q ) & ( q ->
F V F F V V TAUTOLOGÍA
V V V V V V
V V V V F F F V V F V F F V V F V F
3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. Así pues, siempre que me entra un hambre atroz, viajo.
Viajo: p Mareo: q Hambre: r ((p -> q) & (q -> r)) ->(r -> p) ( ( p -> q ) & ( q ->
r ) ) -> (
V V V V V V
V F
V V V V F F
V F V F
F F
F F
F V V F V F
F V V F V V
V F
V V V V F F
F V F V F V F V INDETERMINACIÓN
F V V F V F
V V V V F V F V
r -> p ) V V V F V V V V V F V V V F F F V F V F F F V F
4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amor es ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor es ciego, entonces el amor no es ciego. En conclusión, las mujeres sacan ventaja de ello. Amor ciego: p Hombres no conscientes: ¬ q Mujeres ventaja: r ((p & ¬q) v (p & r)) & (¬q -> ¬p) ->r
F V F V
V F
V V V V F F
V F
p ) -> r V V F V V F V F V V F V V F
V V V F V V V F
V V
V V V V F F
F F
V F V F
F V F V
V V V F
F F
F V F V
F F
F F
F V F F
F F
F V V V F F V V V F
V V V F
F F V F F F V F TAUTOLOGÍA
F F
F F
F V F F
F F
V F V V F V F V V F
V V V F
(( p & ¬ V F V F
F F
q ) v ( p & r
)) & ( ¬
q -> ¬
F F
5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no saca buenas notas, no lo pasa bien en el colegio. Así pues, Guillermo obtiene buenas notas.
Guillermo estudia: p Guillermo notas: q Guillermo colegio: r ((p -> q) & (¬ p -> r)) & (¬ q -> ¬ r) -> q ( ( p -> q ) & ( ¬
p ->
r ) ) & ( ¬
q -> ¬
r
) -> q
V V V V V V
V V
F V V V F V V F
V V
F V V F V F V V V F
V V V V
V F V F
F F
F F
F V V V F V V F
F F
V F F F V V F V V F
V F V F
F V V F V V
V F
V F V V V F F F
V F
F V V F V F V V V F
V V V V
F V F F V F TAUTOLOGÍA
V F
V F V V V F F F
F F
V F F F V V F V V F
V F V F
6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al fútbol; no uega al fútbol. Por tanto, Eduardo juega al baloncesto. Eduardo baloncesto: p Eduardo tenis: q Eduardo fútbol: r ((¬p -> q) & (q ->r)) & ¬r ->p (( ¬
p -> q ) & ( q ->
r )) & ¬
F V V V F V V V
V F
V V V V F F
F V V F F V V F
V V
F V V F V F
V F V V V F V V
V F
V V V V F F
V F F F V F F F TAUTOLOGÍA
F F
F V V F V F
r -> p
F F V V F V F V F F V V V V F V
V V
F F V V F V F V F F V V F V F V
F F
V V
F F
7. Si la tormenta continúa o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenar o a dormir no iremos mañana al concierto; por consiguiente, 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
V V V V V V
V V
V V V V V V
F V
V V V V V V
)) -> t V V F F V V V F F F
V V V V V V
V V
V V F V V F
F V
V V F V V F
F F V V V F
V V F F
V V V V V V
V V
F V V F V V
F V
F V V F V V
F F V V V F
V V F F
V V V
F
F F F
F
F F F
V F V
V V
V V V V V F
F V
F F F V V V
F F
F F F V V V
V V F F F V
V F V V
V V F V V F
V V
V V V V V F
V V
V V V V V F
V V F V F V
F
V V F V V F
V V
V V F F V V
V F
V V F F V V
V V F F F V
V V F V V F
V F
F V V F F F
V F
F V V F F F
V V F V F V
V V F
F
F F F
F
F F F
V V F
F V V V F
F V V F V V
V V
V V V V V V
F V
V V V V V V
F F V V V F
V V F F
F V V F V V
V V
V V F V V F
V V
V V F V V F
V F V V V F
V V F F
F V V F V V
V V
F V V F V V
F V
F V V F V V
F F V V V F
V V F F
F V V F V V
F F
F F F F F F
F F
F F F F F F
V F V V V F
V V V F
F F F
V
V V V
F
V V V
F
V V
F F F F F F
V V
V V V V V F
V V
V V V V V F
V V F V F V
((( p v q ) -> ( r
v
s )) & (( r
v
s ) -> ¬
t
F V
F V V F F V V F
F
F V V
F
F F F F F F
V V
V V F F V V
V F
V V F F V V
V V F F F V
F F F F F F
V V
F V V F F F
V V
F V V F F F
V V F V F V
F V V F F V V
F F F V INDETERMINACIÓN
F F F
V
F F F
V V F
F
F
Bibliografía Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI.
79 comentarios el “Ejercicios resueltos de tablas de verdad y formalización” dennis 15 agosto, 2009
mut bien hecho !FELICITACIONES! de verdad Responder mirta 28 agosto, 2009
GRACIAS AL FIN LO ENTENDIIIIII!!!!!!!!!!!!!!!!!!!!!! Responder Eugenio Sánchez Bravo 28 agosto, 2009
Me alegro mirta. Saludos. Responder Anónimo 2 junio, 2014
me ayudaron muxo en mis tareas Responder wilmer david 11 septiembre, 2009
esto es muy dificil por que no es mas facli decir falso o verdadero quien se inventa todo eso gracias por las tablas me sirvieron mucho Responder daniela duque 15 octubre, 2009
muchas gracias me ha ayudado mucho para mi examen de filosofia Responder rosalino gaona (@RosalinoG) 10 septiembre, 2013
Filosofia tb estudio y ayuda bastante Responder Eugenio Sánchez Bravo 11 septiembre, 2013
Me alegro. Saludos. Responder souri 20 octubre, 2009
Buenisimos los ejerciios, es la unica web que no me confundió en cuanto a los simbolos y esas cosas, estan muy claros. Por suerte que llegué acá porque mañana tengo parcial y no tenia act para practicar. saludos y gracias!
Responder Perez Gil Jose 29 octubre, 2009
muchiasss gracciiassssss me sirvio muchiooo Responder Euri 18 enero, 2010
alguien sabe resolver estos? (-P v Q) -> (R ^ S) R -> T -T _____ P Responder Eugenio Sánchez Bravo 18 enero, 2010
Es muy fácil. Es una simple reducción al absurdo más introducción de la disyunción. Responder Profe 11 febrero, 2010
Muchas gracias podria implementar otras tablas o bien clasificarlas por su dificultad, pero gracias por el aporte. Responder Eugenio Sánchez Bravo 11 febrero, 2010
Creo que están ordenadas por dificultad. Las ejercicios están tomados del excelente libro Eulalia Pérez Sedeño: Ejercicios de Lógica, Madrid: s. XXI. Sólo los he resuelto. Responder Eugenio Sánchez Bravo 8 abril, 2010
http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/ Responder Ernesto 8 marzo, 2012
PORFIS AYUDA PARA RESOLVER EL SIGUIENTE: Sean p, q y r las proposiciones “El número N es par”, “La salida va a la pantalla” y “Los resultados se dirigen a la impresora respectivamente”. Enunciar las formulaciones equivalentes de las siguientes proposiciones. (a) q entonces p (b) negación q entonces r (c) r entonces (p v q) SE LOS AGRADECERÍA INFINITAMENTE Responder unkown 25 abril, 2010
es muy bueno gracias!!! Responder unknown 3 mayo, 2010
muy buenos los ejercicios, me han ayudado mucho. muchas gracias Responder Andrea Marie Brodus Corbera 16 mayo, 2010
Muy buenos ejercicios estos sirven de mucho. Responder Anónimo 19 enero, 2013
dificil pero los resolvi Responder jessica 28 mayo, 2010
muy bieno vale. si pueden colocar mas ejercicios. Me encanta!! Responder zole 4 junio, 2010
ya los hice solaaaaaaaaaaaaa la parte de las tablas me falta la tabla con los enunciados y listo =) ….yeahhhhhhhhhhhhh¡¡¡ gracias muy bueno los ejercicios¡¡ Responder Almu 21 junio, 2010
muchísimas gracias, tengo el examen mañana y estaba muy perdida esto me ha ayudado mucho, es el único sitio donde las cosas están claras Responder maria gil 5 agosto, 2010
MUY BUENO TODO ADEMAS QUE ES MUY UTIL ME SIRVIO DE MUCHO,… Responder maria gil 5 agosto, 2010
ES MUY BUEDO TODO ME SIRVIO DE MUCHO Responder bairon 23 noviembre, 2010
holas yo estoy haciendo una, esta un poco dificil pero agradesco los ejemplos de aca. Responder Mafer 26 noviembre, 2010
esta facilisimo gracias, de qui saque ejercicios para practicar (: Responder marta 1 diciembre, 2010
:. (T v -S ) –> R 1) -R –> Q 2) T –> -Q 3) -S –> -Q POr vafor alguien me podria resolver este ejercicio? Responder Eugenio Sánchez Bravo 7 diciembre, 2011
Hola Marta, es una introducción del condicional seguida de una eliminación de la disyunción. No tiene pérdida. Un saludo. Responder larita 10 febrero, 2011
los apuntes me han servido de mucha ayuda! me parecen geniales lo único es que el conjuntor debería representarse tal y como es…mañana tengo el examen…¡DESEADME SUERTE! =D Responder Eugenio Sánchez Bravo 10 febrero, 2011
Hola larita, me alegra que te hayan sido útiles. Responder jaime 15 enero, 2012
gracias, aunque aun siga sin querrer a la logica Responder rockdrigo 8 febrero, 2012
gracias aunq sigo sin entenderle bien Responder Anónimo 16 febrero, 2012
no me sirvio
para nada pero sigue asi ok
Responder tefa 21 febrero, 2012
gracias por que lo entendi y pude hacer mi tarea copiando los e jenplos gracias okkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk Responder Anónimo 22 febrero, 2012
No se si soy yo que esta mal pero creo que la ultima contiene error justo en esta parte (( r v s ) -> ¬ t )). Responder Fernando Cantero 8 abril, 2012
Gracias x los ejemplos muy buenos exelente Responder Anónimo 10 abril, 2012
estuvo muy interesante y me ayudo mucho Responder Anónimo 20 abril, 2012
Si el tiempo esta lluvioso, los niños no podrán ir al club. Pero, o bien llueve o sale el sol, y si sale el sol tampoco los niños podrán ir al club. Sin embargo, si la dirección del colegio lo aprueba los niños irán al club y el profesor guía ira con ellos. Luego, la dirección no lo aprueba o este argumento es una contradicción, pues el profesor guía ira con ellos, si sale el sol.(alguno conoce la solucion a esto) Responder Anónimo 30 abril, 2012
uaoooooooooo al fin pude comprender …. Responder Sara. 24 mayo, 2012
En el último ejercicio, en el más largo hay un error cuando se realiza la operación [(r v s) -> ¬t] Cuando ya tenemos el resultado del paréntesis y esa solución la vamos a operar con -> ¬t esta el fallo. En la 11 linea el resultado del paréntesis es V y lo que corresponde a ¬t F con lo cual con un condicional en medio quedaria F no v como pone en el problema, lo que cambia todo el resultado final que seria este: v f v
f v f v v v f v f v f v v v f v f v f v v v f v f v f v v Responder Anónimo 6 junio, 2012
uff recien entiendo Responder Anónimo 7 junio, 2012
uff por fin comprendi Responder stella rodriguez 14 julio, 2012
buenos dias porfavor si me pueden ayudar a resolver estos ejercicios si eres cardiologo,eres medico, si eres medico, eres colegiado. luego, si eres cardiologo, eres colegiado. Responder Eugenio Sánchez Bravo 14 julio, 2012
((p->q)&(q->r))->(p->r) Responder stella rodriguez 14 julio, 2012
enrique representa a la nacion y no esta sujeto a mandato imperativo porque es congresista. representa a la nacion y no esta sujeto al mandato imperativo.luego es congresista. les agradezco si me colaboran en resolverlo Responder Eugenio Sánchez Bravo 14 julio, 2012
((p->(q&r))&(q&r))->p Responder stella rodriguez 14 julio, 2012
si los actos del presidente de la republica tienen refrendacion ministerial, no son nulos;no tienen refrendacion ministerial. por tanto son nulos. les agradezco si me colaboran en resolverlo. Responder Eugenio Sánchez Bravo 14 julio, 2012
Este es fácil. Responder
Anónimo 15 agosto, 2012
alguien sabe resolver esto [(P Q)^(Q R)] (P R) →
→
→
→
Responder Eugenio Sánchez Bravo 16 agosto, 2012
O bien mediante la transitividad del condicional, en cuyo caso sería un solo paso, o bien mediante el camino más largo de la introducción del condicional. Responder Anónimo 2 octubre, 2012
te hago una consulta, si se supone que en el condicional el consecuente es f, el condicional tambien lo es, por que en algunos ejercicios aparece v v f? no deberia ser v f f ? Gracias Responder Eugenio Sánchez Bravo 2 octubre, 2012
¿Puedes señalar el ejercicio y la línea? Responder Alumna 27 octubre, 2012
Está genial esto, felicidades por tu trabajo! Responder Eugenio Sánchez Bravo 27 octubre, 2012
Gracias, un saludo. Responder
palingenesia 28 octubre, 2012
me genera dudas la frase popular “si te digo la verdad te miento” como se analizA desde la logica?? Responder Eugenio Sánchez Bravo 29 octubre, 2012
Es la famosa paradoja del mentiroso. Una formulación más clásica decía: “Epiménides el cretense dice que todos los cretenses son mentirosos”. Si miente dice la verdad. Si dice la verdad miente. Les ocurre a todos los enunciados autorreferenciales. Aquí tienes el correspondiente enlace de wikipedia: http://es.wikipedia.org/wiki/Paradoja_del_mentiroso Responder Anónimo 4 diciembre, 2012
Tengo una q no me sale ni a patadas a ver si me podes dar una mano, desde ya muchas gracias por todos los ejercicios. ” Juan participa de un concurso sólo si conoce las condiciones y las satisface, además de tener un programa ya preparado. Aunque las desconoce, él satisface las condiciones estipuladas. De modo que, Participará en el concurso si tiene preparado un programa.” Saludos Responder juan Adjigo 4 diciembre, 2012
Alguien me puede ayudar con este: Juan participara de un concurso sólo si conoce las condiciones y las satisface, además de tener un programa ya preparado. Aunque las desconoce, el satisface las condiciones estipuladas. De modo que, participará en el concurso si tiene preparado un programa. Responder emir 5 diciembre, 2012
Ayuda con estos ejercicios plis! : me equivoque en el anterior (q o p) ~p (~p^ ~q) Responder Eugenio Sánchez Bravo 6 diciembre, 2012
-1 q v p -2 ¬p -3 ¬p & ¬q Supongo que estas son las premisas pero cuál es la conclusión. Responder Eugenio Sánchez Bravo 6 diciembre, 2012
-1 q & p -2 ¬p -3 ¬p & ¬q Supongo que estas son las premisas pero cuál es la conclusión. Responder juan david diaz villamil 3 marzo, 2013
esta muy bueno pero no e llegado a este tema xd bueno !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!! Responder jmvelascof 20 abril, 2013
Gracias por su colaboracion de esta manera se entiende mas que con el profesor en el aula de clase. Responder
Dayana Navarrete Chilán 15 agosto, 2013
Hola, quisiera saber la solución al siguiente ejercicio de formalización: El único modo de acabar con el narcotráfico es legalizar la droga. La droga no se legalizará a menos que se demuestre que es inocua. Por consiguiente, si no se demuestra que la droga es inocua y no empieza a venderse en farmacias no se acabará con el narcotráfico. Responder Eugenio Sánchez Bravo 15 agosto, 2013
Se legaliza la droga: p Se acaba con el narcontráfico: q Se demuestra que la droga es inocua: r Se empieza a vender la droga en farmacias: s (((p->q)&(¬r->¬p))->(¬r&¬s))->¬q Responder valentina 7 septiembre, 2013
Quisiera ayuda con este ejercicio..Lo agradeceria Si no paga la luz me cortaran la corriente electrica. Y si pago la luz entonces me quedare sin dinero o pedire prestado y si me quedo sin dinero y pido prestado entonces no podré pagar la deuda si y solo si soy desorganizado Responder Eugenio Sánchez Bravo 7 septiembre, 2013
Paga la luz: p Me cortan la corriente: q Me quedaré sin dinero: r Pido prestado: s Soy desorganizado: t Ánimo, ahora coloca los juntores. Es muy fácil. Responder Emiliano
10 octubre, 2013
AYUDAAA!!! es largo y para mañana Si Perez presenta una queja entonces, Gonzales investigará y Rodríguez será descalificado. O rodriguez no sera descalificado o perez no presenta una queja. sabemos que Gonzales investigo y Rodríguez fué descalificado. Por lo tanto Perez presento la queja Responder Eugenio Sánchez Bravo 11 octubre, 2013
Pérez presenta una queja: p González investigará: q Rodríguez será descalificado: r El resto es sencillo. Responder Adriana stefania shahuano rengifo 15 enero, 2014
No se k hacer en el colegio nos dejan estos problemas por mas que el profesor me haya explicado no entiendo Responder juan sebastian carrillo avila 23 abril, 2014
gracias por su ayuda a la evaluación que mañana tengo Responder Eugenio Sánchez Bravo 24 abril, 2014
A ti por el comentario. Saludos y suerte. Responder jes 2 mayo, 2014
estaba buscando ejercicios y encontre esta pagina me parece genial .me surgio una duda al hacer el ejercicio 2 no es F-F-F-V no lo entendi. Responder jes 3 mayo, 2014
estaba bien, yo me equivoque .ahora lo entendi Responder Joa 5 mayo, 2014
Hola, necesitaria que me sacaras una duda. Hice la tabla empezándola con p,q,r,s y t (que en la tautologia lo hiciste, pero obviaste ese paso para hacerlo mas sencillo). Como seguiría la tabla si tuviera u? me podrias decir como empezaria al menos para guiarme? Muchas Gracias!!! Responder Eugenio Sánchez Bravo 6 mayo, 2014
Hola Joa, 25 filas, es decir, 32 filas. Saludos Eugenio. Responder DIANELA 12 mayo, 2014
esto esta bien fácil me ayudo para mi examen de mate y aprove con un 19 gAxIaS Responder Eugenio Sánchez Bravo 13 mayo, 2014
Me alegro Daniela. Responder Esta entrada fue publicada en 25 octubre, 2008 por Eugenio Sánchez Bravo en Filosofía y Ciudadanía, Lógica proposicional y etiquetada con Lógica. http://wp.me/pmsl1-2y Entrada anterior Siguiente entrada Blog de WordPress.com. El tema Suburbia. Seguir
Seguir “Aula de Filosofía de Eugenio Sánchez Bravo” Ofrecido por WordPress.com