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
pp  V (p)  p
F V V
pp  F
F F F 6. Unas más
 Disyunción inclusiva 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
(pq)  pq
F V F 8. Leyes asociativas
F F F (pq)r  p(qr)
 Condicional o Implicación (pq)r  p(qr)
p q pq 9. Leyes distributivas
V V V p(qr)  (pq)(pr)
10.Leyes de la bicondicional
V F F
pq  (pq)(pq)
F V V pq  (pq)(pq)
F F V pq  (pq)(qp)
 Bicondicional o Doble implicación pq  (pq)
p q pq 11. Ley de la identidad
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 IMPLICADOR: pq
que Designan Operadores p implica a q
Proposicionales p por lo tanto q
 NEGADOR:  p p luego q
No p, nunca p, jamás p p consecuentemente q
Es falso que p Ya que p entonces q
Es absurdo que p Puesto que p entonces q
Es mentira que p Siempre que p entonces q
Es negable que p Dado que p entonces q
Es inconcebible que p De p deviene q
No ocurre que p p condiciona a q
Es inadmisible p solo cuando q
Es refutable p p es condición suficiente para q
Es contradictorio que p p solo si q
 CONJUNTOR: pq  REPLICADOR: pq (Implicador
p pero q inverso)
p aunque q p porque q
p con q p, si q
p sin embargo q p se concluye (deduce, infiere) de q
p incluso q p siempre que q
p tanto como q p pues q
p así mismo q p cada vez que q
p también q p dado que q
p al igual que q p ya que q
No solo p también q p puesto que q
p no obstante q p supone que q
p además q p en vista que q
 DISYUNTOR: pq (Incluyente) p deviene de q
p o también q  DOBLE IMPLICADOR: pq
p o incluso q p siempre y cuando q
p a no ser q p es condición suficiente y necesaria para q
p a no ser que q p porque y solamente q
p y/o q p es suficiente y q también
p o en todo caso q p es equivalente a q
p y bien o también q p es idéntico que q
p excepto que q p es !o mismo que q
p a menos q p implica y esta implicado por q
p salvo que q Solo si p entonces q
p alternativamente q
p o bien 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
p no es equivalente a q