LAS LEYES DE LA LOGICA PROPORCIONAL
Mauricio DávalosTrabajo14 de Junio de 2017
637 Palabras (3 Páginas)403 Visitas
LOGICA PROPORCIONAL
- En la lógica estudia la formación de proposiciones simples.
- Una lógica proporcional es un sistema formal cuyos elementos más simples representan proposiciones.
LEYES DE LA LOGICA PROPORCIONAL
Las conectivas lógicas ocupan a la lógica proporcional, incluyen su uso en el lenguaje natural y los símbolos para representarlos.
CONECTIVA | EXPRESION EN LENGUAJE NATURAL | SIMBOLO | EJEMPLO |
Conjunción | y | ∧ | Está lloviendo y está nublado. |
Disyunción | o | ∨ | Está lloviendo o está soleado. |
Condicional | Si…entonces | → | Si esta soleado entonces es de día. |
Bicondicional | Si y solo si | ↔ | Está nublado si y solo si hay nubes visibles |
Negación | no | ⌐ | No está lloviendo |
Negación conjunto | Ni…ni | ↓ | Ni está soleado ni está nublado |
Disyunción excluyente | O bien…o bien | /[pic 1] | O bien está soleado o bien está nublado |
[pic 2]
P: está lloviendo P: está lloviendo P: está soleado P: está nublado
Q: está nublado Q: está soleado Q: es de día Q: hay nubes visibles
P ∧ Q P ∨ Q P → Q P ↔ Q
P ∪ Q P ∩ Q
P: está lloviendo P: está soleado P: está soleado
⌐P: no está nublado Q: está nublado Q: está nublado
⌐P P ↓ Q P / Q[pic 3]
...