Universidad Técnica Federico Santa María Fundamentos de Informática I

Departamento de Informática Primer semestre de 2009

Leyes de Conjunción, Disyunción y Negación

Ley Variante Nombre

p ∨ ¬p ≡ V Ley de Medio Excluido
p ∧ ¬p ≡ F Ley de Contradicción
p∨F ≡p p∧V ≡p Ley de Identidad
p∧F ≡F p∨V ≡V Ley de Dominación
p∧p≡p p∨p≡p Ley de Idempotencia
¬¬p ≡ p Ley de Doble Negación
¬(p ∧ q) ≡ ¬p ∨ ¬q ¬(p ∨ q) ≡ ¬p ∧ ¬q Ley de Morgan
p∧q ≡q∧p p∨q ≡q∨p Leyes Conmutativas
p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r Leyes Asociativas
p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) Leyes Distributivas
p ∧ (p ∨ q) ≡ p p ∨ (p ∧ q) ≡ p Leyes de Absorción
p → q ≡ ¬p ∨ q Eliminación de implicancia
p → q ≡ ¬q → ¬p Contrarrecíproca

Reglas de inferencia

p
Ley de p∧q Ley de
q
combinación p simplicación
p∧q
p
p
Ley de adición p→q Modus ponens
p∨q
q
¬q p→q
Silogismo
p→q Modus tollens q→r
hipotético
¬p p→r
p∨q p∨q
Silogismo
¬p ¬p ∨ r Ley de resolución
disyuntivo
q q∨r
∀xp(x) Particularización p(c) para c arbitrario Generalización
p(c) Universal ∀xp(x) Universal
∃xp(x) Particularización p(c) para un elem. c Generalización
p(c) para un elem. c Existencial ∃xp(x) Existencial