Trabajo práctico #1: Introducción al lenguaje formal

Instrucciones
1) Lea los capítulos 1 y 2 del libro “Deducción y representación” de Javier Legris.
2) Resuelva los ejercicios propuestos y publíquelos en la tarea correspondiente del Classroom.

Introducción
La lógica es una disciplina que se ocupa de los razonamientos o inferencias. Los seres
humanos razonamos, hacemos inferencias, extraemos conclusiones a partir de la información
disponible. Esta actividad de razonar es esencial para la vida humana: tanto para organizar el
conocimiento del que disponemos como para llevar a cabo acciones. En todos los contextos de
la vida humana es necesario hacer inferencias: la resolución de los problemas cotidianos, la
deliberación práctica, la toma de decisiones para realizar alguna acción, la búsqueda de una
explicación, la predicción de un evento futuro, la evaluación de una situación determinada.
Los razonamientos que resultan de esta actividad se hacen explícitos, normalmente, a través
del lenguaje. El lenguaje y, muchas veces, otros sistemas de signos son los canales mediante
los que nos comunicamos los seres humanos en sociedad.
Las inferencias lógicas están vinculadas con el procesamiento y la organización de la
información: la inferencia puede caracterizarse como la obtención de información que estaba
implícita en la información explícita. Actualmente, el término información se usa con diferentes
sentidos. En lo que sigue se hará referencia siempre a información proposicional, es decir
información cuya representación tiene como unidades fundamentales a proposiciones o
enunciados. Un enunciado, a grandes rasgos, es una oración que describe un posible estado
de cosas, y de la cual se dice que es verdadera o falsa, según que el estado de cosas se dé o
no. Ejemplos de enunciados, formulados en castellano, son “Buenos Aires está a orillas del Río
de la Plata” y “Jorge Luis Borges es el autor de Don Quijote de la Mancha” (el primero
verdadero, el segundo falso).
Esta idea de lo que es un enunciado no está ligada a un tipo de signo en particular ni a una
lengua determinada. También deja de lado cuestiones gramaticales y lingüísticas, y cuáles son
las razones que hacen a un enunciado verdadero o falso. Lo que determina para que un signo
sea un enunciado es que tenga sentido adscribirle verdad o falsedad. Por lo tanto, se trata de
un concepto abstracto de enunciado. Verdad y falsedad se entienden como valores de una
función aplicada a signos. La información dada por enunciados es transmitida o representada a
través de sistemas de signos (los lenguajes en el caso más usual). Cuando la información es
aceptada (tomada como verdadera) y almacenada, queda a disposición para ser empleada en
razonamientos.
Ejercicios:

1) Clasifique los siguientes símbolos según su categorización:

Símbolos Categorizacion Detalle

x, z Descriptivo Variables de individuo

a, c Descriptivo Constante de individuo

q, p Descriptivo Variable proposicional

S, P Descriptivo Predicados

∃ Lógico Cuantificador existencial

∀ Lógico Cuantificador universal

→ Lógico Signo de implicación (“si”,

“entonces”)

¬ Lógico Signo de negación (“no”)

∧ Lógico Signo de conjunción (“y”)

∨ Lógico Signo de disyunción (“o”)

↔ Lógico Signo de equivalencia (“si y sólo si”)

2) Utilizando los símbolos del ejercicio anterior, elabore los conjuntos de símbolos que
componen el lenguaje de enunciados y LPO. Puede agregar más de ser necesario. Indique
cuál es su clasificación.

Ejemplo:
Lenguaje de enunciados Lenguaje de Predicados de Primer Orden (LPO)
Letras proposicionales: p Constantes de individuo: a
 Símbolos Categorización Enunciados LPO

x, z Variables de individuo x

a, c Constante de individuo x

q, p Variable proposicional x

S, P Predicados x

∃ (x) Cuantificador existencial x

∀ (x) Cuantificador universal x

→ Signo de implicación (“si”, x x

“entonces”)

¬ Signo de negación (“no”) x x

∧ Signo de conjunción (“y”) x x

∨ Signo de disyunción (“o”) x x

↔ Signo de equivalencia (“si y sólo si”) x x

3) Identifique las palabras que cumplen una función lógica en el argumento propuesto y
clasifique las palabras según su función.

Ninguna​ p
​ ersona​ experimentada es incompetente. L ​ arsen​ hace siempre desatinos. N
​ inguna​ ​persona
competente hace siempre desatinos. D ​ e aquí,​ L
​ arsen​ es una persona sin experiencia.

Palabra Funcion Logica Detalle

Ninguna ∀ Cuantificador Universal

De aquí → implicación

Persona x Variable de individuo

Larsen a Constante de individuo

4) Clasifique las siguientes expresiones en función a si se tratan de indicadores de premisas o

de conclusión.
 Expresión Indicador Expresión Indicador

De ahí que Conclusion Puede inferirse de Conclusión

En consecuencia Conclusión Como lo indica tal o cual Premisas

Puede derivarse de Premisas En vista del hecho de que Premisas

Como Premisas Luego Conclusión

Como lo muestra Premisas Como resultado Conclusión

Por esta razón Conclusión Consecuentemente Conclusión

Ya que Premisas Así que Conclusión

Se sigue de Premisas Puede deducirse de Premisas

Dado que Premisas Por consiguiente Conclusión

Por lo tanto Conclusión Se sigue que Conclusión

Concluyo que Conclusión Por la razón de que Premisas

Porque Premisas Lo que implica que Conclusión

La razón es que Premisas Por estas razones Conclusión

Puesto que Premisas

5) Construya fórmulas con:

a) Una disyunción y una conjunción.

​ ​Qx) ∨
(​Px ∧ ​ Rx
Por inciso 1: ​Si ​x​ es termino (variable de individuos) y​ P​ es letra de predicado monádico, entonces ​Px
es fórmula
Por inciso 1:​ Si ​x​ es termino (variable de individuos) y ​Q​ es letra de predicado monádico, entonces ​Qx
es fórmula
Por inciso 1: ​Si ​x​ es termino (variable de individuos) y ​R​ es letra de predicado monádico, entonces ​Rx
es fórmula
Por inciso 3: ​Si ​Px​ y ​Qx ​son formulas, entonces ​(Px ∧ Qx)​ tambien es formula
Por inciso 3: ​Si ​Rx​, ​Px​, ​Qx​ y ​(Px ∧ Qx) ​ son formulas, entonces ​((Px ∧ Qx) ∨ Rx)​ también son
fórmulas

b) Un condicional, un bicondicional y una negación.

​ ​Qx) →
(Px ↔ ​ ¬ Rx
Por inciso 1: ​Si ​x​ es termino (variable de individuos) y ​P​ es letra de predicado monádico, entonces ​Px
es fórmula
Por inciso 1:​ Si ​x​ es termino (variable de individuos) y ​Q​ es letra de predicado monádico, entonces ​Qx
es fórmula
Por inciso 1: ​Si​ x​ es termino (variable de individuos) y ​R​ es letra de predicado monádico, entonces​ Rx
es fórmula
Por inciso 2: ​Si ​Rx​ es formula, entonces ​¬ Rx e ​ s fórmula
Por inciso 3: ​Si ​Px​ y ​Qx ​son formulas, entonces​ (Px ↔ Qx) ​tambien son formulas
Por inciso 3: ​Si ​Rx​, ​Px​, ​Qx​, ​(Px ↔ Qx)​ y​ ¬ Rx​ son formulas, entonces ​((​ Px ​↔ Q
​ x) ​→ ¬ Rx)​ tambien
son fórmulas

c) Un condicional y un existencial.
​ ​Qx)
∃x ​(Px →
Por inciso 1: ​Si ​x ​es termino (variable de individuos) y ​P​ es letra de predicado monádico, entonces​ Px
es fórmula
Por inciso 1:​ Si​ x​ es termino (variable de individuos) y ​Q ​es letra de predicado monádico, entonces ​Qx
es fórmula
Por inciso 3: ​Si ​Px ​y ​Qx ​son formulas, entonces ​(Px → Qx) ​tambien es formula
​ ​ es variable de individuo, entonces​ ∃x (​ Px ​→
Por inciso 4: ​Si​ Px​, ​Qx​ y ​(Px → Qx) ​ son fórmulas y x
Qx)​ ​ también es formula

d) Todas las conectivas de L.

​ ​Qx) →
∃x ​(Px ↔ ​ ∀y ((Ry ∧ ​Sy) ​∨ Ty)
Por inciso 1: ​Si ​x​ es termino (variable de individuos) y ​P​ es letra de predicado monádico, entonces ​Px
es fórmula
Por inciso 1:​ Si ​x​ es termino (variable de individuos) y ​Q​ es letra de predicado monádico, entonces​ Qx
es fórmula
Por inciso 1: ​Si​ y​ es termino (variable de individuos) y​ R​ es letra de predicado monádico, entonces​ Ry
es fórmula
Por inciso 1: ​Si​ y​ es termino (variable de individuos) y ​S​ es letra de predicado monádico, entonces ​Sy
es fórmula
Por inciso 1: ​Si​ y​ es termino (variable de individuos) y ​T ​es letra de predicado monádico, entonces​ Ty​ es
fórmula
Por inciso 3: ​Si ​Px​ y ​Qx​ son formulas, entonces​ (Px ↔ Qx) ​tambien es formula
Por inciso 3: ​Si ​Ry​ y ​Sy ​son formulas, entonces​ (Ry ∧ Sy) ​tambien es formula
​ y) ​∨ Ty)​ tambien es formula
Por inciso 3: ​Si ​Ry​, ​Sy​, ​Ty​ y ​(Ry ∧ Sy) ​son formulas, entonces​ ((Ry ∧ S
Por inciso 4: ​Si ​Px​, ​Qx​ y ​(Px ↔ Qx) ​son fórmulas y ​x​ es variable de individuo, entonces ​∃x ​(Px ​↔
Qx)​ también es formula
Por inciso 4: ​Si ​Ry​, ​Sy​, ​Ty​,​ ((Ry ∧ ​Sy) ​∨ Ty)​ y ​(Ry ∧ Sy) ​ son fórmulas e ​y​ es variable de individuo,
entonces ​∀y ((Ry ∧ ​Sy) ​∨ Ty) ​ tambien es formula
Por inciso 3: ​Si ​Ry​, ​Sy​, ​Ty​, ​(Ry ∧ Sy)​, ​((Ry ∧ ​Sy) ​∨ Ty)​, ​(Px ​↔ ​Qx)​, ​∃x ​(Px ​↔ ​Qx)​ y ​∀y ((Ry ∧
Sy) ​∨ Ty) ​ son formulas, entonces​ ∃x ​(Px ​↔ ​Qx) ​→ ∀y ((Ry ∧ ​Sy) ​∨ Ty)​ tambien es formula

e) Tres paréntesis seguidos al final.

​ ​Qx)​))
∀x (Sx → (Rx ∨ (​Px ∧
Por inciso 1: ​Si​ x​ es termino (variable de individuos) y​ P​ es letra de predicado monádico, entonces ​Px
es fórmula
Por inciso 1:​ Si​ x​ es termino (variable de individuos) y ​Q​ es letra de predicado monádico, entonces ​Qx
es fórmula
Por inciso 1: ​Si ​x ​es termino (variable de individuos) y ​R​ es letra de predicado monádico, entonces ​Rx
es fórmula
Por inciso 1: ​Si​ x​ es termino (variable de individuos) y ​S​ es letra de predicado monádico, entonces ​Sx
es fórmula
Por inciso 3: ​Si ​Px​ y​ Qx​ son formulas, entonces ​(Px ∧ Qx)​ tambien es formula
Por inciso 3: ​Si ​Px​,​ Qx​, ​Rx​ y​ (Px ∧ Qx) s​ on formulas, entonces ​Rx ∨ (​Px ​∧ Q
​ x)​ tambien es formula
​ x ∨ (​Px ​∧ ​Qx)​ son formulas, entonces ​Sx → (Rx ∨ (​Px ​∧
Por inciso 3: ​Si​ Px​, ​Qx​, ​Rx,​ (​ Px ∧ Qx) ​y R
Qx)​) ​tambien es formula
Por inciso 4: ​Si ​Px​, ​Qx​, ​Rx​,​ (Px ∧ Qx)​, ​Rx ∨ (​Px ​∧ ​Qx)​ y ​Sx → (Rx ∨ (​Px ​∧ Q
​ x)​)​ son fórmulas y ​x
es variable de individuo, entonces ​∀x (Sx → (Rx ∨ (​Px ​∧ ​Qx)​))​ tambien es formula

f) Una constante de individuo y una variable.

∃x Pxa
Por inciso 1:​ Si ​x​ es termino (variable de individuos), ​a​ es termino (constante de individuos) y ​P​ es letra
de predicado biádico, entonces ​Pxa ​es fórmula
Por inciso 4: ​Si ​Pxa​ es fórmula, ​x ​es variable de individuo y ​a​ constante de individuo, entonces ​∃x Pxa
también es formula

g) Solo constantes de individuo.

Pab
Por inciso 1:​ Si ​b​ es termino (constante de individuos), ​a​ es término (constante de individuos) y​ P​ es
letra de predicado biádico, entonces ​Pab​ es fórmula

h) Solo variables de individuo.

∀x ∃y Pxy
Por inciso 1:​ Si ​x​ es termino (variable de individuos), ​y​ es termino (variable de individuos) y​ P​ es letra de
predicado biádico, entonces ​Pxy ​es fórmula
Por inciso 4: ​Si ​Pxy​ es fórmula, ​x​ es variable de individuo e​ y ​es variable de individuo, entonces ​∃y
Pxy ​ también es formula
Por inciso 4: ​Si ​Pxy​ es fórmula, ​x​ es variable de individuo, ​y​ es variable de individuo y ​∃y Pxy​ es
formula, entonces ​∀x ∃y Pxy​ también es formula