LÓGICA PROPOSICIONAL

TABLAS DE VERDAD
p q p ∧q p ∨q p→q p↔q p ∨q p
(conjunción) ¿ (condicional) (bicondicional) ¿ (negación)
inclusiva ¿ exclusiva ¿
V V V V F
V F F
F V
F F F V F

Donde:

 p y q: son variables proposicionales

 V y F : valores de verdad Verdadero y Falso
EQUIVALENCIAS LÓGICAS

EQUIVALENCIA NOTABLE REPRESENTACIÓN

Doble negación ∼ ( ∼ p) ≡ p
Propiedad Conmutativa p ∧q ≡ q ∧ p ; p ∨q ≡ q ∨ p; p ↔ q ≡q ↔ p
Propiedad Asociativa ( p ∧q ) ∧ r ≡ p∧ ( q ∧ r )
( p ∨q ) ∨ r ≡ p∨ ( q ∨ r )

p ↔ ( q ↔r ) ≡ ( p ↔ q ) ↔ r
Propiedad Distributiva p ∧ ( q ∨ r ) ≡ ( p ∧q ) ∨ ( p ∧ r )
p ∨ ( q ∧ r ) ≡ ( p ∨q ) ∧ ( p ∨ r )
p → ( q ∧r ) ≡ ( p → q ) ∧ ( p →r )
p → ( q ∨r ) ≡ ( p → q ) ∨ ( p →r )
Idempotencia p ∧ p ∧… … ∧ p ≡ p ; p ∨ p ∨… … p ≡ p
Condicional p → q ≡ p ∨q
∼ ( p → q ) ≡ p ∧∼ q
p → q ≡( ∼ q → ∼ p)
Leyes de Morgan ∼ ( p ∨q ) ≡ ∼ p ∧ ∼ q
∼ ( p ∧q ) ≡ ∼ p ∨ ∼ q
Absorción p ∧ ( p ∨q ) ≡ p
p ∨ ( p ∧q ) ≡ p
p ∧ ( ∼ p ∨q ) ≡ p ∧ q
p ∨ ( ∼ p ∧q ) ≡ p ∨ q
Complemento p ∨ ( ∼ p ) ≡V
p ∧( ∼ p) ≡ F

JLSM 1
 Identidad p∨F≡ p
p ∧V ≡ p
p∧F≡F
p ∨V ≡V
Bicondicional p ⟺ q ≡( p ⟹ q )∧ (q ⟹ p )
p ⟺ q ≡ ( p ∧ q ) ∨ ( ∼ p ∧∼ q )
p ⟺ q ≡∼ q ⟺ ∼ p

Diferencia simétrica p ∆ q ≡ ( p ∨ q ) ∧∼ ( p ∧ q )

NOTA: V ≡T ; F ≡C

CONECTIVOS GRAMATICALES

CONECTI CONECTIVO
VO GRAMATICAL
LÓGICO

No, no es cierto que; es falso que; no

ocurre que; no es verdad que; no es el
caso de que, es imposible, es mentira

∧ (conjunción) Pero, además; aunque; sin embargo; a

la vez; también; no obstante, tanto
como, del mismo modo, incluso…….

∨(disyunción) o; al menos………….

∨ O…….o…….; a menos que; salvo

que……

Si…….., entonces………; luego; por lo

tanto; en conclusión; siempre que; ya
⟶
que; puesto que; porque;…………..

Si y solo sí; cuando y solo cuando;

entonces y solo entonces; es
⟷
igual…………..

JLSM 2