Lógica proposicional
-
Upload
angel-alvarez -
Category
Education
-
view
207 -
download
2
Transcript of Lógica proposicional
![Page 1: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/1.jpg)
LÓGICA PROPOSICIONAL
FORMALIZACIÓN DEL LENGUAJE NATURAL
RESOLUCIÓN DE TABLAS DE VERDAD
![Page 2: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/2.jpg)
LÓGICA PROPOSICIONAL
• Proposiciones: “Marta C. es feliz”• Conectores o juntores:
– Negador: “Marta no es feliz”– Implicador “Si Marta es feliz, entonces Rebeca se ríe”– Conjuntor “Marta es feliz y Rebeca se ríe”– Disyuntor “Marta es feliz o Rebeca se ríe”Otros:Coimplicador, disyuntor exclusivo.
![Page 3: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/3.jpg)
PARTIMOS DEL EJEMPLO…
En el caso que Lola estudie mucho, entonces aprobará el examen; solo en el caso que lo apruebe, su compañera Bea se pondrá contenta. Bea sin embargo no está contenta, y por lo tanto sabemos que Lola no ha aprobado
![Page 4: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/4.jpg)
1. FORMALIZAMOS LAS PROPOSICIONES….
En el caso que Lola estudie mucho (P), entonces aprobará el examen (q); solo en el caso que lo apruebe (q), su compañera Bea se pondrá contenta (r). Bea sin embargo no está contenta, y por lo tanto sabemos que Lola no ha aprobado
![Page 5: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/5.jpg)
2. IDENTIFICAMOS LOS JUNTORES
.En el caso que Lola estudie mucho (P) entonces aprobará el examen (q); solo en el caso que lo apruebe (q), su compañera Bea se pondrá contenta (r). Bea sin embargo no está contenta(no-r), y por lo tanto sabemos que Lola no ha aprobado (no-q)
![Page 6: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/6.jpg)
.En el caso que Lola estudie mucho (P), entonces aprobará el examen (q); solo en el caso que lo apruebe (q), su compañera Bea se pondrá contenta (r). Bea sin embargo no está contenta(no-r), y por lo tanto sabemos que Lola no ha aprobado (no-q)
![Page 7: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/7.jpg)
.En el caso que Lola estudie mucho (P), entonces aprobará el examen (q); solo en el caso que lo apruebe (q), su compañera Bea se pondrá contenta (r). Bea sin embargo no está contenta(no-r), y por lo tanto sabemos que Lola no ha aprobado (no-q)
![Page 8: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/8.jpg)
• Ana dinamita está nerviosa. Si no aprovecha el tiempo, no puede ir a judo por la tarde y tampoco puede quedarse estudiando. Pero Ana va aprovecharlo y por lo tanto decide ir a judo y estudiar después. Como Ana ha ido a judo entonces ya no está nerviosa.
![Page 9: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/9.jpg)
• Ana dinamita está nerviosa (p). Si no aprovecha el tiempo (q), no puede ir a judo por la tarde (r) y tampoco puede quedarse estudiando (s). Pero Ana va aprovecharlo (q) y por lo tanto decide ir a judo (r) y estudiar después (s). Como Ana ha ido a judo (r) entonces ya no está nerviosa (p).
• P ^(noq no r ^no s) ^ q (r ^s) ^r nop
![Page 10: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/10.jpg)
• Jaione tendrá que ir al examen de filosofía o fingirse enferma. Si va al examen copiará o la suspenderán. Si se finge enferma la suspenderán. Pero ha decidido que no copiará ni se fingirá enferma. Luego suspenderá.
![Page 11: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/11.jpg)
TABLA DE VERDAD
p q r
V V VV V FV F VV F FF V VF V FF F V F F F
Las tablas de verdad nos permiten reconocerSi un razonamiento está bien formulado (es Universal y tautológico) o no.
En primer lugar, tenemos que saber todos los Posibles valores de verdad de un conjunto de Proposiciones.
Vamos a imaginar que tenemos tres: p, q y r.El número total de combinaciones será el cuadradoDe la cantidad de proposiciones: ocho en total.
![Page 12: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/12.jpg)
TABLA DE VERDAD
p q r
V V VV V FV F VV F FF V VF V FF F V F F F
Las tablas de verdad nos permiten reconocerSi un razonamiento está bien formulado (es Universal y tautológico) o no.
En segundo lugar, conviene seguir un método para colocarlas todas sin repeticiones. En la primera línea ponemos la mitad con valores de verdad (cuatro de ocho), en la segunda la mitad de la mitad (dos de cuatro) Y por último, en la última proposición alternamos V y F.
![Page 13: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/13.jpg)
• CONJUNTOR: “Celia es pianista (p) y Natalia cantante (q)”: p ^ q
Todos los valoresson falsos exceptocuando ambos sonverdaderos.
![Page 14: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/14.jpg)
• DISYUNTOR: “Celia es pianista (p) o Natalia cantante (q)”: p V q
Todos los valoresson verdaderos exceptocuando ambos sonfalsos.
![Page 15: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/15.jpg)
IMPLICADOR: p q
Si Celia es pianista (p), entonces Natalia es cantante (q)
Los valores son siempre verdaderos excepto cuando de una verdadera pasamos a otra falsa.
![Page 16: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/16.jpg)
EJERCICIO (explicao pa’tontos)• “Si la demanda aumenta por encima de la
oferta, eso implicará que habrá una tendencia inflacionista. Hay inflación. Luego esto implica que la demanda de un bien está muy por encima de las posibilidades de la oferta.”
Esta es una falacia conocida como ignorancia del consecuente. ¿Cómo demostrar
matemáticamente esta falacia?
![Page 17: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/17.jpg)
EJERCICIO
• Empezamos identificando proposiciones: “Si la demanda aumenta por encima de la oferta
(p), eso implicará que habrá una tendencia inflacionista (q). Hay inflación (q). Luego esto implica que la demanda de un bien está muy por encima de las posibilidades de la oferta (p).”
(el lenguaje natural es más complejo que el formal, no esperemos que se repitan todas las palabras)
![Page 18: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/18.jpg)
EJERCICIO
• A continuación, los juntores: “Si la demanda aumenta por encima de la
oferta (p), eso implicará que habrá una tendencia inflacionista (q) . Hay inflación (q) . Luego esto implica que la demanda de un bien está muy por encima de las posibilidades de la oferta (p).”
(Tenemos conjuntores e implicadores)
![Page 19: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/19.jpg)
EJERCICIO • Formalizamos: “Si la demanda aumenta por encima de la
oferta (p), eso implicará que habrá una tendencia inflacionista (q) . Hay inflación (q) . Luego esto implica que la demanda de un bien está muy por encima de las posibilidades de la oferta (p).”
[ (p q) ^ q ] p
![Page 20: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/20.jpg)
EJERCICIOHacemos la tabla de verdad:
[ (p q) ^ q ] pPrimero ponemos Todos los valores de verdad.
Como son dos valores,Lo elevamos al cuadradoY nos sale cuatro.
![Page 21: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/21.jpg)
EJERCICIOHacemos la tabla de verdad:
[ (p q) ^ q ] p
Seguimos el orden de losCorchetes y paréntesis.Hacemos el primerJuntor entre paréntesis:el implicador.
![Page 22: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/22.jpg)
EJERCICIOHacemos la tabla de verdad:
[ (p q) ^ q ] p
Hacemos la Segunda operación:La conjunción
Trabajamos con la columna de la implicación y los valores de q
![Page 23: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/23.jpg)
EJERCICIOHacemos la tabla de verdad:
[ (p q) ^ q ] p
Hacemos ya la ultima implicaciónQue resuelve la Tabla de verdad.
Comparamos la última columna que hemos hecho con los valores de p¡CUIDADOOO! En la implicación es MUY IMPORTANTE EL ORDEN!
![Page 24: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/24.jpg)
EJERCICIOHacemos la tabla de verdad:
[ (p q) ^ q ] p
No todos los valores son Verdaderos. Esto quiere Decir que no es universalY es solo una probabilidad.
Cuando todos los valores son verdaderos,es una tautología. Aquí hemos demostrado que este pensamientoQue pasa por ser universal, es en el fondo una FALACIA
![Page 25: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/25.jpg)
Ahora vamos a comprobar los valores de verdad de una regla aritmética básica: la propiedad distributiva
A(B+C) = (AB)(BC)
Un ejemplo podría ser:2(4+3) = (2*4)+(2*3)
Si esta regla es verdad, debería ser universal, una tautología.
![Page 26: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/26.jpg)
Una variante de la regla podría ser:
Pv(q^ no-r) (pvq) ^ (p v no-r)
Hacemos en primer lugar todos los valoresDe verdad de p, q y r. Son ocho líneas en total(dos valores V y F, elevado al número de proposiciones).
A continuación hacemos la negación de r (negar todos los valores originales de r)
![Page 27: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/27.jpg)
Siguiendo el orden del paréntesis,Hacemos primero la conjunción(solo son verdaderos cuando ambas son VV)
Luego hacemos la disyunción(todos verdad excepto FF)
![Page 28: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/28.jpg)
A continuación,Pasamos a la otraParte de la implicación yHacemos primero las Disyunciones de los Paréntesis…
p v (q ^ no-r) (p v q) ^ (p v no-r)
![Page 29: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/29.jpg)
A continuación,Pasamos a la otraParte de la implicación yHacemos primero las Disyunciones de los Paréntesis…
p v (q ^ no-r) (p v q) ^ (p v no-r)
![Page 30: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/30.jpg)
Hacemos la última conjunción que nosPide el enunciado… y ya estamosListos para el último paso.
p v (q ^ no-r) (p v q) ^ (p v no-r)
![Page 31: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/31.jpg)
Hacemos ya la última implicación, que esLa conclusión del ejercicio. RecordadQue la implicación siempre es la última enhacerse y cuidad el orden...
![Page 32: Lógica proposicional](https://reader031.fdocuments.mx/reader031/viewer/2022020307/55c3ef28bb61eb34268b4729/html5/thumbnails/32.jpg)
TAUTOLOGÍA!!!