Sunteți pe pagina 1din 12

Leyes del álgebra de

proposiciones
Cariela Loyo

01-11-2016
Definición
 Son equivalencias
lógicas que nos
permiten reducir
esquemas moleculares
complejos y expresarlos
en formas más sencillas.
 También se conocen como Leyes Lógicas, y
representan formas proposicionales en las que si se
sustituyen sus variables por los enunciados
correspondientes el resultado será una proposición
lógicamente verdadera.
 Tautología: es una fórmula bien formada que resulta
verdadera para cualquier interpretación; es decir, para
cualquier asignación de “valores de verdad” que se
haga a sus fórmulas atómicas.
 La construcción de una tabla de verdad es un método
efectivo para determinar si una fórmula es una
tautología.
Leyes idempotentes
 La Idempotencia es la
propiedad para
realizar una acción
determinada varias
veces y aún así
conseguir el mismo
resultado que se
obtendría si se realiza
una sola vez.
Leyes asociativas
 No importa cómo
agrupes para calcular,
el resultado será
verídico (aplica
cuando tienen el
mismo conector.
Leyes conmutativas
 El resultado de
calcular los elementos
no depende de su
orden
Leyes distributivas
 Expresa que se
obtiene la misma
respuesta cuando se
calcula un conjunto
por otro conjunto de
preposiciones simples
o compuestas que
cuando realizas las
operaciones por
separado.
Leyes de identidad
 Es la constatación de
que dos
proposiciones que se
escriben diferente,
son de hecho el
mismo objeto; siendo
así una igualdad entre
dos expresiones.
Leyes de complementación
 Tercio excluido:
 La disyunción de
una proposición y
de su negación es
siempre verdadera.
Leyes de complementación

 Contradicción:
 La conjunción entre una proposición y su negación
no pueden ser ambas verdaderas al mismo tiempo
y en el mismo sentido.
Leyes de la complementación
 Ley de la doble negación:
 La negación de una proposición es verdadera
cuando dicha proposición es falsa y viceversa.
Leyes de Morgan
 Son un par de reglas
de transformación que
permiten la expresión
de las conjunciones y
disyunciones
puramente en
términos de vía
negación.
 A- la negación de la
disyunción es la
conjunción de las
negaciones
 B- la negación de la
conjunción es la

S-ar putea să vă placă și