ENLACES LÓGICOS -- TABLAS BASICAS – LEYES LOGICAS

Enlace Sinónimos Símbolo

Negación no es falso que, no es cierto que, no es el caso que, jamás, nunca, no es verdad ~
que,
Conjunción y pero, sin embargo, además, aunque, no obstante, a la vez que, también, e, ˄
incluso,
Disyunción o ˅
Condicional Si…entonces… Si: porque, puesto que, ya que, entonces: en conclusión, por lo ⇒
siempre que, cuando, cada vez que, tanto, luego, implica que, de ahí
dado que, debido a que, que, por consiguiente, en
consecuencia,
Bicondicional si y solo si entonces y solo entonces, cuando y solo cuando, porque y solo porque, ⇔

p q p q p q ⇒ p q ⇔
V V V V V V V V V V V V
V F F V F V V F F V F F
F V F F V V F V V F V F
F F F F F F F F V F F V

LEYES LOGICAS

1. Complementación  (p   p)  V (No Contradicción)

p   p  V (Tercio Excluído)
 ( p)  p (Doble Negación)
2. Conmutativas pq qp
pq qp
p↔q q↔p
3. De Morgan (pq)pq
(pq)pq
4. Condicionales p →q  p  q
 ( p → q)  p   q
5. Bicondicionales p ↔ q  ( p → q )  ( q → p)
p ↔ q  (p  q)  ( p   q)
 (p ↔ q)  p ↔  q