LEYES LÓGICAS EJERCICIOS RESUELTOS DE ÁLGEBRA PROPOSICIONAL PDF
LEYES DEL ÁLGEBRA PROPOSICIONAL
Son equivalencias lógicas que nos permiten simplificar un problema y expresarlo en forma más sencilla , las demostraciones se hacen construyendo la tabla de verdad en cada caso. Principales leyes :
Como bien dijimos arriba , aquellas fórmulas lógicas que resultan ser siempre verdaderas no importa la combinación de los valores veritativos de sus componentes, son tautologías o leyes lógicas.
En el cálculo proposicional existen algunas tautologías especialmente útiles cuya demostración se reduce a la confección de su correspondiente tabla de verdad, a saber:
Ley de la idempotencia :
ley conmutativa
ley asociativa
ley distributiva
ley de morgan
ley del complemento
ley de la identidad
ley de la condicional
ley de la bicondicional :
LEY DE ABSORCIÓN :