Usuario:Juanrincon/TABLA DE LEYES

TABLA DE LEYES DE INFERENCIA

REGLA	NOMBRE
P v ¬P ≡ V	Ley Medio Exclusivo
P Λ ¬P ≡ F	Ley de Contradicción
P v F ≡ P	Ley de Identidad
P Λ V ≡ P	" "
P v V ≡ V	Ley de Dominación
P Λ F ≡ F	" "
P v P ≡ P	Ley de Indepotencia
P Λ P ≡ P	" "
¬(¬P) ≡ P	Ley de doble negación
P v Q ≡ Q v P	Ley Conmutativa
P Λ Q ≡ Q Λ P	" "
(P v Q) v R ≡ P v (Q v R)	Ley Asociativa
(P Λ Q) Λ R ≡ P Λ (Q Λ R)	" "
(P v Q) Λ (P v R) ≡ P v (Q Λ R)	Ley Distributiva
(P Λ Q) v (P Λ R) ≡ P Λ (Q v R)	" "
¬(P v Q) ≡ ¬P Λ ¬Q	Ley de Morgan
¬(P Λ Q) ≡ ¬P v ¬Q	" "
P → Q ≡ ¬P v Q	Ley de Eliminación
P ↔ Q ≡ (P Λ Q) v (¬P Λ ¬Q)	" "

---

PARA VOLVER AL PUNTO 2 DEL PRIMER PARCIAL, OPRIMA AQUI ==

---

PARA VOLVER AL PUNTO 1 DEL PRIMER PARCIAL, OPRIMA AQUI ==