2. Leyes del Algebra de Proposición
Estas leyes son equivalencias lógicas que se
pueden demostrar con el desarrollo de las tablas de
verdad del bicondicional.
Las Leyes del algebra de proposiciones son las
siguientes:
• Ley de Idempotencia:
Es la propiedad para realizar una acción determinada
varias veces y aun así conseguir el mismo resultado que
se obtendría si se realizase una sola vez.
3. • Ley de Identidad o de Elemento Neutro:
Se aplica a las operaciones binaria internas (una operación
binaria interna, también es llamada ley de composición interna, es
una aplicación de A x A en A.
• Leyes de Morgan:
Son un par de reglas de transformación que son ambas reglas de
inferencia validas. Las normas permiten la expresión de las
conjunciones y disyunciones puramente en términos de vía
negación, esta regla se puede expresar como: “ La negación de la
conjunción es la disyunción de las negaciones. La negación de
la disyunción es la conjunción de las negaciones”
4. •Leyes del Condicional:
Sean p y q dos proposiones. El condicional con antecedente p y
consecuente que es la proposicion p q, que se lee “si p,
entonces q”.
•Leyes del Bicondicional:
Es una proposición de la forma «P si y solo si Q» y se admite el
bicondicional es verdadero en el caso de que ambos componentes
tengan el mismo valor vertitativo. En otras palabras, que si P ocurre
entonces también ocurre Q; y viceversa: si Q ocurre entonces
también ocurre P.
5. •Leyes de disyunción exclusiva:
Es un operador lógico. Es un tipo de disyunción lógica de dos
operandos.
Una disyunción solamente es verdadera cuando ambas frases
tienen valores diferentes de verdad; es decir, cuando o una u otra es
verdadero, mas no si ambos son verdadero o falso.
•Leyes de absorción:
Es una forma lógica de argumento válido y una regla de
inferencia de la lógica proposicional.1 2 La regla establece que si P
implica Q, entonces P implica P y Q. La regla hace posible introducir
conjunciones en pruebas. Esto se llama ley de absorción ya que el
término P es "absorbido" por el término Q en la consecuencia.