UNIVERSIDAD NACIONAL DE SALTA

FACULTAD DE HUMANIDADES
FILOSOFÍA – LÓGICA
PRIMER EXAMEN PARCIAL

ACTIVIDAD A: (3 pts.)
Dada la siguiente expresión:
Tomo helado si y solo si no voy al cine. Pero si hace frío entonces no tomo
helado o voy al cine.
1) Traduzca al lenguaje de la lógica proposicional.
2) Desarrolle el árbol constructivo correspondiente, especificando las reglas sintácticas
pertinentes.
3) Desarrolle la tabla de verdad correspondiente.
4) Clasifique la fórmula obtenida de acuerdo con el resultado del inciso anterior.
5) Encuentre la forma normal booleana correspondiente.

ACTIVIDAD B: (3 pts.)
Deducción natural. Construya una derivación para el siguiente razonamiento.

{p⊃( q.∼ r), ∼ (r∨∼ t)⊃ ∼ q} Ⱶ p⊃ ∼ t

ACTIVIDAD C: (3 pts.)
• Dado el siguiente razonamiento:
Sócrates es ateniense y, puesto que no hay atenienses que no sean
hombres, concluimos que también es mortal. Siendo cierto, como
sabemos, que todos los hombres son mortales.
• Y el siguiente diccionario de traducción:
Ax: x es ateniense; Hx: x es hombre; Mx: x es mortal; s: Sócrates.

1) Identifique premisas y conclusión. Tradúzcalas al lenguaje de primer orden.

2) Construya una derivación para probar su validez.

ACTIVIDAD D: (1 pts.)
Sea un lenguaje L de primer orden con una n cantidad de constantes (c1 … cn); un
predicado monádico P; y un universo U donde cada objeto es representado en L por (al
menos una) constante cn.
1) Ofrezca una expresión equivalente, utilizando cuantificadores, para las siguientes:
a. Pc1∨Pc2∨…∨Pcn (donde la disyunción incluye todas las posibles fórmulas
atómicas de la forma Pcn).
b. Pc1.Pc2. … . Pcn (donde la conjunción incluye todas las posibles fórmulas
atómicas de la forma Pcn).
2) Complete la información y responda:
a. Si I(∀ xPx)=1, entonces I(Pcn)= ¿ ?. ¿Para cuántas cn de L?
b. Si I(∀ xPx)=0, entonces I(Pcn)= ¿ ?. ¿Para cuántas cn de L?
c. Si I(∃ xPx)=1, entonces I(Pcn)= ¿ ?. ¿Para cuántas cn de L?
d. Si I(∃ xPx)=0, entonces I(Pcn)= ¿ ?. ¿Para cuántas cn de L?
3) Sean cn y cm de L, y agreguemos el predicado monádico M. Sabiendo que
I(Pcn⊃ Mcm)=0:
a. I(∃ xPx)=¿ ?
b. I(∀ xMx)=¿ ?