Lógica Matemática.

Proposiciones.
Proposiciones simples.
Es una oración de la cual tiene sentido afirmar que es verdadera o falsa, pero no
las dos a la vez.
Ejemplos:
6 es un número dígito. (Verdadero)
4 es un número natural. (Falso)
-8 es un número positivo. (Falso)
Ejemplos que no son proposicones.
Ayúdeme, por favor.
Recoge el marcador.
¿Qué hora es?
No camines tan rápido.
¡No puede ser!

Valor de verdad de una proposición.

En lógica se usan las letras p, q, o r para representar proposiciones.
Ejemplos:
p: El cero es el módulo de la suma. V(p)= V
𝟐 𝟏
q: 𝒆𝒔 𝒎𝒂𝒚𝒐𝒓 𝒒𝒖𝒆 V(q)= F
𝟑 𝟒

r: 10=20-10 V(r)= V
Proposiciones Compuestas.
Es la combinación de dos proposiciones simples mediante un término lógico.
Ejemplos:
2 es un número natural y un número entero.
Proposición simple Término Proposición simple
lógico

Tablas de verdad.

Negación Conjunción Disyunción inclusiva

“p y q” “p y/o q”
P ¬𝑃
P Q 𝑃⋀𝑄 P Q 𝑃∨𝑄
V F V V V V V V
F V V F F V F V
F V F F V V
F F F F F F

Condicional Bicondicional
“si p entonces q” “p si y solo si q”
P Q 𝑃→𝑄 P Q 𝑃⟷𝑄
V V V V V V
V F F V F F
F V V F V F
F F V F F V

Contrasección
“p pero no q”
P Q 𝑃↖𝑄
V V F
V F V
F V F
F F F
 Disyunción exclusiva
“p o q”
P Q 𝑃∨𝑄
V V F
V F V
F V V
F F F

Conjunción negativa
“Ni p ni q”
P Q 𝑃↓𝑄
V V F
V F F
F V F
F F V

Ejercicios:

1.

(𝑝 ∧ −𝑞) ⟷ −(−𝑝 ∨ 𝑞)

𝒑 𝒒 (𝒑 ∧ −𝒒) ⟷ − (-p ∨ q)

V V V F F V F F V V

V F V V V V V F F F

F V F F F V F V V V

F F F F V V F V V F
 2.
(−𝑝 ∨ 𝑞) → (𝑝 ∨ −𝑞)

𝒑 𝒒 (−𝒑 ∨ 𝒒) → (𝒑 V −𝒒)

V V F V V V V V F

V F F F F V V V V

F V V V V F F F F

F F V V F V F V V

3.

(𝑝 → 𝒒) ∧ [(𝒑 → 𝒒) ∨ (𝒒 → 𝒑)]

𝒑 𝒒 (𝒑 → 𝒒) ∧ [(𝒑 → 𝒒) ∨ (𝒒 → 𝒑)]

V V V V V V V V V V V V V
V F V F F F V F F V F V V

F V F V V V F V V V V F F

F F F V F V F V F V F V F

4. (𝑝 ∨ 𝑞) → (𝑞 ∧ 𝑝)

𝒑 𝒒 (𝒑 ∨ 𝒒) → (𝒒 ∧ 𝒑)

V V V F V V V V V
V F V V F F F F V

F V F V V F V F F

F F F F F V F F F
1 2 1 3 1 2 1

CONTINGENCIA
 5. (𝑝 ↓ 𝑞) ⟷ (∼ 𝑝 ∧ ∼ 𝑞)

𝒑 𝒒 (𝒑 ↓ 𝒒) ⟷ (∼ 𝒑 ∧ ∼ 𝒒)

V V V F V V F F F
V F V F F V F F V

F V F F V V V F F

F F F V F V V V V
1 3 1 4 2 3 2

Tautología

6. [(𝒑 ⟷ 𝒒) ↓ 𝒒] ⟷ (𝒑 → 𝒒)

𝒑 𝒒 [(𝒑 ⟷ 𝒒) ↓ 𝒒] ⟷ (𝒑 → 𝒒)

V V V V V F V F V V V
V F V F F V F F V F F

F V F F V F V F F V V

F F F V F F F F F V F
1 2 1 3 1 4 1 2 1

Contradicción.

7. [(𝑝 ∨ 𝑞) ∧ 𝑝] → [(𝒓 ∧ 𝑝) ↓ 𝒓]

p q r [(𝑝 ∨ 𝑞) ∧ 𝑝] → [(𝒓 ∧ 𝑝) ↓ 𝒓]
V V V V V V V V F V V V F V
V V F V V V V V V F F V V F
V F V V V F V V F V V V F V
V F F V V F V V V F F V V F
F V V F V V F F V V F F F V
F V F F V V F F V F F F V F
F F V F F F F F V V F F F V
F F F F F F F F V F F F V F

Contingencia
Tarea:

1. (𝑝 ↓ 𝑞) ⟷ (∼ 𝑝 ∨ ∼ 𝑞)
2. ∼ (𝑝 ∨ 𝑞) ↓ 𝑞
3. (𝑝 ↖ 𝑞) ⟷∼ (𝑝 → 𝑞)
4. ∼ [(𝑝 ↖ 𝑞) ∧ (𝑝 ↓ 𝑞)] ⟷ (𝑝 → 𝑞)

Algebra de Proposiciones.

Se llama algebra de proposiciones a las operaciones: conjunción, disyunción exclusiva y

negación; a sus propiedades y los teoremas que se deducen de las mismas.

Leyes de algebra de proposiciones.

Nombre CONJUNCIÓN DISYUNCIÓN INCLUSIVA
1. Idempotencia 𝑝∧𝑝 ≡𝑝 𝑝∨𝑝 ≡𝑝
2. Conmutativa 𝑝∧𝑞 ≡𝑞∧𝑝 𝑝∨𝑞 ≡ 𝑞∨𝑝
3. Asociativa (𝑝 ∧ 𝑞) ∧ 𝑟 ≡ 𝑝 ∧ (𝑞 ∧ 𝑟) (𝑝 ∨ 𝑞) ∨ 𝑟 ≡ 𝑝 ∨ (𝑞 ∨ 𝑟)
4. Identidad 𝑝∧𝑉 ≡𝑝 𝑝∧𝐹 ≡𝐹 𝑝∨𝑉 ≡𝑉 𝑝∨𝐹 ≡𝑝
5. Distributiva 𝑝 ∧ (𝑞 ∨ 𝑟) ≡ (𝑝 ∧ 𝑞) ∨ (𝑝 ∧ 𝑟) 𝑝 ∨ (𝑞 ∧ 𝑟) ≡ (𝑝 ∨ 𝑞) ∧ (𝑝 ∨ 𝑟)
6. Complemento 𝑝 ∧∼ 𝑝 ≡ 𝐹 ∼ (∼ 𝑝) ≡ 𝑝 𝑝 ∨∼ 𝑝 ≡ 𝑉 ∼𝑉 ≡𝐹
∼𝐹≡𝑉
7. De Morgan ∼ (𝑝 ∧ 𝑞) ≡∼ 𝑝 ∨∼ 𝑞 ∼ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧∼ 𝑞

Verificación:
Conmutativa: (𝑝 ∧ 𝑞) ≡ (𝑞 ∧ 𝑝)
p q (p ∧ q) ⟷ (q ∧ p)
V V V V V V V V V
V F V F F V F F V
F V F F V V V F F
F F F F F V F F F

Ley de absorción o de simplificación. (L.S)

𝑝 ∨ (𝑝 ∧ 𝑞) ≡ 𝑝 𝑝 ∧ (𝑝 ∨ 𝑞) ≡ 𝑝

Sustitución de equivalencias.

(𝒑 → 𝒒) ≡∼ 𝒑 ∨ 𝒒
 (𝒑 → 𝒒) ≡ ∼ 𝒒 →∼ 𝒑
(𝒑 ⟷ 𝒒) ≡ (𝒑 → 𝒒) ∧ (𝒒 → 𝒑)
(𝑝 ↖ 𝑞) ≡∼ (𝑝 → 𝑞)
(𝑝 ↓ 𝑞) ≡∼ (𝑝 ∨ 𝑞)

Ejercicios: Simplificar las proposiciones.

1. (𝑝 ∧ 𝑝) ∨ 𝑞
𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 Razones
(𝑝 ∧ 𝑝) ∨ 𝑞 Dato
𝑝∨𝑞 Idempotencia
2. ∼ (∼ 𝑝 ∨∼ 𝑞)
𝑃𝑟𝑜𝑝𝑜𝑠𝑖𝑐𝑖𝑜𝑛𝑒𝑠 Razones
∼ (∼ 𝑝 ∨∼ 𝑞) Dato
∼ (∼ 𝑝) ∧∼ (∼ 𝑞) De Morgan
𝑝 ∧𝑞 Complemento
3. 𝑝 ∧ (∼ 𝑝 ∨ 𝑞)
Proposiciones Razones
𝑝 ∧ (∼ 𝑝 ∨ 𝑞) Dato
(𝑝 ∧∼ 𝑝) ∨ (𝑝 ∧ 𝑞) Distributiva
𝐹 ∨ (𝑝 ∧ 𝑞) COMPLEMENTO
𝐹∨𝑟 𝑟 = (𝑝 ∧ 𝑞)
𝑟 IDENTIDAD
𝑝∧𝑞

4. (𝑝 ∨ 𝑞) ∧∼ 𝑝
Proposiciones Razones
(𝑝∨𝑞) ∧∼ 𝑝 Dato
(∼ 𝑝 ∧ 𝑝) ∨ (∼ 𝑝 ∧ 𝑞) Distributiva
𝐹 ∨ (∼ 𝑝 ∧ 𝑞) COMPLEMENTO
∼𝑝∧𝑞 𝑟 = (∼ 𝑝 ∧ 𝑞)
IDENTIDAD

1. 𝑝 ∨ (𝑝 ∧ 𝑞)
2. 𝑝 ∧ (𝑝 ∨ 𝑞)
3. (𝑝 ∨ 𝑞) ∨ [𝑝 ∧ (𝑟 ∨ 𝑞)]
Proposiciones Razones
(𝑝 ∨ 𝑞) ∧ [𝑝 ∧ (𝑟 ∨ 𝑞)]
[(𝑝 ∨ 𝑞) ∨ 𝑝] ∧[(𝑝 ∨ 𝑞) ∨ (𝑟 ∨ 𝑞)]
[(𝑞 ∨ 𝑝) ∨ 𝑝] ∧[(𝑝 ∨ 𝑞) ∨ (𝑟 ∨ 𝑞)]
[𝑞 ∨ (𝑝 ∨ 𝑝)] ∧[(𝑝 ∨ 𝑞) ∨ (𝑟 ∨ 𝑞)]
(𝑞 ∨ 𝑝) ∧[(𝑝 ∨ 𝑞) ∨ (𝑟 ∨ 𝑞)]
(𝑞 ∨ 𝑝) ∧ [(𝑝 ∨ 𝑞) ∨ 𝑟]
 (p∨ 𝑞)

1. (𝑝 ∧ 𝑞) ∧ [𝑝 ∧ (𝑟 ∨ 𝑞)]

SIMPLIFICACIÓN DE PROPOSICIONES
1.- Simplificar la expresión:
[(p→ p)  q]  [~q  (r  q)]  [p → (p  ~q)] Recuerde Ubicar
la ley que utiliza
Proposiciones Razones
[(p→ p)  q]  [~q  (r  q)]  [p → (p  ~q)] Dato

[(~p  p)  q]  [~q  (r  q)]  [~p  (p  ~q)] Condicional: (𝒑 → 𝒒) ≡∼ 𝒑 ∨ 𝒒

Asociativa
[(~p  p)  q]  [~q  (r  q)]  [(~p  p)  ~q]
Complemento: 𝑝 ∨∼ 𝑝 ≡ 𝑉
(V  q)  [~q  (r  q)]  (V  ~q)
Identidad: 𝑝 ∨ 𝑉 ≡ 𝑉
V  [~q  (r  q)]  V
(V  V)  [~q  (r  q)] Asociativa

V  [~q  (r  q)] Disyunción

(V  ~q)  [ V  (r  q)] Distributiva

~q  (r  q) Identidad: 𝑝 ∧ 𝑉 ≡ 𝑝

(~q  r)  (~q  q) Distributiva.

(~q  r)  V Complemento: 𝑝 ∨∼ 𝑝 ≡ 𝑉

~q  r Identidad: 𝑝 ∧ 𝑉 ≡ 𝑝

Simplificar: [~(p  q)  (~p  q)] → (~p  q)

Proposiciones Razones
[~(p  q)  (~p  q)] → (~p  q) Dato
[(~p  ~q)  (~p  q)] → (~p  q) Ley de Morgan
[(~p  ~q)  ~p]  [(~p  ~q)  q] → (~p  q) Distributiva
[~p  (~q  q)] → (~p  q)
Absorción
(~p  V) → (~p  q)
~p → (~p  q) Complemento: p ∨∼p≡V
Identidad: p ∧ V≡p
~ (~p)  (~p  q)

p  (~p  q) Condicional: (p→ q)≡∼p∨q

(p  ~p)  (p  q)
Doble negación
V  (p  q)
Distributiva

pq Complemento: p∨∼p≡V

Identidad: p∧V≡p

Demostraciones.

3.Demostrar:
[(𝑝 →∼ q) →∼ p] → q ≡ (qp)

[(𝑝 →∼ q) →∼ p] → q ≡ (qp) Dato

~ [~ (~p v ~q) v ~p ] v q ≡ (qp) Condicional
[~~ (~p v ~q) ˄ ~~p ] v q ≡ (qp) Morgan
[ (~p v ~q) ˄ p ] v q ≡ (qp) Doble negación
[ p ˄ (~p v ~q) ] v q≡ (qp) Conmutativa
[ (p ˄ ~p ) v (p ˄ ~q) ] v q≡ (qp) Distributiva
[ F v (p ˄ ~q) ] v q ≡ (qp) Complemento: p∧∼p≡F
(p ˄ ~q) v q≡ (qp) Identidad: 𝑝 ∨ 𝐹 ≡ 𝑝
q v (p ˄ ~q) ≡ (qp) Conmutativa
(q v p) ˄ (q v ~q) ≡ (qp) Distributiva
(q v p) ˄ V≡ (qp) Complemento: p∨∼p≡V
(q v p) ≡ (qp) Identidad: p∧V≡p
4. Demostrar:
~ (p ˄ q ˄ r) ≡ [(p ˄ q) → ~r] v [p → (q → ~r)]
Proposiciones Razones
~ (p ˄ q ˄ r) ≡ [(p ˄ q) → ~r] v [p → (q → ~r)] Dato
~ (p ˄ q ˄ r) ≡ [~ (p ˄ q) v ~r] v [~p v (~q v ~r)] Condicional
~ (p ˄ q ˄ r) ≡ [(~p v ~q) v ~r] v [~p v (~q v ~r)] Morgan
~ (p ˄ q ˄ r) ≡~p v ~q v ~r v ~p v ~q v ~r Suprimir paréntesis y corchetes
~ (p ˄ q ˄ r) ≡ (~p v ~p) v (~q v ~q) v (~r v ~r) Conmutativa y asociativa

~(p ˄ q ˄ r) ≡~p v ~q v ~r Idempotencia

~ (p ˄ q ˄ r) ≡~ (p ˄ q ˄ r) Morgan

5. Demostrar: ~{[(~p)  (~q)]  ~q ]} ≡ p  q

Proposiciones Razones
~{[(~p)  (~q)]  ~q ]} ≡ p  q Dato
~{[ ~p  (~q  ~q)] }≡ p  q Asociativa
~[~p  ~q] ≡ p  q Idempotencia
~~p  ~(~q) ≡ p  q Morgan
p  q≡ p  q
Doble negación
2. [~p  q]  [~q  ~p]

3. ( p  ~p)  [p  (q  p)]

4. [~ (p → q) → ~ (q → p)]  (p  q)

5. {[(p → q)  ~q]  ~q}

6. ~ [(p  p)  p]

7. [(p  ~q)  q] → p

8. ~ [~ (p  q) → ~q]  q

9. [(~p  q) → (r  ~r)]  ~q

10. [(p  q)  (p  ~q)]  (~p  ~q)

11. [(~p  q)  (r  ~r)]  ~q

12. [(p→ p)  q]  [~q  (r  q)]  [p → (p  ~q)]

13. [~(p  q)  (~p  q)] → (~p  q)

14. [( p → ~ q ) → ~p ] → q

15. [( p Λ q ) → ~r] v [ p → ( q → ~r)]

 1. Evalúe la proposición con los valores de verdad.
p = F, q = V, r= F.

(p ∨ ~r) Λ ~ [(q ∨ r) ∨ ~ (r ∨ p)]

(F ∨ ~(F)) Λ ~ [(V ∨ F) ∨ ~ (F ∨ F)]

(F ∨ V) Λ ~ [(V ∨ F) ∨ (V Λ V)]

(F ∨ V) Λ ~ (V ∨ F) Λ~ (V Λ V)

(F ∨ V) Λ (F Λ V) Λ (F ∨ F)

VΛFΛF

FΛF

1. Evalúe la proposición con los valores de verdad.

p = F, q = V, r= F. -p=V, -q= F, -r=V

a. ~p ∨ ~ (q ^ r) V
V∨~qv~r
(V ∨ F) ∨ V
V∨V
V

adero
b. ~ (p ∨ q) ^ (~p ∨ r)
~p^ ~q ^(~p ∨ r)
(V ^F)^(V ∨ F)
F ^V
F