CONECTIVOS LÓGICOS LEYES DEL ÁLGEBRA

 Conjunción o Conjuntiva PROPOSICIONAL

p q p ∧q 1. Leyes de absorción
V V V p∧(p∨q) ≡ p p∧(∼ p∨q) ≡ p∧q
V F F p∨(p∧q) ≡ p p∨(∼ p∧q) ≡ p∨q
2. Leyes de la condicional
F V F
p⇒q ≡ ∼ p∨q p⇒q ≡ ∼ q⇒∼p
F F F 3. Ley de Ídem potencia
 Disyunción o Disyuntiva p ∨p ≡ p p ∧p ≡ p
 Disyunción exclusiva
4. Leyes conmutativas
p Q p ∨q p∨q ≡ q∨p p⇔q ≡ q⇔p
V V V p∧q ≡ q∧p p∆q≡ q∆p
V F V 5. Leyes de complemento
F V V p∨∼p ≡ V ∼ (∼ p) ≡ p
F F F p∧∼p ≡ F
 Disyunción inclusiva 6. Unas más
∼ p∆q ≡ p⇔q ∼ p⇔q ≡ p∆q
p q p∆q
p∆∼ q ≡ p⇔q p⇔∼ q ≡ p∆q
V V V 7. Leyes de morgan
V F F ∼ (p∨q) ≡ ∼ p∧∼q
F V F ∼ (p∧q) ≡ ∼ p∨∼q
F F F 8. Leyes asociativas
 Condicional o Implicación (p∧q)∧r ≡ p∧(q∧r)
p q p ⇒q (p∨q)∨r ≡ p∨(q∨r)
9. Leyes distributivas
V V V
p∨(q∧r) ≡ (p∨q)∧(p∨r)
V F F 10. Leyes de la bicondicional
F V V p⇔q ≡ (∼ p∨q)∧(p∨∼q)
F F V p⇔q ≡ (p∧q)∨(∼ p∧∼q)
 Bicondicional o Doble p⇔q ≡ (p⇒q)∧(q⇒p)
implicación p⇔q ≡ ∼ (p∆q)
11. Ley de la identidad
p q p ⇔q
p∨V ≡ V p⇔p ≡ V
V V V p∧F ≡ F p⇔∼ p ≡ F
V F F p∧V ≡ p p∆p ≡ F
F V F p∨F ≡ p p∆∼ p ≡ V
F F V
p
p q
q
Términos del Lenguaje Natural que p no es equivalente a q
Designan Operadores  IMPLICADOR: p⇒q
Proposicionales p implica a q
 NEGADOR: ∼ p p por lo tanto q
No p, nunca p, jamás p p luego q
Es falso que p p consecuentemente q
Es absurdo que p Ya que p entonces q
Es mentira que p Puesto que p entonces q
Es negable que p Siempre que p entonces q
Es inconcebible que p Dado que p entonces q
No ocurre que p De p deviene q
Es inadmisible p condiciona a q
Es refutable p p solo cuando q
Es contradictorio que p p es condición suficiente para q
p solo si q
 CONJUNTOR: p∧q
p pero q  REPLICADOR: p⇐q (Implicador
p aunque q inverso)
p con q p porque q
p sin embargo q p, si q
p incluso q p se concluye (deduce, infiere)
p tanto como q de q
p así mismo q p siempre que q
p también q p pues q
p al igual que q p cada vez que q
No solo p también q p dado que q
p no obstante q p ya que q
p además q p puesto que q
p supone que q
 DISYUNTOR: p∨q (Incluyente) p en vista que q
p o también q p deviene de q
p o incluso q
p a no ser q  DOBLE IMPLICADOR: p⇔q
p a no ser que q p siempre y cuando q
p y/o q p es condición suficiente y
p o en todo caso q necesaria para q
p y bien o también q p porque y solamente q
p excepto que q p es suficiente y q también
p a menos q p es equivalente a q
p salvo que q p es idéntico que q
p alternativamente q p es !o mismo que q
p o bien q p implica y esta implicado por q
Solo si p entonces q
 DISYUNTOR: p∆q (Excluyente)
p o sólo q
p o únicamente q
p o solamente q
p o tan solo q
O bien p o bien q
Opoq