Usuario:Juanrincon/TABLA DE LEYES
| 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 ==