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 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 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 V V V V V V V V
V V V F V F F V F V V
V F F F F V V V V 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 V F V F F V F V 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
ResponderAnnimo20 abril, 2012
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)
ResponderAnnimo30 abril, 2012
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
ResponderAnnimo6 junio, 2012
uff recien entiendo
ResponderAnnimo7 junio, 2012
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)
Responderstella rodriguez14 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 agradezcosi me colaboran en resolverlo
ResponderEugenio Snchez Bravo14 julio, 2012
((p->(q&r))&(q&r))->p
Responderstella rodriguez14 julio, 2012
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.
ResponderEugenio Snchez Bravo14 julio, 2012
Este es fcil.
Responder
Annimo15 agosto, 2012
alguien sabe resolver esto [(PQ)^(QR)](PR)
ResponderEugenio Snchez Bravo16 agosto, 2012
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!
ResponderEugenio Snchez Bravo27 octubre, 2012
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??
ResponderEugenio Snchez Bravo29 octubre, 2012
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)
ResponderEugenio Snchez Bravo6 diciembre, 2012
-1 q v p-2 p-3 p & q
Supongo que estas son las premisas pero cul es la conclusin.
ResponderEugenio Snchez Bravo6 diciembre, 2012
-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.
ResponderEugenio Snchez Bravo15 agosto, 2013
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
ResponderEugenio Snchez Bravo11 octubre, 2013
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