LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las...
-
Upload
benita-alcon -
Category
Documents
-
view
271 -
download
0
Transcript of LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las...
![Page 2: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/2.jpg)
LÓGICA PROPOSICIONAL
La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos que tienen la propiedad de ser verdaderos o falsos ; pero no ambas al mismo tiempo
![Page 3: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/3.jpg)
Proposición Lógica
Enunciado que puede ser verdadero o falso, pero no ambos.
•El Sol es fuente de energía V•Alejandro Toledo fue Presidente de Perú. V•Alfonso Ugarte es un héroe chileno F•3 - 4 = 7 F•Yurimaguas es una provincia del Perú V
![Page 4: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/4.jpg)
Los conectivos lógicos se utilizan para combinar proposiciones y obtener nuevas proposiciones.
Proposiciones
Simples o Atómicas•El Misti queda en Arequipa
Compuestas•El Misti queda en
Arequipa y Machupicchu en Cuzco
![Page 5: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/5.jpg)
Formalización Lógica
Letras P, q, r, s
Conectores v, ^, ,
Signos de agrupación
( ), [ ], { }
![Page 6: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/6.jpg)
Letras
•El Misti queda en Arequipa y Machupicchu en Cuzco.
El Misti queda en Arequipa = pMachupicchu en Cuzco = q
![Page 7: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/7.jpg)
Principales Conectivos Lógicos
NegaciónConjunciónDisyunciónCondicionalBicondicional
![Page 8: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/8.jpg)
Expresión en ellenguaje natural
Ejemplo Símbolo
no No está lloviendo. ~p
Y , ni, pero, que Está lloviendo y está nublado.
^
o Está lloviendo o está soleado.
v
si... Entonces, …luego..
Si está soleado,
entonces es de día.
si y sólo si Está nublado si y sólo si hay nubes visibles.
ni... niNi está soleado ni está nublado.
↓
o bien... o bienO bien está soleado, o bien está nublado.
≠
![Page 9: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/9.jpg)
Si llegas después de las ocho y media, entonces encontrrás la puerta cerrada y no podrás entrar al teatro.
Representación: p (q^r)
Ejemplo
![Page 10: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/10.jpg)
A practicar!!!!!!
![Page 11: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/11.jpg)
Negación Dada una proposición p, se llama negación de p a la proposición “no p”
que se representa por p
• Ejemplo :
Si p : “el hombre es mortal”
Entonces:
p: “no es cierto que el hombre es mortal”; lo que equivale a decir :
p : “el hombre no es mortal”
p
p
V F
F V
TABLA DE VERDAD
“Si p es verdadera p es falsa; si p es falsa , p es verdadera”
![Page 12: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/12.jpg)
Conjunción Dadas las proposiciones p y q , se llama conjunción de
p y q a la proposición “p y q” representada por p q
• Ejemplo :
Si p : “2 es mayor que 5”
y
q : “todo número impar es primo”
Entonces:
p q : “2 es mayor que 5 y todo número impar es primo”
p q p q
V V V F F V F F
V F F F
TABLA DE VERDAD
“p q es verdadera si p y q son verdaderas simultáneamente”
![Page 13: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/13.jpg)
DisyunciónDadas las proposiciones p y q , se llama disyunción d p y q a la
proposición “p o q” que se representa por p q.
• Ejemplo :
Si p : “hace frio en invierno”
y q : “Napoleón invadió Rusia”
Entonces :
p q : “Hace frio en invierno o Napoleón invadió Rusia”
p q p q
V V V F F V F F
V V V F
TABLA DE VERDAD
“p q es verdadera si p es verdadera o q es verdadera”
![Page 14: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/14.jpg)
Condicional Se llama condicional de p y q a la proposición “si p entonces q” y se representa por “p q “ , p se llama antecedente y q consecuente del
condicional p q
• Ejemplo:
Si p : “2 es número primo”
y q : “5 es menor que 4”
Entonces:
p q: “si 2 es número primo entonces 5 es menor que 4”
TABLA DE VERDAD
p q es verdadera si p es falsa o q es verdadera “
p q pq
V V V F F V F F
V F V V
![Page 15: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/15.jpg)
Si P entonces Q
P implica Q
P es suficiente para Q
P sólo si Q
Q si P
Q siempre que P
Q es necesario para P
QP
Condicional o ImplicaciónSe lee:
![Page 16: LÓGICA PROPOSICIONAL La lógica proposicional o también llamada lógica matemática estudia las proposiciones, entendiendo como tales a los enunciados declarativos.](https://reader035.fdocumento.com/reader035/viewer/2022081418/5665b43f1a28abb57c905e4e/html5/thumbnails/16.jpg)
Bicondicional Se llama bicondicional de dos proposiciones p y q a la proposición “p si y sólo si q” representada por “p q”
• Ejemplo :
p : “ Juan ingresa a la universidad”
q : “Juan estudia mucho”
Entonces:
p q : “Juan ingresa a la universidad si y sólo si estudia mucho”
TABLA DE VERDAD
“pq es verdadera si p y q son ambas verdaderas o ambas falsas”
p q pq
V V V F F V F F
V F F V