MATEMATICA DISCRETALa lógica es el estudio del razonamiento. Se centra en las relaciones entre enunciados; y no así en su contenido.PROPOCISIONESLas proposiciones son enunciados declarativos que poseen un valor de verdad; es decir pueden ser verdaderos o falsos, pero no ambos. Ej.- La luna es un satélite-- 9-3=8Se denotan con las letras del alfabeto (p, q, r, s…); pueden ser mayúsculas o minúsculas dependiendo si conocemos o no el valor de verdad.Los enunciados exclamativos o interrogativos no son proposiciones; ya que no conocemos su valor de verdad. Ej.- ¡Que lindo día!- ¿Como te llamas?Clasificación:- Simples o Atómicas → No se pueden dividir- Compuestas o Moleculares → Están formadas por dos o mas proposiciones simples y unidas por conectores lógicos(¬,^,v,→,↔)A continuación las reglas de los conectores con sus respectivas tablas de verdad:- Negación
| ¬ | P |
- Conjunción
| P | ^ | Q |
- Disyunción
| P | v | Q |
- Condicional
| P | → | Q |
- Bicondicional
| P | ↔ | Q |
