Lógica Proposicional

Proposiciones
Proposición es una afirmación de la
cual podemos decir que es falsa, o
bien que es verdadera, pero no
ambas cosas.
Conectivos Lógicos
“y” conjunción
“o” disyunción
“si —, entonces” implicación
“si y sólo si” doble implicación
“no” negación ¬
Tabla de verdad
 Leyes de equivalencia
Dos proposiciones, P y Q, son equivalentes
(P ≡ Q) siempre y cuando P Q es una
tautología
Leyes de equivalencia

i. P Q ≡ (P Q) (Q P)

ii. P Q ≡ ¬P Q

iv. P Q ≡ ¬Q ¬P (Ley Contrarecíproca)

 Leyes de equivalencia
◼ Leyes Asociativas:
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r) ; (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
◼ Leyes Conmutativas:
p ∨ q ≡ q ∨p ; p∧q≡q∧p
◼ Leyes Distributivas:

p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
◼ Leyes de De Morgan:

¬(p ∨ q) ≡ ¬p ∧ ¬q ; ¬(p ∧ q) ≡ ¬p ∨ ¬q
 Leyes de equivalencia
◼ Ley de Doble Negación:
¬¬p ≡ p
◼ Leyes de Absorción:

p ∨ (p ∧ q) ≡p p ∧ (p ∨ q) ≡p
◼ Leyes del Cero y el Uno:

(p ∨ F) ≡p (p ∧ F) ≡ F
(p ∨ T) ≡ T (p ∧ V) ≡ p
◼ Leyes de Idempotencia:

(p ∨ p) ≡p (p ∧ p) ≡ p
Tautologias y Contradicciones
Sea T una proposición formada por p1, p2 , ... , pn
proposiciones.

◼ T es una tautología si T es verdadera siempre

◼ C es una contradicción si ¬C es una tautología.

◼ p ∨ ¬p ≡ T

◼ p ∧ ¬p ≡ C
Predicados:
Es una función proposicional
 Cuantificador Universal:
Sea (∀x)P(x)

“para todo x (en A), tal que”

“para cada x (en A), tal que”

 Cuantificador Existencial:
(∃x)P(x)

“existe un elemento x (en A), tal que”

“hay un x (en A), tal que”

 Negaciones de Cuantificadores:

¬(∀x)P(x) ≡ (∃x)¬P(x)

¬(∃x)P(x) ≡ (∀x)¬P(x)
 Demostración:
Una demostración de una
proposición P es una cadena de
consecuencias lógicas que
termina en P
Demostración Directa:

Probar p ⇒ q
Debemos suponer: p
Probar: q
 Demostración Directa:

Probar p ⇔ q equivale a
a) p ⇒ q
b) q ⇒ p
 Demostración Indirecta:

Probar p ⇒ q
Suponer: ¬q
Probar: ¬p
 Demostración por Contradicción:

Demostrar p ⇒ q
Suponer: p ∧ ¬q
Probar: r ∧ ¬r, para alguna
proposición r
 Demostración directa

Probar (∀x)P(x)

Probar (∃x)P(x)
 Demostración por Inducción
Probar (∀n)P(n)
P(1) es verdadero
P(n) ⇒ P(n+1)
 Demostración por Inducción
Completo

Probar (∀n)P(n)
P(1) es verdadero
Paso inductivo. P(1)^ P(2)…
P(n)⇒P(n+1)