I. Simboliza los siguientes argumentos y determina cómo es
la conclusión que extraen en ellos los personajes.
Mariana le dice a Juan que si se casa con ella, entonces se pondrá muy feliz. Juan le contesta que por ahora no se va a
casar con ella.
P(x,y): x se casa con y
F: se pondrá feliz
P => F
–P
:. -F
Una semana
después Juan ve a Mariana, quien
sigue feliz, y le
reclama diciéndole que lo engañó, pues aunque él no piensa casarse, ella sigue feliz.
Q: Esta feliz
S: lo engaño
P: x se casa con y
Q => S
-P=>Q
:. –P=>S
Extrae la
estructura del argumento y determina si Juan tiene motivos lógicos para
reclamarle a Mariana.
Q: está
feliz
S: lo engaño
P: Se casan
P => Q
-P
Q => S
-P => Q
:.
-Q
-P=>Q ^
–P=>S
Explica por
qué lógicamente no se debe decir que el argumento anterior es falso
Claudia le dice a Víctor que si no se casa con ella, -entonces
terminamos-.
Una semana
después Claudia se encuentra con una amiga y le cuenta que acaba de terminar con Víctor.
Su amiga le
contesta: ¡ah, entonces no
quiso casarse contigo!
A: se casan
Q: terminan
-A => Q
Q
:. -A
Extrae la
estructura del argumento y determina si es correcto concluir que Víctor no
quiso casarse con Claudia.
A
|
-A
|
Q
|
-A => Q
|
V
|
F
|
V
|
V
|
V
|
F
|
F
|
V
|
F
|
V
|
V
|
V
|
F
|
V
|
F
|
F
|
Explica por qué lógicamente no se debe decir
que la conclusión de la amiga de Claudia fue incorrecta
Dicha
conclusión tiene sentido con respecto a lo expuesto por Claudia y cuya
conclusión resulta infalible, desde el unto de vista lógico, toda vez que esta
converge con las reglas de inferencia.
II.
Simbolizamos los
argumentos siguientes:
a)
Si el alma es la armonía del cuerpo, entonces si el cuerpo muere, el alma no sobrevive. El cuerpo muere. Pero si el cuerpo muere, el alma sobrevive. Luego, el alma no es armonía del cuerpo.
P => (-C => -A) ^ (-C => A) => -P
b)
Si Platón está en lo correcto, entonces la verdad se puede alcanzar a través
del intelecto. Si
Schopenhauer tiene
razón, entonces
la verdad no se puede alcanzar
a través del intelecto. Por lo tanto, si Schopenhauer
tiene razón, Platón no
está en lo correcto.
[(P => I) ^ ( S
=> -I)] => (S => -P)
III.
Aplica las reglas de inferencia para realizar las
siguientes deducciones lógicas de la conclusión dada, a partir de las premisas:
(P^Q)
=> R => P => (Q => R)
P
|
R
|
Q
|
P ^ Q
|
Q => R
|
(P^Q) => R => P => (Q => R)
|
V
|
V
|
V
|
V
|
V
|
V
|
V
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
F
|
V
|
V
|
V
|
F
|
V
|
V
|
F
|
V
|
V
|
F
|
F
|
V
|
V
|
F
|
F
|
F
|
V
|
F
|
F
|
V
|
V
|
V
|
F
|
F
|
F
|
V
|
V
|
F
|
F
|
F
|
V
|
V
|
V
|
CONTINGENCIA
:. La conclusión es correcta.
H= [P
=> (Q => –R), Q] C= [Q => R => –P ]
P
|
-P
|
R
|
-R
|
Q
|
Q => –R
|
Q => R => –P
|
V
|
F
|
V
|
F
|
V
|
F
|
F
|
V
|
F
|
F
|
V
|
V
|
V
|
V
|
V
|
F
|
V
|
F
|
F
|
V
|
F
|
F
|
V
|
V
|
F
|
V
|
F
|
V
|
F
|
V
|
F
|
V
|
V
|
V
|
V
|
F
|
V
|
V
|
F
|
F
|
V
|
V
|
V
|
F
|
F
|
V
|
F
|
V
|
F
|
F
|
V
|
F
|
V
|
F
|
V
|
V
|
H =
[A=>B, A ^ (– –C ^ – –B), D => –C] C = [–(A^B) => –D]
A=>B
A ^ (– –C ^ – –B)
D => –C
B ^ -(C ^ B)
B^ -(A^C)
-(B^A)^C
-(B^A)^C
C=> -D
-(B^A) => -D
:. -(A ^
B) => -D
No hay comentarios:
Publicar un comentario