Ejemplos: Deducciones

1. En la teoría Conjuntos, si a es un conjunto y ∅ es el conjunto vacío, la proposición

∅⊆a

es un teorema.
¿Por qué? Porque esta se deduce de un axioma o de un teorema que se dedu-
ce de un axioma de esta teoría. Veamos una de las posibles deducciones de esta
proposición.
Para simplificar el ejemplo, vamos a utilizar las letras minúsculas del alfabeto
español para representar conjuntos, de modo que no será necesario decir que a, b,
x, y, etcétera son conjuntos cuando aparezcan estas letras en las proposiciones.
A continuación, listemos un concepto definido y un teorema de la teoría de
conjuntos requeridos para la deducción:

∆: El signo a ⊆ b se utiliza para representar el concepto definido subconjunto

que se define explícitamente de la siguiente manera:
a es subconjunto de b si la proposición

x∈a⇒x∈b

es verdadera. Esto significa que esta proposición se representa por el signo

a ⊆ b.
T: Un teorema de esta teoría es la proposición

¬( a ∈ ∅),

donde a es cualquier conjunto.

Con esto presente, el siguiente es un procedimiento usual para deducir la pro-

posición
∅⊆a

a partir del teorema T.

i. Por la definición ∆, la proposición que vamos a deducir es

x ∈ ∅ ⇒ x ∈ a;

es decir, vamos a demostrar que es verdadera.

ii. Por el teorema T, la proposición

¬( x ∈ ∅)

es verdadera.

EPN - Junio - 2020 Cátedra: Fundamentos de Matemática 2

 iii. Por el axioma de la negación aplicado a [ii.], la proposición

x∈∅

es falsa.
iv. Por [iii.] y el axioma de la implicación, la proposición

x∈∅⇒x∈a

es verdadera (pues su antecedente es f), que es lo que queríamos demostrar.

En resumen,

La proposición
∅⊆a

se dedujo de los axiomas de los cuales se haya deducido el teorema T.

(Para el ejemplo, no es relevante indicar de qué axiomas se dedujo el teorema; lo

único que hay que garantizar es haya sido así).

EPN - Junio - 2020 Cátedra: Fundamentos de Matemática 3