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 verdad
y formalizacin
EJERCICIOS DE TABLAS DE VERDAD Y FORMALIZACIN MS TABLAS DE VERDAD
Construya la tabla de verdad de las siguientes frmulas. Indique qu frmulas son
tautolgicas, 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 e
indique si son vlidos (tautologas) o no.
[Los ejercicios estn tomados de la excelente introduccin a la lgica proposicional de
Eulalia 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 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 vlido. Tautologa.
1. Juan partir para Japn, si Mara se queda en Venecia. Rosa viajar a Luxemburgo o Juan no
partir para Japn. O Mara no se queda en Venecia o Rosa no viajar a Luxemburgo. Por
consiguiente, Mara no se queda en Venecia.
Juan Japn: p
Juan Japn: p
Mara 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 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 la
Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra, Jpiter es mayor que
Plutn.
Luna mayor: p
Tierra mayor: q
Jpiter 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, siempre
que me entra un hambre atroz, viajo.
Viajo: p
Viajo: p
Mareo: q
Hambre: 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 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 conclusin, las mujeres sacan ventaja de ello.
Amor ciego: p
Hombres no conscientes: q
Mujeres 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 saca
buenas notas, no lo pasa bien en el colegio. As pues, Guillermo obtiene buenas notas.
Guillermo estudia: p
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 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; no
juega al ftbol. Por tanto, Eduardo juega al baloncesto.
Eduardo baloncesto: p
Eduardo tenis: q
Eduardo 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 cenar
o a dormir no iremos maana al concierto; por consiguiente, iremos maana al concierto.
Tormenta continua: p
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 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 verdad
y formalizacin
dennis
15 agosto, 2009
mut bien hecho !FELICITACIONES! de verdad
Responder
mirta
28 agosto, 2009
GRACIAS AL FIN LO ENTENDIIIIII!!!!!!!!!!!!!!!!!!!!!!
Responder
Eugenio Snchez Bravo
28 agosto, 2009
Me alegro mirta. Saludos.
Responder
Annimo
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 Snchez 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 maana 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 Snchez Bravo
18 enero, 2010
Es muy fcil. Es una simple reduccin al absurdo ms introduccin de la disyuncin.
Responder
Profe
11 febrero, 2010
Muchas gracias podria implementar otras tablas o bien clasificarlas por su dificultad, pero
gracias por el aporte.
Responder
Eugenio Snchez Bravo
11 febrero, 2010
Creo que estn ordenadas por dificultad. Las ejercicios estn tomados del excelente libro
Eulalia Prez Sedeo: Ejercicios de Lgica, Madrid: s. XXI. Slo los he resuelto.
Responder
Eugenio Snchez 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
nmero 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) negacin q entonces r
(c) r entonces (p v q)
SE LOS AGRADECERA 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
Annimo
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
muchsimas gracias, tengo el examen maana y estaba muy perdida
esto me ha ayudado mucho, es el nico sitio donde las cosas estn 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 Snchez Bravo
7 diciembre, 2011
Hola Marta, es una introduccin del condicional seguida de una eliminacin de la
disyuncin. No tiene prdida.
Un saludo.
Responder
larita
10 febrero, 2011
los apuntes me han servido de mucha ayuda! me parecen geniales lo nico es que el conjuntor
debera representarse tal y como esmaana tengo el examenDESEADME SUERTE! =D
Responder
Eugenio Snchez 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
Annimo
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
Annimo
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
Annimo
10 abril, 2012
estuvo muy interesante y me ayudo mucho
Responder
Annimo
20 abril, 2012
Si el tiempo esta lluvioso, los nios no podrn ir al club. Pero, o
bien llueve o sale el sol, y si sale el sol tampoco los nios podrn
ir al club. Sin embargo, si la direccin del colegio lo aprueba los
nios irn al club y el profesor gua ira con ellos. Luego, la
direccin 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)
Responder
Annimo
30 abril, 2012
uaoooooooooo al fin pude comprender .
Responder
Sara.
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 el
fallo.
En la 11 linea el resultado del parntesis 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
Annimo
6 junio, 2012
uff recien entiendo
Responder
Annimo
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 Snchez 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 Snchez 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 Snchez Bravo
14 julio, 2012
Este es fcil.
Responder
Annimo
15 agosto, 2012
alguien sabe resolver esto [(PQ)^(QR)](PR)
Responder
Eugenio Snchez Bravo
16 agosto, 2012
O bien mediante la transitividad del condicional, en cuyo caso sera un solo paso, o bien
mediante el camino ms largo de la introduccin del condicional.
Responder
Annimo
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 Snchez Bravo
2 octubre, 2012
Puedes sealar el ejercicio y la lnea?
Responder
Alumna
27 octubre, 2012
Est genial esto, felicidades por tu trabajo!
Responder
Eugenio Snchez 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 Snchez Bravo
29 octubre, 2012
Es la famosa paradoja del mentiroso. Una formulacin ms clsica deca: Epimnides 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
Annimo
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 slo si conoce las condiciones y las
satisface, adems 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 slo si conoce las condiciones y las satisface, adems 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 Snchez Bravo
6 diciembre, 2012
-1 q v p
-2 p
-3 p & q
Supongo que estas son las premisas pero cul es la conclusin.
Responder
Eugenio Snchez Bravo
6 diciembre, 2012
-1 q & p
-2 p
-3 p & q
Supongo que estas son las premisas pero cul es la conclusin.
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 Chiln
15 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 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 narcotrfico.
Responder
Eugenio Snchez Bravo
15 agosto, 2013
Se legaliza la droga: p
Se acaba con el narcontrfico: 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 Snchez 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 fcil.
Responder
Emiliano
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 Gonzales
investigo y Rodrguez fu descalificado. Por lo tanto Perez presento la queja
Responder
Eugenio Snchez Bravo
11 octubre, 2013
Prez presenta una queja: p
Gonzlez investigar: q
Rodrguez 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 evaluacin que maana tengo
Responder
Eugenio Snchez 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 empezndola con p,q,r,s y t (que en la
tautologia lo hiciste, pero obviaste ese paso para hacerlo mas sencillo). Como seguira la tabla si
tuviera u? me podrias decir como empezaria al menos para guiarme? Muchas Gracias!!!
Responder
Eugenio Snchez Bravo
6 mayo, 2014
Hola Joa,
2 filas, es decir, 32 filas.
Saludos
Eugenio.
Responder
DIANELA
12 mayo, 2014
esto esta bien fcil me ayudo para mi examen de mate y aprove con un 19 gAxIaS
Responder
Eugenio Snchez Bravo
13 mayo, 2014
5
Me alegro Daniela.
Responder
Esta entrada fue publicada en 25 octubre, 2008 por Eugenio Snchez Bravo en Filosofa y
Ciudadana, Lgica proposicional y etiquetada con Lgica.
http://wp.me/pmsl1-2y
Entrada anterior
Siguiente entrada
Blog de WordPress.com. El tema Suburbia.
Seguir
Seguir Aula de Filosofa de Eugenio Snchez Bravo
Ofrecido por WordPress.com