Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural
description
Transcript of Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural
![Page 1: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/1.jpg)
Tema 2. EL LENGUAJE DE LA
LÓGICA PROPOSICIONAL
b) La formalización del lenguaje natural
![Page 2: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/2.jpg)
Cómo formalizar el lenguaje natural en L0
• (i) Identificar los enunciados simples• (ii) Asignar a cada enunciado simple una
constante proposicional• (iii) Identificar las partículas lógicas:
negación, condicional, disyunción, etc• (iv) Reconstruir los enunciados complejos a
partir de los simples y las partículas lógicas
![Page 3: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/3.jpg)
Algunas formalizaciones sencillas
-Hume canta o Kant baila o Hegel da palmas
Hume canta p
Kant baila q
Hegel da palmas r
p q r
![Page 4: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/4.jpg)
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
![Page 5: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/5.jpg)
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)
![Page 6: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/6.jpg)
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
![Page 7: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/7.jpg)
Algunas formalizaciones sencillas
-Si Hume canta, Kant baila
Hume canta p
Kant baila q
Hegel da palmas r
p q
![Page 8: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/8.jpg)
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
![Page 9: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/9.jpg)
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)
![Page 10: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/10.jpg)
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
![Page 11: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/11.jpg)
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
![Page 12: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/12.jpg)
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)
![Page 13: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/13.jpg)
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)
![Page 14: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/14.jpg)
Cómo formalizar el lenguaje natural en L0
• (i) y (ii) Identificar enunciados y asignar constantesSólo formalizamos las oraciones declarativas, las que
afirman o niegan algo: Kant bailaHume no canta demasiado bienHegel cree que dar palmas es la principal tarea de un
filósofo que se precie de serlopero no
¿Bailaría Kant con Heidegger?¡Hume, arráncate por soleare!
![Page 15: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/15.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes Con frecuencia hay que considerar idénticas a
oraciones con distinto tiempo verbal: Kant baila Kant bailará Kant bailaría
Kant ama a Hume Hume es amado por Kant
![Page 16: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/16.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes
- Hay que completar aquello que está elíptico, PERO NO MÁS
Kant baila y silba Kant baila y Kant silbaPERO:Kant tiene un loro ≠ Kant tiene un ave
![Page 17: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/17.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes
- Hay que fijarse en qué palabras se refieren al mismo objeto, como los pronombres:
Hume nació en Escocia. Si él nació allí, no nació en Lanjarón.
Aquí sólo hay 2 proposiciones: p Hume nació en Escociaq Hume nació en Lanjarón
![Page 18: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/18.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes
- A veces hay que desechar ciertos elementos irrelevantes, como los adverbios:
1. Hegel discute acaloradamente. Si Hegel discute, le sube la tensión
Aquí sólo cuentan 2 proposiciones:
p Hegel discuteq a Hegel le sube la tensión
![Page 19: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/19.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantes- Pero contrástese con la siguiente:
2. Hegel discute. Si Hegel discute acaloradamente, le sube la tensión
Aquí podría ser razonable contar 3 proposiciones:
p Hegel discuteq Hegel discute acaloradamenter a Hegel le sube la tensión
![Page 20: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/20.jpg)
Cómo formalizar el lenguaje natural en L0
1. Hegel discute acaloradamente. Si Hegel discute, le sube la tensión
2. Hegel discute. Si Hegel discute acaloradamente, le sube la tensión
La razón es que del argumento 1 parece seguirse que a Hegel le sube la tensión, mientras que del argumento 2 no parece seguirse.
En general no tomaremos en cuenta detalles de este tipo
![Page 21: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/21.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantesOtros casos problemáticos:
- Hume es inocente. Si no es culpable, debe ser absuelto¿Cuántas proposiciones hay aquí?
Presumiblemente, sólo 2:p Hume es inocenteq Hume debe ser absueltoHume es inocente Hume no es culpable
En general asumimos que inocente es lo contrario de culpable
![Page 22: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/22.jpg)
Cómo formalizar el lenguaje natural en L0
(i) y (ii) Identificar enunciados y asignar constantesPero hay que tener cuidado:
- Hume es escocés. Si no es británico, le gusta la rumba
¿Cuántas proposiciones hay aquí?
En este caso hay 3:p Hume es escocésq Hume es británicor a Hume le gusta la rumbaHume es escocés ≠ Hume no es británico
![Page 23: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/23.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicas• Las cinco partículas NO, Y, O, SI, SI Y SÓLO
SI son las más evidentes.• Pero hay expresiones del lenguaje natural que
cumplen la misma función lógica, aunque no tengan la misma función pragmática.
• Cuando una expresión tenga la misma función lógica que una de esas 5 partículas, la formalizamos usando la misma conectiva.
![Page 24: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/24.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasExpresiones equivalentes a Y
Peano habla Y Quine duermePeano habla, PERO Quine duermePeano habla AUNQUE Quine duermePeano habla, SIN EMBARGO, Quine duermePeano habla, Quine duermeA PESAR DE QUE Peano habla, Quine duerme
p q
![Page 25: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/25.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasExpresiones equivalentes a O
Peano habla O Quine duermePeano habla, A MENOS QUE Quine duerma
p q
![Page 26: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/26.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasExpresiones equivalentes a NO
Peano NO hablaNO ES EL CASO QUE Peano hableNO OCURRE QUE Peano hableNO ES CIERTO QUE Peano habla
¬p
![Page 27: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/27.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasExpresiones equivalentes a SI…(ENTONCES)
SI Peano habla, (ENTONCES) Quine duermeCUANDO Peano habla, Quine duermeQue Peano hable ES SUFICIENTE PARA que Quine duermaQue Peano hable IMPLICA QUE Quine duermaSIEMPRE QUE Peano habla, Quine duermeQuine duerme, SI Peano hablaQuine duerme EN CASO DE QUE Peano hableQuine duerme SUPUESTO QUE Peano hable
p q
![Page 28: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/28.jpg)
Cómo formalizar el lenguaje natural en L0
NECESARIO / SUFICIENTECompara 2 universidades:
U1: Es suficiente sacar un 9 para tener Matrícula
U2: Es necesario sacar un 9 para tener MatrículaSi sueles sacar 9 y te interesa tener Matrículas,
¿qué universidad te lo pone más fácil?
¡La U1! SI sacas un 9, tienes Matrícula. En la U2 sacar 9 no implica tener Matrícula.
En la U2 ocurre que SI NO sacas 9, NO tienes MH. Por tanto, SI tienes MH, es que tienes un 9
![Page 29: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/29.jpg)
Cómo formalizar el lenguaje natural en L0
Por tanto, si nos encontramos: es suficiente para ß
es necesario para ß
ß
ß
¬ ¬ß
![Page 30: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/30.jpg)
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (i): SÓLO SI1. Me mareo si voy en coche2. 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.
![Page 31: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/31.jpg)
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (i): SÓLO SI1. Me mareo si voy en coche2. 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)
![Page 32: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/32.jpg)
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?
• Intento #1: desechamos el imperativo
levantar el mundo p
formalización: p
Pero ¿se limita Arquímedes a afirmar que va a levantar el mundo?
![Page 33: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/33.jpg)
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?
• Intento #2: interpretamos la ‘y’ como conyuntor
dar un punto de apoyo p levantar el mundo q
formalización: p qPero ¿afirma entonces Arquímedes que le damos un
punto de apoyo?
![Page 34: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/34.jpg)
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?
• Intento #3: sospechamos que no todo es lo que parece
Arquímedes está estableciendo una condición: SI le damos un punto de apoyo, él levanta el mundo
dar un punto de apoyo p levantar el mundo q
formalización correcta: p q !!
![Page 35: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/35.jpg)
Cómo formalizar el lenguaje natural en L0
• Caso peculiar (iii): IMPERATIVO + o
1. “Dame un vaso de agua o me muero”2. “Dame un vaso de agua o una gaseosa”
¿tienen la misma 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
![Page 36: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/36.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasExpresiones equivalentes a SI Y SÓLO SI
Peano habla SI Y SÓLO SI Quine duermePeano habla CUANDO Y SÓLO CUANDO Quine duermeQue Peano hable EQUIVALE A que Quine duermaQue Peano hable ES NECESARIO Y SUFICIENTE PARA
que Quine duermaPeano habla, EN EL CASO, Y SÓLO EN EL CASO, DE
QUE Quine duerma
p q
![Page 37: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/37.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasFormalizaciones equivalentes:
1. Iré al cine o al teatro
2. Iré al cine a menos que vaya al teatro
p q
Hemos visto que estas dos expresiones se formalizan igual
![Page 38: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/38.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasFormalizaciones equivalentes:
2. Iré al cine a menos que vaya al teatro
3. Si no voy al teatro, voy al cine
¬q p
Pero cabe pensar que 2 viene a decir lo mismo que 3
![Page 39: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/39.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasFormalizaciones equivalentes:
2. Iré al cine a menos que vaya al teatro
4. Si no voy al cine, voy al teatro
¬p q
Y también puede parecernos que 2 viene a decir lo mismo que 4
![Page 40: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/40.jpg)
Cómo formalizar el lenguaje natural en L0
(iii) Identificar las partículas lógicasFormalizaciones equivalentes:
1. Iré al cine o al teatro
2. Iré al cine a menos que vaya al teatro
3. Si no voy al teatro, voy al cine
4. Si no voy al cine, voy al teatro
p q
¬q p
¬p q
Veremos que en el fondo todas son lógicamente equivalentes
![Page 41: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/41.jpg)
Cómo formalizar el lenguaje natural en L0
Otras expresiones:NI NI ß es lo mismo que NO Y NO ß“Ni tomo leche ni tomo harina”p tomar leche q tomar harina
¬p ¬q“No tomo leche y harina”
La idea es que no los tomo conjuntamente
¬(p q)OJO! ¬p ¬q NO EQUIVALE a ¬(p q)
![Page 42: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/42.jpg)
Cómo formalizar el lenguaje natural en L0
(iv) Reconstruir los enunciados complejos- Lo fundamental en los casos que plantean “dudas
razonables” es aplicar el sentido común y mantener un CRITERIO HOMOGÉNEO.
- Hay que tener mucho cuidado en no añadir nada que no venga realmente dado en la oración
- La lógica proposicional no permite muchas florituras: lo fundamental es mantener la forma lógica con las conectivas y evitar ambigüedades
- La formalización tiene un poco de arte y, como tal, requiere práctica.
![Page 43: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/43.jpg)
Ejercicios de formalización en L0
• Cuando el ventero está en la puerta, el diablo está en la venta, pero cuando no está en la puerta, el diablo sigue estando en la venta
p el ventero está en la puerta
q el diablo está en la venta
(p q) (¬p q)
![Page 44: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/44.jpg)
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
![Page 45: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/45.jpg)
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
(s u) [(t u) (r p)] [r ¬(q p)] [t (r p)]
(s u) ; (t u) (r p) ; r ¬(q p) ; t (r p)
Obsérvese que podemos sustituir los ; por conyuntores y obtener así una sola fórmula compleja:
![Page 46: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/46.jpg)
Ejercicios de formalización en L0
• Si es un cuadrado pequeño, es rojo; ni es un cuadrado grande ni es un cuadrado rojo; es un triángulo sólo si es rojo
p es pequeña q es cuadrada r es roja
s es grande t es triangular u es azul
[(q p) r] [¬(q s) ¬(q r)] (t r)
![Page 47: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/47.jpg)
Ejercicios de formalización en L0
• No es un cuadrado grande; no es un triángulo azul; es roja si y sólo si es pequeña
p es pequeña q es cuadrada r es roja
s es grande t es triangular u es azul
¬(q s) ¬(t u) (r p)
![Page 48: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/48.jpg)
Ejercicios de formalización en L0
• Si es un cuadrado o es roja, es grande; es grande si y sólo si es azul; sólo es un cuadrado si es roja
p es pequeña q es cuadrada r es roja
s es grande t es triangular u es azul
[(q r) s] (s u) (q r)
![Page 49: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/49.jpg)
Ejercicios de formalización en L0
• Aprobaré lógica, si Dios quiere. Aprobaré lógica si y sólo si estudio y hago todos los ejercicios. Sin embargo, no he hecho los ejercicios. Por tanto, Dios no quiere que apruebe lógica.
p apruebo lógica q D quiere que apruebe
r estudio s hago los ejercicios
(q p) [p (r s)] s
¬q
¿hay algún modo de marcar la diferencia de ese ‘por tanto’?
SÍ: es la conclusión de un argumento. Vamos a marcarla con el
símbolo
![Page 50: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/50.jpg)
Ejercicios de formalización en L0
Si la señora White lo hizo, lo hizo con la llave inglesa o con la cuerda. Pero lo hizo con la cuerda si y sólo si el asesinato se cometió en el vestíbulo. El asesinato se cometió en la cocina. Por lo tanto, si la señora White lo hizo, lo hizo con la llave inglesa.
p W lo hizo q W lo hizo con llave r W lo hizo con cuerda s asesinato en vestíbulo t asesinato en cocina
[p (q r)] (r s) t (p q)
![Page 51: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/51.jpg)
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 humanos son libres q humanos ligados a esencia
r D crea humanos
(p ¬q) (r q) p ¬r
![Page 52: Tema 2. EL LENGUAJE DE LA LÓGICA PROPOSICIONAL b) La formalización del lenguaje natural](https://reader035.fdocuments.mx/reader035/viewer/2022062408/56813afd550346895da39039/html5/thumbnails/52.jpg)
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
(¬p q) (¬q r) ( ¬r s)
(p s)
(¬q ¬p) (¬r ¬q) (¬s ¬r)
(p s)
(p q) (q r) (r s)
(p s)