Lógica Proposicional

Fundamentos de Cálculo

Liliana Puchuri
Pontifica Universidad Católica del Perú
lpuchuri@pucp.pe

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 1/9

Métodos de demostraciones

Muchos teoremas son implicaciones de la forma p → q;

Notar que una implicación p → q es V excepto cuando p es V y q es F .
Cuando se demuestra que p → q es V, hay que probar que q es V cuando p
lo es.
Existen diversas formas para realizar un demostración.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 2/9

Demostración directa
¿Cómo probar que la proposición p → q es siempre verdadera?
Proposición
Si p, entonces q

Demostración. Supongamos p V.
..
. (proposiciones verdaderas y definiciones)

En consecuencia q V.

Ejemplo
Sean a y b númenos enteros. Demuestre que si a y b son pares entonces a + b es par.

Definición
Un número entero n es par si existe un entero k tal que n = 2k. Un entero n es impar si existe
un entero k talque n = 2k + 1.

Observación
Un entero n, o bien es par, o bien es impar.
Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 3/9
Demostración por Exhaustividad

Para demostrar p → q. La conclusión q se establece al dividir el problema casos, y

probarlo cada uno por separado.

Ejemplo
Demuestre que n(n + 1) es par todo n entero.

Ejemplo
Demuestre que n(n + 1)(2n + 1) es múltiplo de 6 todo n entero.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 4/9

Demostración por contrarrecı́proca

Recordemos que p → q es equivalente a ∼q → ∼p.

Proposición
Si p, entonces q.

Demostración. Supongamos ∼q V, esto es q F.

..
. (proposiciones verdaderas y definiciones)

En consecuencia ∼p V, esto es p V.

Ejemplo
Sea n un número entero. Pruebe que si n2 es impar entonces n es impar.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 5/9

Proposición
Si p, entonces q

Demostración. Supongamos p V.

..
. (proposiciones verdaderas y definiciones)

En consecuencia q V.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 6/9

Demostración por contradicción

Usaremos este tipo de demostración de una proposicion condicional p → q o p.

Proposición
Demostrar p.

Demostración. Supongamos ∼p .

..
. (proposiciones verdaderas y definiciones)

En consecuencia r ∧ ∼r F.

Ejercicio
Demostrar que la suma de un número racional y un número irracional es un número irracional.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 7/9

Proposición
Demostrar p → q.

Demostración. Supongamos p ∧ ∼q .

..
. (proposiciones verdaderas y definiciones)

En consecuencia r ∧ ∼r F.

Ejercicio
Si la suma de tres número enteros a, b, c es par entonces su producto es par.

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 8/9

Ejemplo
Pruebe la verdad de las siguientes proposiciones:
a2
Sean a y b números reales. Si a 6= 2b entonces + b 2 > ab.
4
[1ra PC, 2017-2] Si a es número entero entonces a3 − a y
(a − 1)3 + a3 + (a + 1)3 son múltiplos de 3.

Ejemplo
[Ejemplo:] [1ra PC, 2017-2] Sean a y b reales positivos. Si a + b = 4 entonces
4
≥ 1.
ab

Fundamentos de Cálculo Lógica Proposicional Liliana Puchuri 9/9