ejercicios resueltos de tablas de verdad y formalización _ aula de filosofía de eugenio sánchez...

Aula de Filosofa de Eugenio Snchez Bravo

Abrir puertas a la filosofa desde la literatura, el cine, el arte, la msica, la televisin, la ciencia

Ejercicios resueltos de tablas de verdady formalizacin

EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIN MS TABLAS DE VERDAD

Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas sontautolgicas, cules contradictorias y cules indeterminadas.

1.

p & q -> p

V V V V V

V F F V V

F F V V F

F F F V F

TAUTOLOGA

2.

( p -> q ) & ( p & q )

V V V F V F F V

V F F F V V V F

F V V F F F F V

F V F F F F V F

CONTRADICCIN

3.

p v ( q -> r )

V V V V V

V V V F F

V V F V V

V V F V F

F V V V V

F F V F F

F V F V V

F V F V F

INDETERMINACIN

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

INDETERMINACIN

5.

( p -> q ) & ( q -> r ) -> ( p -> r )

V V V V V V V V V V V

V V V F V F F V V F F

V F F F F V V V V V V

V F F F F V F V V F F

F V V V V V V V F V V

F V V F V F F V F V F

F V F V F V V V F V V

F V F V F V F V F V F

TAUTOLOGA

6.

( p -> q ) & p -> q

V V V V F V V F V

V F F F F V V V F

F V V F V F F F V

F V F V V F V V F

INDETERMINACIN

7.

p -> ( q -> r )

V V V V V

V F V F F

V V F V V

V V F V F

F V V V V

F V V F F

F V F V V

F V F V F

INDETERMINACIN

8.

( p v q ) p & q

F V V V V F V F F V

F V V F V F V F V F

F F V V V V F F F V

V F F F V V F V V F

TAUTOLOGA

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 F V V V V

V V V V F F F V V

V V F V V V V V V

V V F 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 F V V V F F

F V V F V V F F F

F V V F F V V F F

F V V V F F F V F

F F F V V V V F 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

INDETERMINACIN

10.

( p v q ) p v q

F V V V V F V F F V

F V V F F F V V V F

F F V V F V F V F V

V F F F V V F V V F

INDETERMINACIN

Formalice los siguientes argumentos. Una vez formalizados, Haga su tabla de verdad eindique si son vlidos (tautologas) o no.

[Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional deEulalia Prez Sedeo.

Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI de Espaa Editores, 1991.]

Ejemplo: Jaime se come el polo o se le derretir; no se derrite el polo; por tanto, Jaime se come elpolo. 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 vlido. Tautologa.

1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan nopartir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Porconsiguiente, Mara no se queda en Venecia.

Juan Japn: p

Juan Japn: pMara Venecia: qRosa 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 F V F F V F F V V F V

V V V F F F F V F F V V V F V F V

F V V V V V F V V V F V F V V V F

F V V F F F F V F V F V V F V V F

V F F F V V V F F F V F F V V F V

V F F F F V V F F F V V V F V F V

F V F V V V V F V V F V F V V V F

F V F V F V V F V V F V V F V V F

TAUTOLOGA

2. Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Jpiter es mayor que Plutn, si laTierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter es mayor quePlutn.

Luna mayor: pTierra mayor: qJpiter mayor: r

(p -> q) & (q -> r) -> (p -> r)

( p -> q ) & ( q -> r ) -> ( p -> r )


V V V F V F F V V F F


V F F F F V F V V F F

F V V V V V V V F V V


F V F V F V V V F V V

F V V V F V F V F V F

TAUTOLOGA

3. Cuando viajo me mareo. Siempre que me mareo, me entra un hambre atroz. As pues, siempreque me entra un hambre atroz, viajo.

Viajo: p

Viajo: pMareo: qHambre: r

((p -> q) & (q -> r)) ->(r -> p)

( ( p -> q ) & ( q -> r ) ) -> ( r -> p )


V V V F V F F V F V V


V F F F F V F V F V V

F V V V V V V F V F F


F V F V F V V F V F F

F V F V F V F V F V F

INDETERMINACIN

4. O el amor es ciego y los hombres no son conscientes del hecho de que el amor es ciego, o el amores ciego y las mujeres sacan ventaja de ello. Si los hombres no son conscientes de que el amor esciego, entonces el amor no es ciego. En conclusin, las mujeres sacan ventaja de ello.

Amor ciego: pHombres no conscientes: qMujeres ventaja: r

((p & q) v (p & r)) & (q -> p) ->r

(( p & q ) v ( p & r )) & ( q -> p ) -> r

V F F V V V V V V F V V F V V V

V F F V F V F F F F V V F V V F

V V V F V V V V F V F F F V V V

V V V F V V F F F V F F F V V F

F F F V F F F V F F V V V F V V

F F F V F F F F F F V V V F V F

F F V F F F F V F V F V V F V V

F F V F F F F F F V F V V F V F

TAUTOLOGA

5. Si Guillermo estudia, obtiene buenas notas. Si no estudia, lo pasa bien en el colegio. Si no sacabuenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas notas.

Guillermo estudia: p

Guillermo estudia: pGuillermo notas: qGuillermo colegio: r

((p -> q) & ( p -> r)) & ( q -> r) -> q

( ( p -> q ) & ( p -> r ) ) & ( q -> r ) -> q

V V V V F V V V V F V V F V V V

V V V V F V V F V F V V V F V V

V F F F F V V V F V F F F V V F

V F F F F V V F F V F V V F V F

F V V V V F V V V F V V F V V V

F V V F V F F F F F V V V F V V

F V F V V F V V F V F F F V V F

F V F F V F F F F V F V V F V F

TAUTOLOGA

6. Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al ftbol; nojuega al ftbol. Por tanto, Eduardo juega al baloncesto.

Eduardo baloncesto: pEduardo tenis: qEduardo ftbol: r

((p -> q) & (q ->r)) & r ->p

(( p -> q ) & ( q -> r )) & r -> p

F V V V V V V V F F V V V

F V V V F V F F F V F V V

F V V F V F V V F F V V V

F V V F V F V F V V F V V

V F V V V V V V F F V V F

V F V V F V F F F V F V F

V F F F F F V V F F V V F

V F F F F F V F F V F V F

TAUTOLOGA

7. Si la tormenta contina o anochece, nos quedaremos a cenar o a dormir; si nos quedamos a cenaro a dormir no iremos maana al concierto; por consiguiente, iremos maana al concierto.

Tormenta continua: p

Tormenta continua: pAnochece: qQuedamos a cenar: rQuedamos a dormir: sIremos concierto: t

(((p v q) -> (r v s)) & ((r v s) -> t)) -> t

((( p v q ) -> ( r v s )) & (( r v s ) -> t )) -> t

V V V V V V V F V V V F F V V V

V V V V V V V V V V V V V F F F

V V V V V V F F V V F F F V V V

V V V V V V F V V V F V V F F F

V V V V F V V F F V V F F V V V

V V V V F V V V F V V V V F F F

V V V F F F F F F F F V F V V V

V V V F F F F F F F F V V F V F

V V F V V V V F V V V F F V V V

V V F V V V V V V V V V V F F F

V V F V V V F V V V F V F V V V

V V F V V V F V V V F V V F F F

V V F V F V V F F V V F F V V V

V V F V F V V V F V V V V F F F

V V F F F F F F F F F V F V V V

V V F F F F F F F F F V V F V F

F V V V V V V F V V V F F V V V

F V V V V V V V V V V V V F F F

F V V V V V F V V V F V F V V V

F V V V V V F V V V F V V F F F

F V V V F V V F F V V F F V V V

F V V V F V V V F V V V V F F F

F V V F F F F F F F F V F V V V

F V V F F F F F F F F V V F V F

F F F V V V V F V V V F F V V V

F F F V V V V V V V V V V F F F

F F F V V V F V V V F V F V V V

F F F V V V F V V V F V V F F F

F F F V F V V F F V V F F V V V

F F F V F V V V F V V V V F F F

F F F V F F F V F F F V F V V V

F F F V F F F V F F F V V F F F

INDETERMINACIN

Bibliografa

Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI.

79 comentarios el Ejercicios resueltos de tablas de verdady formalizacin

dennis15 agosto, 2009

mut bien hecho !FELICITACIONES! de verdad

Respondermirta28 agosto, 2009

GRACIAS AL FIN LO ENTENDIIIIII!!!!!!!!!!!!!!!!!!!!!!

ResponderEugenio Snchez Bravo28 agosto, 2009

Me alegro mirta. Saludos.

ResponderAnnimo2 junio, 2014

me ayudaron muxo en mis tareas

Responderwilmer david11 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

Responderdaniela duque15 octubre, 2009

muchas gracias me ha ayudado muchopara mi examen de filosofia

Responderrosalino gaona (@RosalinoG)10 septiembre, 2013

Filosofia tb estudio y ayuda bastante

ResponderEugenio Snchez Bravo11 septiembre, 2013

Me alegro. Saludos.

Respondersouri20 octubre, 2009

Buenisimos los ejerciios, es la unica web que no me confundi en cuanto a los simbolos y esascosas, estan muy claros.Por suerte que llegu ac porque maana tengo parcial y no tenia act para practicar.saludos y gracias!

ResponderPerez Gil Jose29 octubre, 2009

muchiasss gracciiassssss me sirvio muchiooo

ResponderEuri18 enero, 2010

alguien sabe resolver estos?(-P v Q) -> (R ^ S)R -> T-T_____P

ResponderEugenio Snchez Bravo18 enero, 2010

Es muy fcil. Es una simple reduccin al absurdo ms introduccin de la disyuncin.

ResponderProfe11 febrero, 2010

Muchas gracias podria implementar otras tablas o bien clasificarlas por su dificultad, perogracias por el aporte.

ResponderEugenio Snchez Bravo11 febrero, 2010

Creo que estn ordenadas por dificultad. Las ejercicios estn tomados del excelente libroEulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI. Slo los he resuelto.

ResponderEugenio Snchez Bravo8 abril, 2010

http://auladefilosofia.net/2008/10/25/ejercicios-resueltos-de-tablas-de-verdad-y-formalizacion/

ResponderErnesto8 marzo, 2012

PORFIS AYUDA PARA RESOLVER EL SIGUIENTE: Sean p, q y r las proposiciones Elnmero N es par, La salida va a la pantalla y Los resultados se dirigen a la impresorarespectivamente. Enunciar las formulaciones equivalentes de las siguientes proposiciones.(a) q entonces p(b) negacin q entonces r(c) r entonces (p v q)SE LOS AGRADECERA INFINITAMENTE

Responderunkown25 abril, 2010

es muy bueno gracias!!!

Responderunknown3 mayo, 2010

muy buenos los ejercicios, me han ayudado mucho.

muchas gracias

ResponderAndrea Marie Brodus Corbera16 mayo, 2010

Muy buenos ejercicios estos sirven de mucho.

ResponderAnnimo19 enero, 2013

dificil pero los resolvi

Responderjessica28 mayo, 2010

muy bieno vale. si pueden colocar mas ejercicios. Me encanta!!

Responderzole4 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

ResponderAlmu21 junio, 2010

muchsimas gracias, tengo el examen maana y estaba muy perdidaesto me ha ayudado mucho, es el nico sitio donde las cosas estn claras

Respondermaria gil5 agosto, 2010

MUY BUENO TODO ADEMAS QUE ES MUY UTIL ME SIRVIO DE MUCHO,

Respondermaria gil5 agosto, 2010

ES MUY BUEDO TODO ME SIRVIO DE MUCHO

Responderbairon23 noviembre, 2010

holas yo estoy haciendo una, esta un poco dificil pero agradesco los ejemplos de aca.

ResponderMafer26 noviembre, 2010

esta facilisimo gracias, de qui saque ejercicios para practicar (:

Respondermarta1 diciembre, 2010

:. (T v -S ) > R1) -R > Q2) T > -Q3) -S > -QPOr vafor alguien me podria resolver este ejercicio?

ResponderEugenio Snchez Bravo7 diciembre, 2011

Hola Marta, es una introduccin del condicional seguida de una eliminacin de ladisyuncin. No tiene prdida.

Un saludo.

Responderlarita10 febrero, 2011

los apuntes me han servido de mucha ayuda! me parecen geniales lo nico es que el conjuntordebera representarse tal y como esmaana tengo el examenDESEADME SUERTE! =D

ResponderEugenio Snchez Bravo10 febrero, 2011

Hola larita, me alegra que te hayan sido tiles.

Responderjaime15 enero, 2012

gracias, aunque aun siga sin querrer a la logica

Responderrockdrigo8 febrero, 2012

gracias aunq sigo sin entenderle bien

ResponderAnnimo16 febrero, 2012

no me sirvio para nada pero sigue asi ok

Respondertefa21 febrero, 2012

gracias por que lo entendi y pude hacer mi tarea copiando los e jenplos graciasokkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkkk

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

ResponderFernando Cantero8 abril, 2012

Gracias x los ejemplos muy buenos exelente

ResponderAnnimo10 abril, 2012

estuvo muy interesante y me ayudo mucho


Si el tiempo esta lluvioso, los nios no podrn ir al club. Pero, obien llueve o sale el sol, y si sale el sol tampoco los nios podrnir al club. Sin embargo, si la direccin del colegio lo aprueba losnios irn al club y el profesor gua ira con ellos. Luego, ladireccin no lo aprueba o este argumento es una contradiccin,pues el profesor gua ira con ellos, si sale el sol.(alguno conoce la solucion a esto)


uaoooooooooo al fin pude comprender .

ResponderSara.24 mayo, 2012

En el ltimo ejercicio, en el ms largo hay un error cuando se realiza la operacin [(r v s) -> t]Cuando ya tenemos el resultado del parntesis y esa solucin la vamos a operar con -> t esta elfallo.En la 11 linea el resultado del parntesis es V y lo que corresponde a t F con lo cual con uncondicional en medio quedaria F no v como pone en el problema, lo que cambia todo elresultado final que seria este:

vfv

fvfvvvfvfvfvvvfvfvfvvvfvfvfvv


uff recien entiendo


uff por fin comprendi

Responderstella rodriguez14 julio, 2012

buenos dias porfavor si me pueden ayudar a resolver estos ejercicios si eres cardiologo,eresmedico, si eres medico, eres colegiado. luego, si eres cardiologo, eres colegiado.

ResponderEugenio Snchez Bravo14 julio, 2012

((p->q)&(q->r))->(p->r)


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 agradezcosi me colaboran en resolverlo


((p->(q&r))&(q&r))->p


si los actos del presidente de la republica tienen refrendacion ministerial, no son nulos;no tienenrefrendacion ministerial. por tanto son nulos. les agradezco si me colaboran en resolverlo.


Este es fcil.

Responder

Annimo15 agosto, 2012

alguien sabe resolver esto [(PQ)^(QR)](PR)


O bien mediante la transitividad del condicional, en cuyo caso sera un solo paso, o bienmediante el camino ms largo de la introduccin del condicional.

ResponderAnnimo2 octubre, 2012

te hago una consulta, si se supone que en el condicional el consecuente es f, el condicionaltambien lo es, por que en algunos ejercicios aparece v v f? no deberia ser v f f ? Gracias

ResponderEugenio Snchez Bravo2 octubre, 2012

Puedes sealar el ejercicio y la lnea?

ResponderAlumna27 octubre, 2012

Est genial esto, felicidades por tu trabajo!


Gracias, un saludo.

Responder

palingenesia28 octubre, 2012

me genera dudas la frase popular si te digo la verdad te mientocomo se analizA desde la logica??


Es la famosa paradoja del mentiroso. Una formulacin ms clsica deca: Epimnides elcretense dice que todos los cretenses son mentirosos. Si miente dice la verdad. Si dice laverdad miente. Les ocurre a todos los enunciados autorreferenciales.

Aqu tienes el correspondiente enlace de wikipedia:http://es.wikipedia.org/wiki/Paradoja_del_mentiroso

ResponderAnnimo4 diciembre, 2012

Tengo una q no me sale ni a patadas a ver si me podes dar una mano, desde ya muchas graciaspor todos los ejercicios. Juan participa de un concurso slo si conoce las condiciones y lassatisface, adems de tener un programa ya preparado. Aunque las desconoce, l satisface lascondiciones estipuladas. De modo que, Participar en el concurso si tiene preparado unprograma.

Saludos

Responderjuan Adjigo4 diciembre, 2012

Alguien me puede ayudar con este:Juan participara de un concurso slo si conoce las condiciones y las satisface, adems de tener unprograma ya preparado. Aunque las desconoce, el satisface las condiciones estipuladas. De modoque, participar en el concurso si tiene preparado un programa.

Responderemir5 diciembre, 2012

Ayuda con estos ejercicios plis! : me equivoque en el anterior(q o p) ~p

(~p^ ~q)


-1 q v p-2 p-3 p & q

Supongo que estas son las premisas pero cul es la conclusin.


-1 q & p-2 p-3 p & q

Supongo que estas son las premisas pero cul es la conclusin.

Responderjuan david diaz villamil3 marzo, 2013

esta muy bueno pero no e llegado a este tema xd bueno !!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!

Responderjmvelascof20 abril, 2013

Gracias por su colaboracion de esta manera se entiende mas que con el profesor en el aula declase.

Responder

Dayana Navarrete Chiln15 agosto, 2013

Hola, quisiera saber la solucin al siguiente ejercicio de formalizacin:El nico modo de acabar con el narcotrfico es legalizar la droga. La droga no se legalizar amenos que se demuestre que es inocua. Por consiguiente, si no se demuestra que la droga esinocua y no empieza a venderse en farmacias no se acabar con el narcotrfico.


Se legaliza la droga: pSe acaba con el narcontrfico: qSe demuestra que la droga es inocua: rSe empieza a vender la droga en farmacias: s

(((p->q)&(r->p))->(r&s))->q

Respondervalentina7 septiembre, 2013

Quisiera ayuda con este ejercicio..Lo agradeceriaSi no paga la luz me cortaran la corriente electrica. Y si pago la luz entonces me quedare sindinero o pedire prestado y si me quedo sin dinero y pido prestado entonces no podr pagar ladeuda si y solo si soy desorganizado

ResponderEugenio Snchez Bravo7 septiembre, 2013

Paga la luz: pMe cortan la corriente: qMe quedar sin dinero: rPido prestado: sSoy desorganizado: t

nimo, ahora coloca los juntores. Es muy fcil.

ResponderEmiliano

10 octubre, 2013

AYUDAAA!!! es largo y para maana Si Perez presenta una queja entonces, Gonzales investigar y Rodrguez ser descalificado.O rodriguez no sera descalificado o perez no presenta una queja. sabemos que Gonzalesinvestigo y Rodrguez fu descalificado. Por lo tanto Perez presento la queja


Prez presenta una queja: pGonzlez investigar: qRodrguez ser descalificado: rEl resto es sencillo.

ResponderAdriana stefania shahuano rengifo15 enero, 2014

No se k hacer en el colegio nos dejan estos problemas por mas que el profesor me haya explicadono entiendo

Responderjuan sebastian carrillo avila23 abril, 2014

gracias por su ayuda a la evaluacin que maana tengo

ResponderEugenio Snchez Bravo24 abril, 2014

A ti por el comentario.

Saludos y suerte.

Responderjes2 mayo, 2014

estaba buscando ejercicios y encontre esta pagina me parece genial .me surgio una duda al hacerel ejercicio 2 no es F-F-F-V no lo entendi.

Responderjes3 mayo, 2014

estaba bien, yo me equivoque .ahora lo entendi

ResponderJoa5 mayo, 2014

Hola, necesitaria que me sacaras una duda. Hice la tabla empezndola con p,q,r,s y t (que en latautologia lo hiciste, pero obviaste ese paso para hacerlo mas sencillo). Como seguira la tabla situviera u? me podrias decir como empezaria al menos para guiarme? Muchas Gracias!!!

ResponderEugenio Snchez Bravo6 mayo, 2014

Hola Joa,

2 filas, es decir, 32 filas.SaludosEugenio.

ResponderDIANELA12 mayo, 2014

esto esta bien fcil me ayudo para mi examen de mate y aprove con un 19 gAxIaS

ResponderEugenio Snchez Bravo13 mayo, 2014

5

Me alegro Daniela.

Responder

Esta entrada fue publicada en 25 octubre, 2008 por Eugenio Snchez Bravo en Filosofa yCiudadana, Lgica proposicional y etiquetada con Lgica.http://wp.me/pmsl1-2yEntrada anteriorSiguiente entradaBlog de WordPress.com. El tema Suburbia.

Seguir

Seguir Aula de Filosofa de Eugenio Snchez Bravo

Ofrecido por WordPress.com

ejercicios resueltos de tablas de verdad y formalización _ aula de filosofía de eugenio sánchez...

Documents