Universidad de Chile

Facultad de Filosofa y Humanidades

Departamento de Filosofa
L
ogica II - Segundo Semestre 2015

Gua de Ejercicios N 3

L
ogica Predicativa.

1) Escriba las siguientes afirmaciones como formulas at

omicas del lenguaje de
primer orden. En cada caso, indique que significado asignara a cada smbolo de
constante y cada smbolo de relacion:
(a) Pedro es hermano de Mara.
(b) Pedro es el hermano de Mara.
(c) El hermano del padre de Pedro es el hermano del hijo de Mara.
(d) Pedro y Pablo son hermanos de Mara. Mara y Pedro son hermanos de Pablo.
[Hay que escribir dos f
ormulas atomicas, pero usando el mismo smbolo para cada
aparici
on de una misma constante o relacion].
(e) Pedro es hijo de Pablo y sobrino de Mara y nieto de Daniel y hermano de
Claudia.
(f) La competencia la gan
o el representante de nuestra universidad.

2) Decida cu
ales de las siguientes expresiones son formulas bien formadas (probablemente escritas usando las convenciones establecidas en clase). E indique cuales
de ellas son oraciones:
(a) y x P 2 (y, x)
(b) x
(c) y y ' x R2 (a)

(d) Q1 x Q1 (x)


(e) x z P 2 (c, z) y R3 (y, c, x)


(f) x R2 (a, x) y (R1 b ' P 1 d)

3) En cada uno de los dos casos, escriba la parte que esta en negrita como una
f
ormula de primer orden:
(a) Uno de los postulados en los que se basa el paradigma sociologico conocido
como an
alisis funcional, sostiene que las actividades sociales son funcionales
para todo el sistema social o cultural.
(b) En sociologa, el rol de un individuo es el comportamiento que socialmente
se espera de el en base a su condicion o status. Cuando el comportamiento de
alguien no se ajusta a su rol, siempre es mal considerado por al menos
algunos de los dem
as individuos de su sociedad.

4) Sea L =
para L:
I1

a , b , c , P 1 , Q2

, y consideremos las siguientes interpretaciones

U= Pases de Sudamerica , a = Chile , b = Argentina , c = Venezuela ,

P 1 = ..... limita con Chile.

I2

Q2 =

..... limita con .....

U= Libros de las bibliotecas de la universidad , a = Filosofa Analtica,

b = Economa , c = Analisis Estocastico aplicado a la Biologa ,
P 1 = El ttulo de ..... empieza con la letra E.
Q2 = ..... est
a alfabeticamente despues de .....

Considere cada una de las siguientes oraciones, y decida si es verdadera o falsa en

cada una de las dos interpretaciones dadas:
(a) y Q2 (y, b)


(b) y y ' c Q2 (y, b)


(c) y (y ' c) Q2 (y, b)
(d) P 1 (c)
(e) y P 1 (y)
(f) y P 1 (y)
(g) x z Q2 (z, x)
(h) x z Q2 (z, x)


(i) x z (x ' z) Q2 (z, x)


(j) x z Q2 (x, b) Q2 (z, x)


(k) x Q2 (x, b) y Q2 (y, x)

5) Decida (justificando) cu
ales de las siguientes oraciones son validas, y cuales no:
(a) b ' b
(b) z v

R2 (z, v) R2 (v, z)

(c) y Q2 (y, b)
(d) Q2 (a, b) z Q2 (z, b)
(e) (b ' a)
(f)

a ' b x y (x ' y )

6) Decida, en cada caso, si la conclusion es efectivamente consecuencia logica de las

premisas, o no.
(a)

y Q2 (y, b) )

(b)

y Q2 (y, b)

(c)

P 1 (a)

|= x P 1 (x)

(d)

P 1 (a)

|= x P 1 (x)

(e)

(f)

(g))

|= Q2 (c, b)
|= Q2 (c, b)


xR2 (x, b) S 1 (a)



x Q1 (x) S 1 (x) ,
Q1 (b)

R2 (c, b)

|=

x S 1 (x)



x Q1 (x)R1 (x)

|= Q1 (a) z Q1 (z)

|=



x S 1 (x)R1 (x)