Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
EL LENGUAJE DE LA
LÓGICA
PROPOSICIONAL
b) La formalización del lenguaje natural
Cómo formalizar el lenguaje natural en L0
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p ∨q ∨r
Algunas formalizaciones sencillas
-Hume canta y Kant baila y Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p ∧q ∧r
Algunas formalizaciones sencillas
-Hume canta, o Kant baila y Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p ∨ (q ∧ r)
Algunas formalizaciones sencillas
-Hume canta o Kant baila, y Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
(p ∨ q) ∧ r
Algunas formalizaciones sencillas
-Si Hume canta, Kant baila
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p →q
Algunas formalizaciones sencillas
-Si Hume canta y Kant baila, Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
(p ∧ q) → r
Algunas formalizaciones sencillas
-Hume canta, y, si Kant baila, Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p ∧ (q → r)
Algunas formalizaciones sencillas
-Hume canta si y sólo si Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p↔r
Algunas formalizaciones sencillas
-Hume no canta si y sólo si Hegel no da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
¬p ↔ ¬r
Algunas formalizaciones sencillas
- Si Hume canta, entonces Kant baila si Hegel no da
palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p → (¬r → q)
Algunas formalizaciones sencillas
- Hume canta, si y sólo si Kant no baila si Hegel da palmas
Hume canta ≡ p
Kant baila ≡ q
Hegel da palmas ≡ r
p ↔ (r → ¬q)
Cómo formalizar el lenguaje natural en L0
• (i) y (ii) Identificar enunciados y asignar constantes
Sólo formalizamos las oraciones declarativas, las que
afirman o niegan algo:
Kant baila
Hume no canta demasiado bien
Hegel cree que dar palmas es la principal tarea de un
filósofo que se precie de serlo
pero no
¿Bailaría Kant con Heidegger?
¡Hume, arráncate por soleare!
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes
Presumiblemente, sólo 2:
p ≡ Hume es inocente
q ≡ Hume debe ser absuelto
Hume es inocente ≡ Hume no es culpable
p ∧q
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas
Expresiones equivalentes a O
p ∨q
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas
Expresiones equivalentes a NO
Peano NO habla
NO ES EL CASO QUE Peano hable
NO OCURRE QUE Peano hable
NO ES CIERTO QUE Peano habla
¬p
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas
Expresiones equivalentes a SI…(ENTONCES)
SI Peano habla, (ENTONCES) Quine duerme
CUANDO Peano habla, Quine duerme
Que Peano hable ES SUFICIENTE PARA que Quine duerma
Que Peano hable IMPLICA QUE Quine duerma
SIEMPRE QUE Peano habla, Quine duerme
Quine duerme, SI Peano habla
Quine duerme EN CASO DE QUE Peano hable
Quine duerme SUPUESTO QUE Peano hable
p →q
Cómo formalizar el lenguaje natural en L0
NECESARIO / SUFICIENTE
Compara 2 universidades:
U1: Es suficiente sacar un 9 para tener Matrícula
U2: Es necesario sacar un 9 para tener Matrícula
Si sueles sacar 9 y te interesa tener Matrículas,
¿qué universidad te lo pone más fácil?
α es necesario para ß
ß →α
¬α → ¬ß
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (i): SÓLO SI
1. Me mareo si voy en coche
2. Me mareo sólo si voy en coche
¿dicen lo mismo 1 y 2?
3. Me mareo si voy en bus
la oración 3 ¿contradice a 1, a 2, a ambas, a ninguna?
Contradice a 2, pero no a 1.
1 y 3 son compatibles (o consistentes): las dos pueden ser
verdaderas a la vez.
Pero 2 y 3 son incompatibles (o contradictorias): las dos
no pueden ser verdaderas a la vez.
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (i): SÓLO SI
1. Me mareo si voy en coche
2. Me mareo sólo si voy en coche
¿dicen lo mismo 1 y 2?
1 y 2 no dicen lo mismo:
En 1, que vaya en coche es condición suficiente para que me
maree (pero puedo marearme por más razones)
me mareo ≡ p voy en coche ≡ q (1) ≡ (q → p)
En 2 que vaya en coche es condición necesaria para que me
maree (si no voy en coche no me mareo)
me mareo ≡ p voy en coche ≡ q (2) ≡ (p → q)
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (ii): IMPERATIVO + y
“Dadme un punto de apoyo y levantaré el mundo”
¿cuál es su forma lógica?
• NO.
(1) establece una condición que, caso de no cumplirse,
acarrea una consecuencia: “si no me das un vaso de
agua, me muero”: ¬p → q
(2) es una disyunción de dos imperativos, y no se puede
formalizar
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas
Expresiones equivalentes a SI Y SÓLO SI
Peano habla SI Y SÓLO SI Quine duerme
Peano habla CUANDO Y SÓLO CUANDO Quine duerme
Que Peano hable EQUIVALE A que Quine duerma
Que Peano hable ES NECESARIO Y SUFICIENTE PARA
que Quine duerma
Peano habla, EN EL CASO, Y SÓLO EN EL CASO, DE
QUE Quine duerma
p↔q
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas
Formalizaciones equivalentes:
¬p → q
4. Si no voy al cine, voy al teatro
(p → q) ∧(¬p → q)
Ejercicios de formalización en L0
• Supongamos que una figura sólo puede ser cuadrada o
triangular, pequeña o grande, y roja o azul.
Interpretemos las expresiones del tipo ‘X es un
cuadrado azul’ como ‘X es un cuadrado’ y ‘X es azul’.
p ≡ es pequeña q ≡ es cuadrada
r ≡ es roja s ≡ es grande
t ≡ es triangular u ≡ es azul
Ejercicios de formalización en L0
• Si es grande, también es azul; es un triángulo azul o es
roja y pequeña; si es roja, no es un cuadrado pequeño;
si es triángulo, es rojo y pequeño.
p ≡ es pequeña q ≡ es cuadrada r ≡ es roja
s ≡ es grande t ≡ es triangular u ≡ es azul
[p → (q ∨r)] ∧(r ↔ s) ∧t
∴ (p → q)
Ejercicios de formalización en L0
Una condición necesaria para que la humanidad sea libre
es que los seres humanos no estén ligados a una
esencia. Si Dios creó a los humanos, entonces estamos
ligados a una esencia. Claramente, los humanos
somos libres. Por tanto, Dios no creó a los humanos.
(p → ¬q) ∧(r → q) ∧p
∴ ¬r
Ejercicios de formalización en L0
No hay vida en Marte a menos que haya
oxígeno allí, y no hay oxígeno allí a menos
que haya allí alguna planta, y no hay plantas
allí a menos que haya agua. Por tanto, si hay
vida en Marte, allí hay agua.
p ≡ hay vida en M q ≡ hay O2 en M r ≡ hay plantas en M
s ≡ hay agua en M
(¬q → ¬p) ∧(¬r → ¬q) ∧(¬s → ¬r)
∴ (p → s)
(¬p ∨q) ∧(¬q ∨r) ∧( ¬r ∨s)
∴ (p → s) (p → q) ∧(q → r) ∧(r → s)
∴ (p → s)