Lógica Proposicional
La lógica proposicional trata con sistemas logicos, utilizando los simbolos, o variables interpretables como entidades. En lógica proposicional los simbolos se interpretan de acuerdo a lo que se halla pactado (es decir, que pueden ser interpretadas como proposiciones con un valor de verdad definido).
- Negacion - No
- Conjuncion . Y
- Disyuncion Inclusiva v Y/O
- Disyuncion Exclusiva w O.... O...
- Condicional => Si.... Entonces
- Bicondicional <=> Si... Y solo si....
- Binegador ↓ Ni..... ni.....
- Incompatibles l Si es lo uno no es lo otro
Aqui encontraran unos ejemplos de logica proposicional:
Sebastian seria buen novio si y solo si deja de ignorar a viviana: D<=>G
No es cierto que sea verde y blanco: -(H.B)
Nathalia trabaja y apesta: GvD
Es incompatible ser humano y perro al mismo tiempo: HlS
Si sebastian estudia y solo si estudia saldre con el: Ñ<=>Q<=>V