Universidad de Chile

Facultad de Filosofa y Humanidades

Departamento de Filosofa
L
ogica III - Primer Semestre 2014

PARCIAL
Gua de Ejercicios N 2 - VERSION

L
ogica Predicativa Cl
asica (continuaci
on).

1) Desarrolle las siguientes deducciones formales, utilizando los teoremas [22] , [23]
y [24] vistos en clase:
(a) ` x y

x'y

z P 2 (x, z)

z P 2 (y, z)



(b) ` a ' a



(c)
x x ' a Q1 (x)
` Q1 (a) usando lo recien demostrado: ` a ' a
xy R2 (x, y) yx R2 (x, y)

a'b
` x (x ' b)
 1



P (x) Q1 (y) T 1 (w) S 1 (z)
` P 1 (x) R3 (a, z, c)


(g) ` Q2 (z, b)
R3 (a, b, c) x y z R3 (x, y, z)

(d) `

(e)

(f)

Axiomas L
ogicos de Primer Orden que se utilizan en este ejercicio:
[a] Tautologas de primer orden.


x
[b] x
con x sustituible por t en .
t
[e] x ' x.
[f ] (x ' y) ( 0 ) con atomica y 0 obtenida reemplazando en
apariciones libres de la variable x (todas, algunas o ninguna) por la variable y.
[g] Cualquier generalizaci
on universal de cualquier axioma.

2) Para f
ormulas cualesquiera (no solamente para oraciones), demuestre la observaci
on [28] vista en clase: ` y ` , si y solo si `

3) En base al teorema de correccion ( `

implica
|= ) ,
demuestre que si un conjunto de oraciones es satisfactible, entonces es consistente.

4) Sea un conjunto
oraci
on tal que |=
{ 1 , 2 , 3 ,
tal que { 1 , 2

que contiene una cantidad infinita de oraciones, y una

. Demuestre que es posible extraer de una coleccion
. . . , n } consistente en una cantidad finita de oraciones,
, 3 , . . . , n } |=