LÓGICA PROPOSICIONAL
La lógica proposicional se deriva de la palabra proposición las cuales pueden ser:
SIMPLES (anatómicas) que constan de una oración
COMPUESTAS (moleculares) que son las que contienen de dos a mas oraciones; las compuestas tienen conectivos lógicos los cuales son:
Conjunción "Y" Disyunción "o"
Implicación "Si... entonces" Doble Implicación "Si y solo Si"
Negación
TABLAS DE VERDAD
Conjunción
Disyunción
Implicación
Doble Implicación
Negación
FUNCIÓN
Debido a que las tablas de verdad son un sistema formal cuyos elementos más simples representan proposiciones, y cuyas constantes lógicas, llamadas conectivas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad; es decir, que la función principal es encontrar el valor de verdad que tiene un enunciado.
¿DÓNDE HA SIDO UTILIZADO?
Se a utilizando en diferentes programas de investigación en los cuales es muy importante saber que tan cierto es lo que se dice de un tema determinado.
Ejemplos:
No hay comentarios.:
Publicar un comentario