LÓGICA PROPOSICIONAL
Notación de proposiciones:
Conectivo
Símbolo Lenguaje natural Tabla de verdad
lógico
p p
No, ni, es falso que, no es cierto que, no es verdad
Negación V F
que, etc.
F V
p q
V V V
y ;; ; Pero, a un que, sin embargo, no obstante, a la vez,
Conjunción V F F
aún, por que, amenos que, etc.
F F V
F F F
p q
Disyunción V V V
débil, o;; .......O....... V V F
inclusiva F V V
F F F
p q
Disyunción V F V
fuerte, ;; ........o......... V V F
Exclusiva F V V
F F F
p q
V V V
Por lo tanto, luego, porque, de ahí, ya que, cuando,
Condicional V F F
cada vez que, dado que, etc.
F V V
F V F
p q
V V V
Bicondicional Si y solo si, cuando y solamente cuando V F F
F F V
F V F
EQUIVALENCIAS LOGICAS
Las más importantes equivalencias lógicas son las siguientes:
Doble negación : ~ (~ p ) ≡ p
Idempotencia : pΛp≡p ; pvp≡p
Conmutativas : pΛq≡qΛp; pvq≡qvp ; p↔q≡q↔p
Asociativas : (p Λ q) Λ r ≡ p Λ (q Λ r )
(p v q ) v r ≡ p v ( q v r )
(p ↔ q) ↔ r ≡ p ↔(q ↔ r)
Distributivas : p Λ ( q v r ) ≡ (p Λ q) v (p Λ r )
p v (q Λ r ) ≡ (p v q ) Λ (p v r )
p → ( q Λ r ) ≡ (p → q) Λ (p → r)
p → ( q v r ) ≡ (p → q) v (p → r)
Leyes de Morgan: ~( p Λ q) ≡ ~p v ~q
~( p v q) ≡ ~p Λ ~q
Leyes condicionales: p → q ≡ ~p v q
~(p → q) ≡ p Λ ~ q
Leyes bicondicionales: ( p ↔ q) ≡ (p → q) Λ (q → p)
( p ↔ q) ≡ ( p Λ q ) v (~p Λ ~ q)
Ley de absorción: i) p Λ (p v q) ≡ p ii) p v (p Λ q) ≡ p
iii) p Λ (~p v q) ≡ p Λ q iv) p v (~p Λ q) ≡ p v q
Transposición : i) p → q ≡ ~ q → ~ p ii) p ↔ q ≡ ~ q ↔ ~ p
Equivalencia: pΔq ≡ (p v q) Λ ~(p Λq) ≡(~p↔ q) ≡~( p↔ q)
FORMAS NORMALES DE LA CONJUNCIÓN Y DISYUNCIÓN:
Siendo: T = tautología, C = contradicción y P = esquema molecular cualquiera
Se cumple que:
TΛT≡T ; TΛP≡P ; CΛP≡C son FNC
CvP≡P ; TvP≡T ; CvT≡T son FND
LEY DE IDENTIDAD
p p T y p p T
LEY NO CONTRADICCIÓN
p p T ó p p C
LEY TERCIO - EXCLUIDO
p p T
