Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica PDF
Logica PDF
SOLUCIN:
Tabla de verdad:
p
F
F
q
V
F
pq
F
F
q
V
F
V
F
p
F
F
V
V
q
F
V
F
V
(
p)
(
q)
F
V
V
V
Vemos que hay un nico caso en el que (p)(q) es falso y en dicho caso p y q son
verdaderas.
La opcin correcta es a).
8. Si la proposicin p es verdadera, la proposicin (p
q)
a) Puede ser verdadera o falsa dependiendo del valor de verdad de q.
b) Es verdadera.
c) Es falsa.
(Convocatoria septiembre 2002. Examen tipo C)
SOLUCIN:
Tabla de verdad:
p
V
V
q
V
F
pq
V
F
(p
q)
F
V
Vemos que cuando p es verdadera, (pq) puede ser verdadera o falsa dependiendo del
valor de verdad de q.
Cuando q es verdadera, (pq) es falsa.
Cuando q es falsa, (pq) es verdadera.
La opcin correcta es a).
9. Qu valor de verdad toma la proposicin (
(p
q))
r cuando p es verdadera y
q es falsa?
a) Verdadera
b) Es falsa.
c) Depende del valor de r.
SOLUCIN:
Tabla de verdad:
p
q
r
r
pq
(pq)
(
(p
q))
r
V
F
V
F
V
V
V
V
F
F
F
V
F
V
La proposicin ((pq))r es siempre verdadera independiente del valor de r.
La opcin correcta es a).
10. Si p es falsa, la proposicin p q es:
a) Verdadera.
b) Falsa.
c) Su valor de verdad depende del valor de verdad de q.
SOLUCIN:
Recordemos la definicin del condicional:
El condicional p q solamente es falso cuando p es verdadero y q es falso; en los dems casos p q es verdadero.
Podemos verlo en la tabla de verdad:
p
q
V
V
V
F
F
V
F
F
pq
V
F
V
V
q
V
F
p
V
V
q
F
V
(
p) (
q)
F
V
SOLUCIN:
Tabla de verdad:
p
F
F
q
V
F
p
V
V
q
V
F
(
p) q
V
F
El valor de verdad de (
p) q depende del valor de verdad de q.
Cuando q es verdadero, (
p) q es verdadero.
Cuando q es falso, (
p) q es falso.
La opcin correcta es c).
(premisa)
(premisa)
(conclusin)
p: llueve
q: las calles se mojan
p q:
p
Tabla de verdad:
Premisa
p
V
V
F
F
q
V
F
V
F
Premisa
pq
V
F
V
V
Conclusin
q
V
F
V
F
SOLUCIN:
p: La tierra gira alrededor del sol
q: La tierra es un planeta
p q: Si la tierra gira alrededor del sol, entonces es un planeta (premisa)
q
La tierra es un planeta (premisa)
p: La tierra gira alrededor del sol (conclusin)
Tabla de verdad:
p
V
V
F
F
q
V
F
V
F
Premisas
pq
V
F
V
V
Coclusin
p
V
V
F
F
Hay un caso en el que las premisas son verdaderas y la conclusin es falsa. El razonamiento es una falacia.
15. El razonamiento:
r (s t)
r
st
a) Es lgicamente vlido.
b) Es una falacia
c) Es vlido o falaz segn los valores de verdad de las proposiciones que lo forman.
SOLUCIN:
Es un razonamiento vlido por ser un caso particular del modus ponendo ponens
p
V
V
F
F
(conclusin)
q
V
F
V
F
Premisa
pq
V
F
V
V
Premisa Conclusin
q
p
F
F
V
F
F
V
V
V
p: llueve
q: las calles se mojan
p q:
q
no llueva (conclusin)
(conclusin)
significa negando,
afirmo.
Tabla de verdad:
p
V
V
F
F
q
V
F
V
F
Premisa
pq
V
V
V
F
Premisa Conclusin
p
q
F
V
V
V
F
F
V
F
p: He ido al cine
q: He ido de compras
pq:
q
20. El razonamiento:
(p
q)
r
r
p
q
a) Es lgicamente vlido por ser un caso particular del modus tollendo ponens.
b) Es lgicamente vlido por ser un caso particular del modus ponendo ponens.
c) Es una falacia.
SOLUCIN:
Es claro que es un caso particular del modus tollendo ponens.
Respuesta correcta: opcin a).
Para probar la validez, sin hacer uso de la regla de inferencia, resulta muy pesado como
podemos ver al construir la tabla de verdad correspondiente.
p
V
V
V
F
F
V
F
F
q
V
F
V
V
F
F
V
F
r
V
V
F
V
V
F
F
F
pq
V
F
V
V
V
F
V
V
premisa
(pq)r
V
V
V
V
V
F
V
V
premisa
r
F
F
V
F
F
V
V
V
conclusin
pq
V
F
V
V
V
F
V
V
Puede verse (lo sealada de color rojo) que, siempre que las premisas son verdaderas, la
conclusin tambin lo es.
21. Escribe la tabla de verdad de la regla de inferencia ley del silogismo hipottico.
SOLUCIN:
Dadas dos implicaciones, de las cuales, el antecedente de la una sea el consecuente de la
otra, podemos construir una nueva implicacin a partir del antecedente de la primera y
el consecuente de la segunda.
p
V
V
V
V
F
F
F
F
q
V
V
F
F
V
V
F
F
r
V
F
V
F
V
F
V
F
Premisa
pq
V
V
F
F
V
V
V
V
Premisa
qr
V
F
V
V
V
F
V
V
Conclusin
pr
V
V
V
F
V
V
V
V
Puede verse (lo sealada de color rojo) que, siempre que las premisas son verdaderas, la
conclusin tambin lo es.
p: llueve.
q: florecen los romeros.
r: las abejas hacen miel.
p q: si llueve, entonces florecen los romeros. (Premisa)
q r: si florecen los romeros, entonces las abejas hacen miel. (Premisa)
p r: si llueve, entonces las abejas hacen miel. (Conclusin)
22. Si p es contradictoria y q es una tautologa, la proposicin p q es:
a) Falsa.
b) Verdadera.
c) Unas veces verdadera y otras falsa.
(Convocatoria junio 2002. Examen tipo D)
SOLUCIN:
Una tautologa es una proposicin que siempre es verdadera.
Dos proposiciones son contradictorias una es verdadera y la otra falsa o al revs.
Como son contradictorias p siempre es falsa.
p
F
F
q
V
V
pq
V
V
23. El razonamiento:
p
q
q
r
p
r
a) Es una falacia.
b) Es lgicamente vlido por se un caso particular del modus ponendo ponens.
c) Es lgicamente vlido por ser un caso particular de la ley del silogismo hipottico.
(Convocatoria junio 2006. Examen tipo B)
SOLUCIN:
La formulacin simblica de la regla de inferencia modus ponendo ponens es:
p p (premisa)
p
(premisa)
q (conclusin)
(La opcin b) es falsa)
La formulacin simblica de la regla de inferencia ley del silogismo hipottico es:
pq
qr
(premisa)
(premisa)
pr
(conclusin)