Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y...
Transcript of Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y...
![Page 1: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/1.jpg)
Lógica Proposicional
![Page 2: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/2.jpg)
•Proposiciones Simples
•Conectivos y proposiciones compuestas.
•Tablas de verdad
•Construcción de tablas de verdad para proposiciones compuestas
•Formas derivadas del condicional
•Simbolización
CONTENIDO
![Page 3: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/3.jpg)
•Es un enunciado al cual se le puede asociar el concepto de verdadero o falso, pero no ambos.
Ejemplos:
•La luna es cuadrada
•7 es un número primo
•Las arañas son mamíferos
¿Son proposiciones?•¿Qué hora es?
•Por favor, cierre la puerta
•Qué linda mañana!
•X + 2 = 8
•No son proposiciones, ya que no poseen valor de verdad
Proposición
![Page 4: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/4.jpg)
•Las proposiciones se denotan por letras minúsculas
•Ejemplo:
p: 2 es un número dígito
q: 8 es par.
Proposición
![Page 5: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/5.jpg)
Negación•Si p es una proposición,
entonces “no p” es la negación de p y se denota por:
~ p
Ejemplo:
p: Hoy es martes
~ p: Hoy no es martes
•¿Qué sucede con la negación de p, siendo p verdadero?
•¿Qué sucede con la negación de p, siendo p falso?
![Page 6: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/6.jpg)
Negación•Esto lo podemos
escribir de una manera “compacta”, utilizando una tabla
•A esta tabla se le llama “tabla de certeza de la negación”
p ~ p
V F
F V
Posibilidades para la proposición p
![Page 7: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/7.jpg)
NegaciónComo sinónimos de no, se utilizan las siguientes expresiones:
•No es cierto que ……..
•No es el caso que………
•Es falso que…………
•No sucede que…………….
![Page 8: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/8.jpg)
Proposiciones compuestas Conectivos
•Conocido el valor de verdad de ciertas proposiciones, la lógica establece el valor de verdad de otras relacionadas con éstas.
•A éstas últimas se les conoce como proposiciones compuestas
•La Proposición Compuesta esta formada por dos o más proposiciones simples, unidas estas por conectivos lógicos.
![Page 9: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/9.jpg)
•Conectivos lógicos:
•Y se simboliza: •O Se simboliza: V
•Si… entonces … Se simboliza:
•…sí y sólo si … se simboliza:
![Page 10: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/10.jpg)
Conjunción•Si p y q sonproposiciones, se llama conjunción de p y q a la proposición compuesta “p y q “ y se denota por:
p q
•Ejemplos:
p: Hoy es martes
q: La luna es cuadrada
r: mañana es miércoles
p q :Hoy es martes y la luna es cuadrada
p r :Hoy es martes y mañana es miércoles
![Page 11: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/11.jpg)
Conjunción• Para construir la tabla
de p q, debemosconsiderar las diferentesalternativas de valoresde verdad para p y para q:
• ¿Cuáles son ?• Ambas verdaderas
• una V y la otra F
• ambas falsas
p q p q
V V V
V F F
F V F
F F F
![Page 12: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/12.jpg)
ConjunciónSe toman como “sinónimos” de la conjunción:
•Además
•Pero
•Sin embargo
•Aunque
•También
•Aún
•A la vez
•No obstante
![Page 13: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/13.jpg)
Conjunción: p ^ q• Luís estudia ,además de trabajar• Luís estudió pero no aprobó• Luís canta, sin embargo no baila• Luís jugó futbol aunque estaba lesionado• Luís juega futbol , también José• Luís salió, aún no llega• Luís cocina a la vez que canta• Luís viajará no obstante esté sin visa• Luís canta , no baila.
![Page 14: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/14.jpg)
Conjunción: p ^ qNo siempre “y” denota una conjunción ………
Ejemplo:
•Silvia y Nelly son hermanas
Esta es una proposición (simple), en donde el “y” permite establecer la relación entre los sujetos.
![Page 15: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/15.jpg)
Disyunción•Si p y q son
proposiciones, se llama disyunción de p y q a la proposición compuesta “p o q” y se denota por:
p q
p q p q
V V V
V F V
F V V
F F F
![Page 16: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/16.jpg)
Disyunción
•Seré cantante o futbolista
• p: Seré cantante
• q: Seré futbolista
Simbolización:
p q
p q p q
V V V
V F V
F V V
F F F
![Page 17: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/17.jpg)
Condicional•Si p y q son
proposiciones, se llama condicional de p y q a la proposición compuesta “si p, entonces q” y se denota por:
p q
•Ejemplos:
•Si no llueve (entonces) iremos a la playa
•Si me gano la lotería (entonces) me voy de viaje
•Si no estudio (entonces) no aprobaré Lógica
![Page 18: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/18.jpg)
Condicional
p q p q
V V V
V F F
F V V
F F V
•Veamos la tabla del condicional:
p q
•Conviene pensar en una “promesa” ..... Si no llueve (entonces) iremos a la playa
![Page 19: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/19.jpg)
Condicional•El condicional es falso, sólo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la “promesa” no se cumple.
p q p q
V V V
V F F
F V V
F F V
![Page 20: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/20.jpg)
Condicional•El condicional es muy
importante en matemáticas, porque los Teoremas se expresan en forma condicional.
•Un Teorema será un condicional verdadero con hipótesis verdadera
p q p q
V V V
![Page 21: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/21.jpg)
CondicionalAlgunas expresiones del lenguaje que indican la presencia de un condicional (p → q), son las siguientes:• p es condición suficiente para q• Si p, q• q si p•Que p supone que q• Cuando p, q• q es condición necesaria para p• En caso de que p entonces q• q sólo si p
![Page 22: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/22.jpg)
Condicional y Teoremas• En los Teoremas, al antecedente del condicional (p) se le llama
Hipótesis y al consecuente (q) se le llama Tesis o Conclusión
• Los Teoremas requieren de una demostración; es decir, partiendo de una hipótesis verdadera, hay que demostrar que la Conclusión es verdadera.
![Page 23: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/23.jpg)
Bicondicional
p q p q
V V V
V F F
F V F
F F V
•Veamos la tabla del condicional:
p q
•Es verdadera cuando ambas proposiciones simples son verdaderas o son falsas.
![Page 24: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/24.jpg)
Tablas de verdad
• Recordemos que el valor de certeza de una proposición compuesta depende de los valores de certeza de las proposiciones simples que la componen
• Para analizar los valores de certeza de una proposición compuesta, representamos todas las posibilidades de valores de verdad de las proposiciones simples, en un arreglo de tabla
![Page 25: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/25.jpg)
Ejemplo con 2 proposiciones simples• Construyamos la tabla de verdad para la siguiente
proposición :(pq)(p~q)
• 4 filas de posibilidades
p q
V V
V F
F V
F F
pq p~q
V F
F V
F V
F V
~q
F
V
F
V
(pq)(p~q)
F
F
F
F
![Page 26: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/26.jpg)
Ejemplo con 3 proposiciones simples
• ¿Cuántas posibilidades tendremos?
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
![Page 27: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/27.jpg)
Ejemplo con 3 proposiciones simples
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
rp qp ~(qp)
V V F
V V F
V V F
V V F
V V F
F V F
V F V
F F V
(r p) ~(qp)
F
F
F
F
F
F
V
F
Hacer la tabla de certeza para: (rp) ~(qp)
![Page 28: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/28.jpg)
En resumen• Una tabla de verdad para proposiciones compuestas que
contienen:
• 1 proposición simple… tendrá 2 filas
• 2 proposiciones simples
• 3 proposiciones simples
• 4 proposiciones simples
……razonando inductivamente……..
• n proposiciones simples
4 = 22 filas8 = 23 filas16= 24 filas
2n filas
![Page 29: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/29.jpg)
Partes de un condicionalp q
antecedente
Condición suficiente
consecuente
Condiciónnecesaria
![Page 30: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/30.jpg)
Formas derivadas del condicional
•Dado el condicional directo: p q, el condicional ~ p ~q se llama contrario y lo expresaríamos: “ si no p, entonces no q”
•Directo: p q
Si repruebo el examen, entonces me enojaré bastante
• Contrario: ~ p ~q
Si no repruebo el examen, entonces no me enojaré bastante
![Page 31: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/31.jpg)
Formas derivadas del condicional
•Dado el condicional directo: p q, el condicional q p se llama recíproco y lo expresaríamos:
“ si q, entonces p”
•Directo: p q
Si repruebo el examen, entonces me enojaré bastante
• Recíproco: q p
Si me enojo bastante , entonces reprobaré el examen
![Page 32: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/32.jpg)
Formas derivadas del condicional
•Dado el condicional directo: p q, el condicional ~ q ~p se llama contrarrecíproco y lo expresaríamos: “ si no q, entonces no p”
•Directo: p q
Si repruebo el examen, entonces me enojaré bastante
•Contrarrecíproco: ~ q ~p
Si no me enojo bastante, entonces no repruebo el examen
![Page 33: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/33.jpg)
p q q p
~ p ~ q ~ q ~ p
Directo Recíproco
Contrario Contrarrecíproco
recíprocos contrarios
contrarrecíprocos
Formas derivadas
![Page 34: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/34.jpg)
Ejemplo
• Hallar las formas derivadas del siguiente condicional:
• Si un número es par, entonces es múltiplo de 4. ……………………………………. ¿V o F?
Falso (contraejemplo: 2)
Recíproco:
• Si un número es múltiplo de 4 entonces es par. …………………………………..¿V o F?
Verdadero!
![Page 35: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/35.jpg)
Ejemplo
• Directo: p qSi un número es par, entonces es múltiplo de 4.
Contrario: ~ p ~ q
• Si un número no es par, entonces no es múltiplo de 4
Verdadero!
![Page 36: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/36.jpg)
Ejemplo
• Directo: p qSi un número es par, entonces es múltiplo de 4.
Contrarrecíproco: ~ q ~ p
• Si un número no es múltiplo de 4, entonces no es par
• Falso….. 2 no es múltiplo de cuatro y es par (antecedente verdadero, consecuente falso)
![Page 37: Lógica Proposicional · Lógica Proposicional •Proposiciones Simples •Conectivos y proposiciones compuestas. •Tablas de verdad •Construcción de tablas de verdad para proposiciones](https://reader034.fdocuments.co/reader034/viewer/2022042709/5f55721a95c9b02e3317bf36/html5/thumbnails/37.jpg)
Ejercicios1. Escribir las formas derivadas para: a) (r ~q) p.
b)Si yo digo sí, ella dice no.
2. Construye una proposición verdadera que incluya un condicional, una conjunción, una disyunción y una negación (no necesariamente en ese orden), que conste de las componentes p, q y r con todas ellas falsas.