Matemática Discreta - IIC 2252

Clase 11
Demostración de teoremas.
Álgebras de Boole.

1
Demostración de teoremas
Una de las aplicaciones más importantes de la lógica está dada por una
variedad de técnicas para la demostración de teoremas. Mencionaremos
sólo tres:
Demostración de implicaciones.
Demostraciones por contradicción.
Demostración por casos.

2
La implicación
Consideremos la implicación P → Q. Hay otras tres proposiciones
(todas implicaciones) muy relacionadas a ésta:
Su proposición recı́proca, Q → P .
Su proposición contraria, ¬P → ¬Q.
Su proposición contrarecı́proca, ¬Q → ¬P .
De estas tres, sólo la última es lógicamente equivalente a la primera; las
otras dos son lógicamente equivalentes entre sı́.
Ası́, cuando queramos demostrar un teorema de la forma P → Q,
podemos equivalentemente demostrar el contrarrecı́proco (pero no el
recı́proco o el contrario).

3
Demostraciones por contradicción (reductio
ad absurdum).
Supongamos que queremos demostrar P . Ya que

P ⇔ (¬P → Fo ),

podemos equivalentemente demostrar que

¬P → Fo ,

o sea, que si se supone que P es falso se deduce una contradicción.

En particular, para demostrar una implicación de la forma P → Q,
basta probar que de P ∧ ¬Q se deduce una contradicción.

4
Ejemplo de demostración por contradicción
La siguiente es una demostración, debida a Arquı́medes, de que los
primos son un conjunto infinito. Supongamos que no es ası́. Sea P el
conjunto de todos los primos, y supongamos que dicho conjunto es
finito, digamos
P = {p1 , p2 , . . . , pn } .
Consideremos el número

N = p1 p2 · · · pn + 1.

Claramente, N no es divisible por ninguno de los elementos de P. Pero

N debe ser divisible por algún primo q (¿por qué?), de donde se
desprende que dicho primo q no pertenece a P. Pero entonces q es un
primo que no pertenece a P, lo cual contradice la hipótesis de que P es
el conjunto que contiene a todos los primos.

5
Demostración por casos
La equivalencia lógica

(P ∨ Q) → R ⇔ (P → R) ∧ (Q → R)

nos sugiere que, en vez de demostrar (P ∨ Q) → R, podemos demostrar

equivalentemente que:
(P → R), y
(Q → R).
En particular, como

P ⇔ To → P ⇔ (Q ∨ ¬Q) → P,

podemos demostrar P probando que Q → P y que ¬Q → P .

6
Ejemplo de demostración por casos
Para demostrar que

n ∈ Z → n2 − 3 no es múltiplo de 4

basta probar que, si n es par, entonces n2 − 3 no es múltiplo de 4, y

que si n es impar, entonces n2 − 3 no es múltiplo de 4.

7
Definición de Álgebra de Boole
Un Álgebra de Boole es una estructura

hB, t, u, (·)0 , 0̂, 1̂i,

donde
B es un conjunto (el dominio o universo)
(·)0 : B −→ B
u, t : B × B −→ B
0̂, 1̂ ∈ B (los elementos distinguidos del Álgebra de Boole).
que tiene las siguientes propiedades:

8
 Propiedades de las Álgebras de Boole
AB1 Conmutatividad Para todo a, b ∈ B:
atb=bta aub=bua
AB2 Asociatividad
(a t b) t c = a t (b t c)
(a u b) u c = a u (b u c)
AB3 Distributividad
a t (b u c) = (a t b) u (a t c)
a u (b t c) = (a u b) t (a u c)
AB4 Elementos neutros
a t 0̂ = a a u 1̂ = a
AB5 Complementos
a t a0 = 1̂ a u a0 = 0̂

9
Observaciones:
AB1 - AB5 son los axiomas de la teorı́a de las álgebras de Boole
Ejercicio: Verificar que cada una de las tres estructuras que
presentamos antes son AB
Hay que interpretar los sı́mbolos de los axiomas en la forma
correspondiente a cada estructura en cuestión, por ejemplo, en el
caso de los conjuntos, AB5 se interpreta en la forma: A ∪ Ac = U ,
etc.
La teorı́a de Álgebra de Boole está formada por las proposiciones
que se deducen matemáticamente a partir de los axiomas: los
teoremas.

10
Teoremas del Álgebra de Boole
TEOREMA 1: IDEMPOTENCIA
1. a t a = a 2. a u a = a
Observaciones:
El teorema dice que en toda AB y para todo elemento a en su
dominio se cumple la propiedad.
¿De donde sale el teorema?
Se cumple en una AB particular y se conjetura que puede ser
verdadero en toda AB.
Se intuye directamente de los axiomas. Pero será teorema de las
AB en la medida que sea demostrado a partir de los axiomas.
No basta (en general) con verificarlo en un AB particular.

11
Demostración del teorema 1.1

a t 0̂ = a Por AB4
a t (a u a0 ) = a Por AB5
(a t a) u (a t a0 ) = a Por AB3
(a t a) u 1̂ = a Por AB5
(a t a) = a Por AB4

12
Algunas preguntas
1. ¿Qué usamos?
a) Axiomas del Álgebra de Boole más razonamiento
lógico-matemático, especı́ficamente, razonamiento con la
igualdad:
(i) reemplazo de términos iguales en una expresión (ecuación en
este caso)
(ii) transitividad de la igualdad: si a = b y b = c, entonces a = c.

13
 Más preguntas
2. ¿Cuál es el estatus lógico del teorema?
Al haber sido demostrado a partir de los axiomas usando los
métodos deductivos del razonamiento matemático, ha quedado
establecido como una consecuencia lógica de los axiomas, como
elemento de la teorı́a de las AB: es verdadero en toda AB,
interpretando los sı́mbolos en los axiomas y teoremas como los
correspondientes al AB en cuestión, por ejemplo:
A ∪ A = A, or(x, x) = x, p ∨ p ≡ p, etc.
Ejercicio: ¿Qué hay que hacer para establecer que una proposición
(en el lenguaje de la teorı́a de AB) no es parte de la teorı́a de AB?
Dé un ejemplo.

14
 Más preguntas
3. ¿Qué hay del teorema 1.2.?
Se puede hacer directamente imitando la demostración de 1.,
cambiando lo que hay que cambiar (mutatis mutandis)

O apelando al “Principio de Dualidad”: si una propiedad

expresada en términos de u, t, 1̂ y 0̂ es verdadera en toda AB,
entonces la propiedad obtenida de la anterior reemplazando u por
t y 0̂ por 1̂ (y viceversa) también es verdadera en toda AB.
Éste es un metateorema (teorema fuera de la teorı́a misma), que se
puede demostrar a metanivel, apelando a la ló gica y la simetrı́a de
los axiomas de AB.

15