2.

Contenido científico
2.1 Organizador gráfico

Supone que el valor de

verdad de la tesis es falso
[v(T)=F]

Reducción al absurdo
Mediante el método directo
se busca llegar a una
falsedad, contradicción o
absurdo.

Métodos de demostración
indirecta También recibe el nombre
de: Método por
exhaustividad.

La hipótesis se puede
descomponer por el
conector "v" (y/o), en
varias hipótesis parciales
que implican a la tesis.
Método de casos

Las hipótesis parciales se

demuestran con método
directo.

La demostración se
verifica mediante tabla de
verdad y diagrama sagital.
2.2 Ejemplos
• Reducción al absurdo
1. Demostrar: 𝑝 ↔ 𝑞 ; 𝑝 ∴ 𝑞
Proposiciones Razones

1. 𝑝 ↔ 𝑞 Dato
2. 𝑝 Dato
3. ~𝑞 Suposición v(T) ≡ F
4. (𝑝 → 𝑞)^(𝑞 → 𝑝) LB
5. 𝑝 → 𝑞 SC en 4
6. ~𝑝 v 𝑞 Condicional
7. 𝑞 MTP entre 6 y 2
8. 𝑞 ^ ~𝑞 AD entre 7 y 3
9. F Complemento
10. q Reducción al absurdo

2. Demostrar: (𝑝 → 𝑟)v(𝑞 → 𝑟) ; ~(~𝑝 v r) ∴ 𝑞 → 𝑟

Proposiciones Razones

1. (𝑝 → 𝑟)v(𝑞 → 𝑟) Dato
2. ~(~𝑝 v r) Dato
3. ~(𝑞 → 𝑟) Suposición v(T) ≡ F
4. ~(𝑝 → 𝑟) 𝑝 → 𝑞 ≡ ~𝑝 v 𝑞
5. 𝑞 → 𝑟 MTP entre 4 y 1
6. ~(𝑞 → 𝑟) ^ (𝑞 → 𝑟) AD 3 y 5
7. 𝐹 Complemento
10. 𝑞 → 𝑟 Reducción al absurdo

• Método de casos

1. Demostrar (𝑝 → 𝑞)^𝑝 ; (~𝑞 → ~𝑝)^ (𝑝^𝑝) ⇒ 𝑞

Caso 1: (𝑝 → 𝑞)^𝑝 ⇒ 𝑞

Proposiciones Razones
1.(𝑝 → 𝑞)^ 𝑝 Dato
2.𝑝 → 𝑞 SC en 1
3.𝑝 SC en 1
4.𝑞 MPP entre 2 y 3
Caso 2: (~𝑞 → ~𝑝)^ (𝑝^𝑝) ⇒ 𝑞

Proposiciones Razones
1.(~𝑞 → ~𝑝)^ (𝑝^𝑝) Dato
2. ~𝑞 → ~𝑝) SC en 1
3.~(~𝑞) v ~𝑝 Condicional
4.𝑞 v ~𝑝 Complemento
5. 𝑝 SC en 1 / Idempotencia
6. 𝑞 MTP entre 3 y 4
7.[(𝑝 → 𝑞)^𝑝] v(~𝑞 → ~𝑝)^ (𝑝^𝑝) ⇒ 𝑞 Método de casos
A continuación, se procede a verificar mediante tablas de verdad con el respectivo diagrama sagital
perteneciente a la implicación.
p q [( p → q ) ^ p ] v [( ~ q → ~ p ) ^ ( p ^ p
)] ⇒ q
V V V V V V V V F V V F V V V V V V V
V F V F F F V F V F F F V F V V V V V
F V F V V F F F F V V V F F F F F V F
F F F V F F F F V F V V F F F F F V F

2. Demostrar (𝑝^𝑞) ; [𝑝 v (𝑝 ^𝑞)^q]^[ (𝑝 v 𝑞)] ∴ ~𝑝 → ~𝑞

Caso 1: (𝑝^𝑞) ⇒ ~𝑝 → ~𝑞
Proposiciones Razones
1. 𝑝^𝑞 Dato
2. 𝑝 SC en 1
3.𝑝 v ~𝑞 RA en 2
4. ~𝑞 v 𝑝 Conmutativa
5. 𝑞 → 𝑝 Condicional
6.~𝑝 → ~𝑞 Inversa
Caso 1: ; [𝑝 v (𝑝 ^𝑞)^q^ (𝑝 v 𝑞) ⇒ ~𝑝 → ~𝑞
Proposiciones Razones
1. [𝑝 v (𝑝 ^𝑞)]^[q^ (𝑝 v 𝑞)] Dato
2. 𝑝 v (𝑝 ^𝑞) SC en 1
3.𝑝 Absorción
3.𝑝 v ~𝑞 RA en 3
4. ~𝑞 v 𝑝 Conmutativa
5. 𝑞 → 𝑝 Condicional
6.~𝑝 → ~𝑞 Inversa
Método de casos
7. (𝑝^𝑞) v [𝑝 v (𝑝 ^𝑞)^q]^[ (𝑝 v 𝑞)] ⇒ ~𝑝 → ~𝑞

Bibliografía
Bastidas, P. y otros (2016). Lógica Matemática. Quito: Editorial ecu@futuro, Ecuador.
3. EJERCICIOS PROPUESTOS
Resolver los siguientes ejercicios por método de reducción al absurdo:
1.p; q→r; q→s;p↔q∴ r∨s
2.p; p→r; q→s;p↔q∴ r∨s
3.∼(p∧∼q) ;q→p∴p↔q
4.p↔q;∼(p∨q)∴{∼q∧(q→p)}∧∼p
5.(p→r)∨(q→r);∼(∼p∨r)∴q→r
Resolver los siguientes ejercicios por método de casos:
1.p∧q;[p∨(p∧q)]∧[q∧(p∨q)]∴∼p→∼q
2.(q→p)∧∼q;{∼q∧(∼p→∼q)}∴∼q
3.(q∨p)∧∼q;(q↓q)∧∼(∼p∧∼q)∴p
4.(p→q)∧p;(∼q→∼p)∧∼(p↑p)∴q
5.∼(p↑p);∼(p↓p)∴p∨q