LGICA II 2016a

1) Indique si son verdaderas o falsas las siguientes afirmaciones. Despus, justifique

su respuesta.

a.- De la afirmacin de que todas las ballenas son mamferos se sigue lgicamente que
algunas ballenas son mamferos.
Falsa.
B: ser ballena
M: ser mamfero
La forma lgica de ese enunciado es x (Bx Mx), que es equivalente a Vx (Bx
Mx). De aqu no se sigue que hay ballenas (ni ballenas que sean mamferos ni ballenas
que no lo sean). El universal seguido de condicional no implica existencia ni del
antecedente ni del consecuente. Un existencial se sigue de un universal cuando el
universal cubre un predicado simple. De x Bx s se sigue que existen cosas que son B.

b.- Para que un argumento sea invlido basta que la conclusin sea falsa.
Falsa.
Un argumento es invlido cuando su forma hace posible que existan argumentos con
dicha forma que tengan premisas verdaderas junto a conclusin falsa; es decir, cuando
permite el paso de lo verdadero a lo falso. Pero podemos tener argumentos vlidos cuya
conclusin es falsa y tambin lo es alguna de sus premisas.

c.- x (Px Px) es una frmula bien formada.

Falsa.
Las reglas de formacin de frmulas no permiten escribir una negacin seguida de una
conjuncin (), La negacin precede siempre a una frmula, no a una conectiva: si X
es una frmula bien formada, X tambin es una frmula bien formada. Pero " Px"
no es una frmula bien formada.

d.- Si X es una frmula vlida, la frmula ( X Y) es una tautologa.

Falsa.
La negacin de X ser una contradiccin, por lo que su conjuncin con Y ser tambin
una contradiccin, sea lo que sea Y.

2) Demuestre la validez del siguiente esquema de inferencia mediante Deduccin

Natural:
x (Px Qx)
x ((Px Rx) (Sx Rx))
x ( Sx Qx)
 1.- x (Px Qx)
2.- x ((Px Rx) (Sx Rx))
3.- Vx ((Px Rx) (Sx Rx)) Interdef. ,V 2
4.- ((Pa Ra) (Sa Ra)) Supuesto (caso de 3)
5.- (Pa Ra) (Sa Ra) Interdef. , 4
6.- Pa Ra RE 5
7.- (Sa Ra) RE 5
8.- Sa Ra Interdef. , 7
9.- Ra RE 6
10.- Ra RE 8
11.- x ( Sx Qx) ECQ 9,10
12.- x ( Sx Qx) REV 3, 4-11

3) Formalice el siguiente argumento y pruebe su validez mediante Deduccin Natural:

Algunos historiadores escriben nicamente novelas histricas. Una novela histrica no

es un ensayo. Luego algunos historiadores no escriben ensayos.

H: ser historiador
Z: escribir
N: ser novela
E: ser ensayo

Vx (Hx y (Zxy Ny))

x (Nx Ex)
Vx (Hx y (Ey Zxy))

1.- Vx (Hx y (Zxy Ny))

2.- x (Nx Ex)
3.- Ha y (Zay Ny) Supuesto (caso de 1)
4.- Ha RE 3
5.- y (Zay Ny) RE 3
6.- Zab Nb RE 5
7.- Nb Eb RE 2
8.- Zab Eb transitiva 6,7
9.- Eb Zab Contr. 8
10.- y (Ey Zay) RI 9 (b est libre de supuestos)
11.- Ha y (Ey Zay) RI 4,10
12.- Vx (Hx y (Ey Zxy)) RIV 11
13.- Vx (Hx y (Ey Zxy)) REV 1, 3-12
4) Escriba un contraejemplo de la siguiente forma argumentativa:

x (Px Qx)
x (Qx Rx)
Vx (Px Rx)

P: ser hombre
Q: ser persona
R: ser racional

Todas los hombres son personas (verdadero)

Todas las personas son racionales (verdadero)
Por tanto, no hay hombres racionales (falso)