5to año Repartido 1

CONCEPTOS BÁSICOS DE
LÓGICA
Prof. Marcos Silva
“Es por ló gica qu e d emostramos, p ero es por intuición que de scubrimos”
Henri Poincar é. (Ma temático fra ncés 1854 – 1912)

Podríamos decir que la lógica, es la disciplina que se encarga de estudiar los razonamientos,
estableciendo reglas y técnicas para decidir si un determinado razonamiento es válido o no. Si
bien fue el filósofo griego Aristóteles (384 AC – 322 AC) el primero en hacer un estudio sistemático
del razonamiento lógico, se debe al matemático y filósofo alemán Gottfried Leibniz (1646 – 1716)
el desarrollo de la lógica simbólica como un lenguaje científico universal. Dentro de los que hicieron
grandes aportes a la teoría están también el inglés George Boole (1815 – 1864) y el alemán
Gootlieb Frege (1848 – 1925).

Dado que la lógica aporta las bases para construir una teoría matemática sin contradicciones, es
que a continuación presentaremos, de manera intuitiva, algunos conceptos básicos.

1. PROPOSICIONES

En toda teoría matemática se hacen oraciones declarativas, llamadas

proposiciones o enunciados. Una proposición o enunciado es una oración de la
cual podemos decir si es verdadera o falsa. Es por tal motivo que decimos que las
proposiciones son bivalentes , puede tomar solo dos valores de verdad, que son 𝑉
y 𝐹 , 𝑉 si es verdadera y 𝐹 si es falsa.
Ejemplos de o raciones que son proposiciones:
1) Los triángulos equiláteros tienen sus tres lados iguales.
2) 3 + 5 = 11
3) Si la temperatura desciende, entonces hace frío o llueve.
Ejemplos de oraciones que no son proposiciones:
4) Debes estudiar asiduamente.
5) ¿Qué hora es?
6) ¡Qué buena fiesta!
7) El número 𝑥 es un número par.

Matemática Científica 2022 1

 5to año Repartido 1

La oración 7) no es una proposición ya que no puede decirse si es verdadera o

falsa, si no se le asigna un valor a 𝑥. Si, por ejemplo, remplazamos 𝑥 por 3
obtenemos una proposición falsa, pero si lo remplazamos por 4 obtenemos una
proposición verdadera. A pesar de ello, decimos que oraciones como la 7) son
proposiciones abiertas con una sola variable (en este caso 𝑥). En general, una
proposición abierta, contiene una o más variables y no es una proposición, salvo
que se sustituya cada una de las va riables por ciertas opciones permitidas.

2. PRINCIPIOS LÓGICOS FUNDAMENTALES

Los principios lógicos establecen ciertas reglas a seguir para lograr coherencia y
sistematicidad en el pensamiento. Son los cimientos que rigen toda for ma
“correcta del pensam iento”.

Los principios lógicos fundamentales son:

1) Principio de identidad : Todo hecho, concepto u objeto es igual o idéntico a

sí mismo. Este principio puede simbolizarse como 𝑎 = 𝑎 cualquiera sea 𝑎.
Por ejemplo, el perro de Luis es el perro d e Luis.

2) Principio de contradicción : Bajo las mismas condiciones y en el mismo

momento, es imposible que u na proposición sea y no sea verdadera a la
vez. Por ejemplo, es imposible que una figura sea cuadrado y no sea
cuadrado, una figura es cuadrado o no es cuadrado. Usted puede estar
tomando café ahora y no estarlo después, pero no puede estar y no estar
tomando café ahora.

3) Principio del tercer excluido : Cualquier proposición o es verdadera o es

falsa. Es decir, dadas las proposiciones: 1) 𝑝 es 𝑞 y 2) 𝑝 no es 𝑞 , debemos
reconocer a una de ellas como verdadera y a la otra como falsa, excluyendo
la posibilidad de una tercera opción.

Por ejemplo, consideremos las proposiciones 1) la ballena es un reptil y

2) la ballena no es un reptil. Por el principio de contradicción, no podemos
aceptar ambas proposiciones como verdaderas, pero por el principio del
tercer excluido no puedo considerar las dos como falsas. Una
necesariamente es verdadera y la otra es falsa.

4) Principio de la razón suficien te: Todo juicio debe tener una razón
suficiente.

Matemática Científica 2022 2

 5to año Repartido 1

Podríamos resumir el principio de la razón suficiente diciendo “Todo es por

algo”. Por ejemplo, la Segunda Guerra Mundial se produjo por alguna razón
y esa razón se encuentra al estudiar sus antecedentes .

3. CONECTIVOS LÓGICOS

Podemos distinguir dos tipos de proposiciones, las proposiciones simples y las

compuestas. Una proposición simple consta de solo un sujeto y un predicado.
Por ejemplo, Luis es ingeniero. Las proposiciones compuestas , son
proposiciones simples unidas mediante conectivos lógicos como por ejemplo el
“𝑦” o el “𝑜”. Ejemplos de proposiciones compuestas son: “Luis es ingeniero y su
familia vive en Uruguay” o “Si desciende la temperatura, lloverá o habrá viento”.

Los llamados conectivos lógicos son: la negación, la conjunción, la disyunción, el

condicional y el bicondicional, Los símbolos utilizados para estos conectivos se
indican en la tabla adjunta

NEGACIÓN

Si 𝑝 es una proposición, entonces “no 𝑝 ” es una proposición, llamada negación

de 𝑝 y se simboliza ¬ 𝑝.

Por ejemplo, si 𝑝 es la proposición “mañana llueve” entonces la negación de 𝑝 es

“no es cierto que mañana llueve” o lo que es lo mismo “mañana no llueve”. Se
debe tener cuidado al negar una proposición. La negación de la proposición
“todos los alumnos estudian física” no es “ningún alumno estudia física” sino que
es “existe por lo menos un alumno que no estudia física”.

Es claro que, si la proposición 𝑝 es verdadera, entonces ¬ 𝑝 es falsa y si 𝑝 es falsa,

entonces ¬ 𝑝 es verdadera. Esta información se puede resumir en la siguiente
tabla llamada tabla de verdad para la negación:

Matemática Científica 2022 3

 5to año Repartido 1

CONJUNCIÓN

Si 𝑝 y 𝑞 son dos proposiciones cualesquiera, entonces “ 𝑝 y 𝑞 ” es una nueva

proposición, llamada conjunción de 𝑝 y 𝑞 y que se simboliza: 𝑝 ∧ 𝑞

Por ejemplo, la proposición “Tengo un perro y un gato” se puede escribir de la

forma “Tengo un perro y tengo un gato” Esta es verdadera si lo son las
proposiciones “Tengo un perro” y “Tengo un gato”.

La conjunción 𝑝 ∧ 𝑞 es una proposici ón verdadera s ólo cuando p y q son

verdaderas, por tal motivo, la tabla de verdad para la conjunci ón es la siguiente:

DISYUNCIÓN

Si 𝑝 y 𝑞 son dos proposiciones, “𝑝 o 𝑞” es una proposición, llamada disyunción de

𝑝 y 𝑞, y se simboliza: 𝑝 ∨ 𝑞.

Por ejemplo, si p es la proposición: “Ana fue al cine” y q es la proposición “Luis

fue al teatro” entonces 𝑝 ∨ 𝑞 es la proposici ón “Ana fue al cine o Luis fue al
teatro”.

En matemática siempre consideraremos que el “o” es inclusivo (por definición),

esto quiere decir que una proposición de la forma 𝑝 ∨ 𝑞 es verdadera si p es
verdadera o q es verdadera o ambas lo son. Por ejemplo, si afirmamos que “fui
al cine o al teatro” es posible que haya ido al cine y al teatro a la vez.

La tabla de verdad para la disyunción es la siguiente:

CONDICIONAL O IMPLICACIÓN

Si 𝑝 y 𝑞 son dos proposiciones, entonces la proposición: “si 𝑝 entonces 𝑞 ” se

llama condicional o implicación de 𝑞 por 𝑝 y se simboliza como: 𝑝 ⇒ 𝑞. En el
condicional 𝑝 ⇒ 𝑞, p se llama antecedente y q consecuente.

Matemática Científica 2022 4

 5to año Repartido 1

El símbolo 𝑝 ⇒ 𝑞 se pueden leer de las siguientes formas: “si 𝑝 entonces 𝑞”, “𝑝

implica 𝑞”, “𝑝 es condición suficiente para 𝑞” o “𝑞 es condición necesaria para 𝑝”.

Por ejemplo, si 𝑝 es la proposición “Ana fue al cine” y 𝑞 es la proposición “Luis fue

al teatro”, entonces 𝑝 ⇒ 𝑞 es una proposición que se puede leer como: “Si Ana
fue al cine entonces Luis fue al teatro”.

La proposición 𝑝 ⇒ 𝑞 es verdadera en todos los casos salvo cuando 𝑝 es verdadera

y 𝑞 es falsa.

Por ejemplo, consideremos las proposiciones 𝑝 y 𝑞 donde 𝑝: “apruebo el examen”

y 𝑞: “presto el libro”. Podemos con siderar a la proposición 𝑝 ⇒ 𝑞 como un
“compromiso” condicionado por 𝑝. Si 𝑝 es falsa, es decir, si no apruebo el
examen, queda liberado el compromiso y por tanto si 𝑞 es verdadera o falsa, la
implicación 𝑝 ⇒ 𝑞 es verdadera. Por el contrario, si 𝑝 es verdadera, es decir, si es
verdad que apruebo el examen y es falso que preste el libro, el compromiso no se
cumple y por tanto la implicación 𝑝 ⇒ 𝑞 es falsa.

Aunque pueda resultar extraño, la proposición “Si 2 + 2 = 5, entonces 3 + 7 =

14 ” es verdadera, debido a que las proposiciones 2 + 2 = 5 y 3 + 7 = 14 son
falsas (en la aritmética usual).

La tabla de verdad para el condicional es la siguiente:

Hay que tener en cuenta que en el condicional 𝑝 ⇒ 𝑞 no necesariamente se da una

relación de “causa – efecto” entre el antecedente y el consecuente. Por ejemplo,
en la implicación “si corro mucho, entonces me canso” efectivamente hay una
relación de causa (corro mucho) y efecto (me canso), pero en la impli cación “si 2
es un número impar, entonces el cuadrado es un triángulo” no la hay y sin
embargo ambas implicaciones son verdaderas.

BICONDICIONAL O DOBLE IMPLICACIÓN

Si 𝑝 y 𝑞 son dos proposiciones, entonces “ 𝑝 si y sólo si 𝑞 ” es una proposición

llamada doble implicación o bicondicional de 𝑝 y 𝑞, y se simboliza como 𝑐.

La proposición 𝑝 ⇔ 𝑞 es la misma que la proposici ón (𝑝 ⇒ 𝑞)⋀(𝑞 ⇒ 𝑝). Decir que la

proposición 𝑝 ⇔ 𝑞 es verdadera, equivale a decir que tanto 𝑝 ⇒ 𝑞 como 𝑞 ⇒ 𝑝 son
verdaderas.

Matemática Científica 2022 5

 5to año Repartido 1

Las distintas formas de leer el símbolo 𝑝 ⇔ 𝑞 son: “𝑝 si y sólo si 𝑞”, “𝑝 es

condición necesaria y suficiente para 𝑞” o “𝑝 y 𝑞 son proposiciones equivalentes ”.

La proposición 𝑝 ⇔ 𝑞 es verdadera, únicamente cuando 𝑝 y 𝑞 sean ambas

verdaderas o ambas falsas.

Por ejemplo, la proposición “La Tierra es cuadrada si y sólo si la Luna es de

queso” es verdadera, ya que las proposiciones “La Tierra es cuadrada” y “La Luna
es de queso” son ambas falsas.

La tabla de verdad para el bicondicional es la siguiente:

Ejercicio 1
Se consideran las siguientes proposiciones:
𝑠: Luis va al cine. 𝑡: La temperatura es agradable. 𝑢: Está lloviendo.

a) Traducir al lenguaje usual cada una de las siguientes proposiciones.

1) 𝑡 ⇒ 𝑠 2) ¬ 𝑢 ⇒ ¬ 𝑠 3) 𝑡 ∨ ¬ 𝑢 4) 𝑠 ⇔ ¬ 𝑢 5) (𝑡 ∧ 𝑢) ⇒ ¬ 𝑠

b) Simbolizar las siguientes proposiciones usando los conectivos lógicos.

1) Si la temperatura es agradable y no está lloviendo, Luis va al cine.
2) Si la temperatura es agradable, entonces no está lloviendo, Luis va al cine.
3) Que la temperatura sea agradable y que no esté lloviendo es necesario
para que Luis vaya al cine.

Ejercicio 2
Si 𝑝 y 𝑞 son dos proposiciones cualesquiera, completar las siguientes tablas de
verdad. Observar columnas iguales.

Matemática Científica 2022 6

 5to año Repartido 1

4. IMPLICACIONES RECIPROCAS, CONTRARIAS Y

CONTRARRECÍPROCAS

A cada implicación 𝑝 ⇒ 𝑞 podemos asociarle otras tres implicaciones que son:

1) 𝑞 ⇒ 𝑝 llamada recíproca .

2) ¬ 𝑝 ⇒ ¬ 𝑞 llamada contraria.

3) ¬ 𝑞 ⇒ ¬ 𝑝 llamada contrarrecíproca . (Lleva este nombre por ser la

proposición contraria a la recíproca).

Por ejemplo, Si consideremos la proposición “Si Ana salva el examen, entonces

Ana es buena estudiante” La recíproca es: “Si Ana es buena estudiante, entonces
Ana salva el examen”
La contraria es: “Si Ana no salva el examen, entonces Ana no es buena
estudiante”
La contrarrecíproca es: “Si Ana no es buena estudiante, entonces Ana no salva el
examen”

Observar que si una proposición es verdadera, no tiene por qué serla su

recíproca. Por ejemplo, si la proposición “Si Ana salva el examen, entonces Ana
es buena estudiante” es verdadera, entonces no necesariamente es verdadera la
proposición “Si Ana es buena estudiante, entonces Ana salva el examen”.

Las tablas de verdad para las impl icaciones recíprocas, contraria y

contrarrecíproca de una proposición cualquiera se presentan en la siguiente
tabla:

Matemática Científica 2022 7

 5to año Repartido 1

Como puede observarse, en la tabla de verdad, la columna correspondiente a 𝑝 ⇒

𝑞, es la misma que las columnas correspondientes a las implicaciones ¬ 𝑞 ⇒ ¬ 𝑝
y ¬𝑝∨𝑞

Sin embargo, la columna correspondiente a la implicación 𝑝 ⇒ 𝑞 no es la misma

que la de la implicación recíproca 𝑞 ⇒ 𝑝 ni la de su contraria ¬ 𝑝 ⇒ ¬ 𝑞.

En resumen, la verdad de una proposición, no asegura la verdad de su recíproca

ni la de su contraria, pero si la de su contrarrecíproca. Es por tal motivo, que
podemos decir que la proposición contrarrecíproca de una proposición dada, es la
misma proposición, pero dicha con otras palabras.

Ejercicio 3
Para cada una de las siguientes proposiciones escribir la contraria, la recíproca y
la contrarrecíproca.
a) Si está lloviendo , no voy al liceo.
b) Andrés saldrá de paseo si hay luna llena.

5. PROPOSICIONES EQUIVALENTES

Decimos que dos proposiciones 𝑟 y 𝑠 son lógicamente equivalentes cuando 𝑟 y

𝑠 son ambas verdaderas o ambas falsas.

Cuando dos proposiciones son lógicamente equivalentes, podemos decir que,

ellas son dos maneras distintas de decir lo mismo.

Una proposición y su contrarrecíproca son lógicamente equivalentes y no lo son,

una proposición y su recíproca. Dejamos como eje rcicio, buscar en la tabla
anterior, proposiciones lógicamente equivalentes.

Es bastante común en matemática, sustituir una proposición por su

contrarrecíproca, por ser esta última, a veces, de más fácil manejo que la
anterior. La equivalencia lógica en tre una proposición y su contrarrecíproca es la

Matemática Científica 2022 8

 5to año Repartido 1

base de las demostraciones por reducción el absurdo, que estudiaremos más

adelante.

Ejercicio 4
a) Si p y q son dos proposiciones cualesquiera, investigar si las siguientes
proposiciones son lógicamente equiv alentes.
1) ¬ (𝑝 ⟹ 𝑞) y 𝑝 ⋀ ¬ 𝑞
2) 𝑝 ⇔ 𝑞 y (𝑝 ∧ 𝑞) ∨ (¬ 𝑝 ∧ ¬ 𝑞)
3) 𝑝 y ¬ 𝑝 ⟹ (𝑞 ∧ ¬ 𝑞)
4) 𝑝 ⋀ ¬ 𝑞 y ¬ 𝑝 ∨ ¬ 𝑞

b) 1) ¿Alguna de las parejas de proposiciones dadas en a) es la negación de la

otra? Justificar la respuesta.

2) Negar las siguientes proposiciones:

i. Si amarte es un error, no quiero estar en lo correcto.
ii. Si Luis salva matemática, su familia le hace una fiesta.

6. CUANTIFICADORES

Los cuantificadores expresan en forma simbólica conceptos como, “todo ”,

“ninguno” o “existe algún”.

Consideremos las siguientes proposiciones:

𝑝: Algún humano habrá que cada día mire 2 horas de televisión.
𝑞: Algún humano habrá cada día que mire 2 horas de televisión.

Las palabras “algún” y “cada” que aparecen en las proposiciones 𝑝 y 𝑞 son

llamadas cuantificadores lógicos. Observar que la posición en que estos apar ecen
en la proposición hace que ambas proposiciones digan cosas diferentes. La
proposición 𝑝, afirma que hay un humano, el mismo siempre, que cada día mira 2
horas de televisión, mientras que la proposición 𝑞 asegura que cada día habrá un
humano, dejando la posibilidad de que sea uno diferente cada día, que mire
televisión 2 horas al día.

La frase “algún 𝑥” que es equivalente a decir, “existe un 𝑥” se simboliza como:

∃ 𝑥 y se llama cuantificador existencial . Usando esta terminología, el símbolo:
∃ 𝑥 ∕ 𝑝, se lee “existe 𝑥 tal que 𝑝 ”.

Matemática Científica 2022 9

 5to año Repartido 1

La frase “para todo 𝑥” o “cada 𝑥” o “para cualquier 𝑥” se simboliza como:

∀ 𝑥 y se llama cuantificador universal. Usando esta simbología la
proposición: ∀ 𝑥 ∕ 𝑝, se lee “para todo 𝑥 tal que 𝑝".

Por ejemplo, la proposición “Para todo 𝑥, si 𝑥 es múltiplo de 4 entonces 𝑥 es

múltiplo de 2” se puede simbolizar así: ∀ 𝑥, 𝑝(𝑥) ⟹ 𝑞(𝑥) donde 𝑝(𝑥) es “ 𝑥 es
múltiplo de 4” y 𝑞(𝑥) es “ 𝑥 es múltiplo de 2”.

NEGACIÓN DE CUANTIFICADORES

La negación de la proposición “Todos los hombres tienen pelo corto” es “Existe

algún hombre que no tiene pelo corto” y recíprocamente la negación de la
proposición “Existe algún hombre que no tiene pelo corto” es “Todos los
hombres tienen pelo corto”.

En general, la negación de “ ∀ 𝑥 ∕ 𝑝(𝑥)” es la proposición “∃ 𝑥 ⁄¬ 𝑝(𝑥)” y

recíprocamente, la negación de la proposición “ ∃ 𝑥 ⁄¬ 𝑝(𝑥)” es la proposición
“∀ 𝑥 ∕ 𝑝(𝑥)”.

Ejercicio 5
Traducir el siguiente enunciado a lenguaje simbólico y luego negarl o. Cuando el
producto de dos números positivos es mayor a veinticinco, podemos concluir qu e
uno de ellos es mayor a cinco.

7. CONCEPTOS PRIMITIVOS, DEFINICIONES, AXIOMAS Y TEOREMAS

En toda teoría matemática se pueden distinguir cuatro elementos: los conceptos

primitivos, los axiomas, las definiciones y los teoremas.

Los conceptos o elementos primitivos son los que no se definen por no poder
reducirlos a otros más sencillos. Por ejemplo, en la geometría clásica son
conceptos primitivos, punto, recta y plano, estos conceptos no se definen.

Matemática Científica 2022 10

 5to año Repartido 1

AXIOMAS

Los axiomas son supuestos iniciales que entrelazan l os conceptos primitivos. Se

aceptan sin demostración y son el punto de partida del desarrollo de la teoría.
Por ejemplo, un axioma de la geometría clásica es el axioma de determinación de
una recta, que afirma: “Dos puntos distintos determinan una única r ecta a la que
pertenecen” Los axiomas de la geometría clásica (o euclidiana) vinculan los
conceptos de punto, recta y plano sin que previamente se hayan definido. En este
caso se apela a la intuición, para dar una interpretación natural a dichos
conceptos. No conocemos cual es la naturaleza de los objetos con los cuales
trabajamos, solo conocemos, gracias a los axiomas, cuales son las relaciones
entre ellos.

DEFINICIONES

En cuanto a las definiciones en matemática, aclaremos que estas no son axiomas,

estas introducen nuevos términos que se expresan a partir de los axiomas o de
otros ya conocidos. Por ejemplo, en la geometría clásica, la definición de puntos
alineados, como tres puntos que pertenecen a una misma recta, se expresa
haciendo referencia al ax ioma de determinación de una recta. Definir es dar un
nombre a un objeto que verifica determinada o determinadas propiedades, es
poderlo identificar de manera única en el contexto en el que se está trabajando.
Las definiciones son convenciones, se puede definir triángulo equilátero como un
triángulo con sus tres lados iguales, o como un triángulo que tiene sus tres
ángulos iguales. Una definición debe ser suficientemente clara, que dado un
concepto, debemos poder decidir si cumple o no con tal definic ión. Es bastante
común, al definir un concepto matemático, utilizar “si” o “cuando” en vez de
utilizar “sí y sólo si”, es decir, se utiliza el condicional cuando en realidad lo más
adecuado es utilizar el bicondicional. Por ejemplo, si queremos definir cuando
tres puntos están alineados, podemos decir, tres puntos están alineados si
pertenecen a una misma recta o tres puntos están alineados cuando pertenecen
a una misma recta, en vez de decir, tres puntos están alineados si y sólo si
pertenecen a una misma recta.

Por convención, “sí” o “cuando” en las definiciones matemáticas tendrá el

mismo significado que “sí y sólo si”.

Una vez que son establecidos los elementos primitivos y que se enuncian los
axiomas de una determinada teoría matemática, se procede a la formulación de
nuevas proposiciones, llamadas teoremas, que son consecuencias de axiomas u
otros teoremas ya demostrados y cuya verdad debe demostrarse mediante las
reglas de la lógica.

Matemática Científica 2022 11

 5to año Repartido 1

Ejemplo 1:

Supongamos que conocemos los significados de las relaciones de parentesco:

hermano, hijo, padre, primo y tío (conceptos primitivos) Consideremos los
siguientes axiomas:
1) Juan es hermano de Pedro.
2) Luis es hijo de Juan.
3) Pedro es el padre de M artín.
A partir de estos tres axiomas, se pueden deducir los siguientes teoremas:
a) Juan es tío de Martín.
b) Luis es primo de Martín.

Es importante tener en cuenta, que las proposiciones que se pueden deducir,

dependen de las que se consideran c omo punto de partida.
La elección de los axiomas de una determinada teoría, es en gran medida
arbitraria, siempre y cuando se verifiquen las siguientes propiedades:
1) Consistencia: No pueden existir dos axiomas o teoremas que sean
contradictorios o que se deduzcan de los otros.
2) Completitud: Todo teorema tiene que poderse deducir a partir de los
axiomas o de teoremas anteriores.
3) Independencia: Ningún axioma se debe deducir de los otros.

En toda teoría, los axiomas deben verificar necesariamente las propiedades de

consistencia y completitud, pero no necesariamente deben verificar la propiedad
de independencia. El hecho que el conjunto de axiomas verifique la propiedad de
independencia, solo asegura que los axiomas enunciados son los mínimos posibles
para el desarrollo de la teoría.

TEOREMAS

La palabra teorema, proviene del latín theorema, que significa verdad no obvia
pero si demostrable. Como ya fue mencionado anteriormente, los teoremas son
proposiciones que son consecuencia de proposiciones anteriores (axiomas o
teoremas ya demostrados). Los teoremas son proposiciones verdaderas de la
forma: 𝐻 ⟹ 𝑇 o 𝐻 ⟺ 𝑇.

En un teorema 𝐻 ⟹ 𝑇, 𝐻 se llama hipótesis del teorema y 𝑇 se llama tesis o

conclusión.

Matemática Científica 2022 12

 5to año Repartido 1

La hipótesis de un teorema es una o un conjunto de proposiciones dadas y la

tesis, es la o las proposiciones que se deducen lógicamente de la hipótesis, es
decir, la conclusión.

Por ejemplo, un teorema conocido seg uramente por el lector es el teorema de

Pitágoras, que afirma lo siguiente:

̅̅̅̅ 2 = ̅̅̅̅
Si 𝐴𝐵𝐶 es un triángulo con un ángulo recto en 𝐵, entonces 𝐴𝐶 ̅̅̅̅ 2
𝐴𝐵2 + 𝐵𝐶

La hipótesis del teorema es: “ 𝐴𝐵𝐶 es un triángulo con un ángulo recto en 𝐵” y la

̅̅̅̅ 2 = ̅̅̅̅
tesis: 𝐴𝐶 ̅̅̅̅ 2
𝐴𝐵2 + 𝐵𝐶

Ejercicio 6
Identificar la hipótesis y la tesis de los siguientes teoremas.
a) Si 𝑎 y 𝑏 son números impares, entonces 𝑎 + 𝑏 es un número par.
b) La suma de los ángulos interiores d e un triángulo es 180 o .
c) Dos rectas paralelas a una tercera son paralelas entre sí.

DISTINTAS FORMAS DE DEMOSTRAR UN TEOREMA

Demostrar un teorema 𝐻 ⟹ 𝑇, significa verificar que la proposición 𝐻 ⟹ 𝑇 es

verdadera.

La demostración de un teorema consiste en una cadena, no infinita, de

proposiciones verdaderas. Una de ellas es la hipótesis y las restantes son
proposiciones justificadas por la hipótesis, axiomas, definiciones o teoremas
anteriores, siguiendo los principios de la lógica y do nde la última proposición es
la tesis. En resumen, la demostración de un teorema, es la cadena lógica por la
cual a partir de la hipótesis se infiere la tesis.

Existen varias formas de demostrar que un teorema de la forma 𝐻 ⟹ 𝑇 es

verdadero. Estas formas son:

DEMOSTRACIÓN DIRECTA

La tabla de verdad de la implicación, permite observar que si queremos demostrar

que el teorema 𝐻 ⟹ 𝑇 es verdadero, basta con demostrar que 𝑇 es verdadera
asumiendo que 𝐻 lo es (ya que si 𝐻 es falsa, la proposición 𝐻 ⟹ 𝑇 es verdadera).

Matemática Científica 2022 13

 5to año Repartido 1

Una demostración directa es cuando la verdad de 𝑇 se deduce lógicamente de la

verdad de 𝐻.

Es decir, en una demostración directa, asumimos que la hipótesis es verdadera y

usando proposiciones que sabemos so n verdaderas, concluimos que la tesis
también lo es.

Ejemplo 2:

Demostraremos de forma directa el siguiente teorema:

Si 𝑛 es un número natural y 𝑛 es par, entonces 𝑛2 es par.
(Recuerde que los números naturales son 0 , 1 , 2 , 3 , 4, . . . . . . . .. y que un número
natural 𝑛 es par si existe un número natural 𝑎 tal que 𝑛 = 2𝑎)

Demostración :
𝒏 es un número par ⟹ existe un número natural 𝑎 tal que 𝑛 = 2𝑎 ⟹ 𝑛2 =
(2𝑎)2 ⟹ 𝑛2 = 4𝑎2 ⟹ 𝑛2 = 2(2𝑎2 ) ⟹ 𝒏𝟐 es un número par

Observe que se parte de la hipótesis del teorema ( 𝑛 es un número natural y par)

y se termina concluyendo la tesis (𝑛2 es un número par).

DEMOSTRACIÓN POR CONTRARRECÍPROCO

Como ya mencionamos, una proposición 𝐻 ⟹ 𝑇 y su contrarrecíproca ¬ 𝑇 ⟹ ¬ 𝐻

son lógicamente equivalentes, es decir, son dos formas de decir lo mismo. Esto
lleva muchas veces a demostrar un teorema, enunciando su contrarrecíproco y
demostrando este por dem ostración directa. Esta forma de demostrar un
teorema consiste en suponer que 𝑇 es falsa y utilizando, axiomas, teoremas y
reglas de la lógica, concluir que 𝐻 es falsa. Es importante aclarar, que muchas
veces la demostración directa de un teorema puede ser muy complicada o
imposible y no serlo la demostración por contrarrecíproco y al revés. Corre por
cuenta de quién demuestra el teorema la habilidad por elegir la mejor forma para
demostrarlo.

Ejemplo 3:

Demostraremos el siguiente teorema demostrando su contrarrecíproco:

Si 𝑛 es un número natural y 𝑛2 es par, entonces n es par.

Matemática Científica 2022 14

 5to año Repartido 1

Demostración :
Supongamos que 𝑛 no es par, es decir, es impar y demostraremos que 𝑛2 es impar.
(Recuerde que un número n atural 𝑛 es impar si existe un número natural 𝑎 tal
que 𝑛 = 2𝑎 + 1)

𝒏 = 𝟐𝒂 + 𝟏 ⟹ 𝑛2 = (2𝑎 + 1)2 ⟹ 𝑛2 = 4𝑎2 + 4𝑎 + 1 ⟹ 𝑛2 = 2(2𝑎2 + 2𝑎) + 1 ⟹ 𝒏𝟐 es

impar

DEMOSTRACIÓN POR REDUCCIÓN AL ABSURDO O CONTRADICCIÓN.

El método de reducción al absurdo o contradicción consiste en deducir una

contradicción de la negación de la proposición que se quiere demostrar que es
verdadera.

Para demostrar que una proposición 𝐻 ⟹ 𝑇 es verdadera por el método de

contradicción o reducción al absurdo, se comienza suponie ndo que 𝐻 ⟹ 𝑇 es falsa
y se finaliza concluyendo que cierta propiedad 𝑝 es falsa cuando ya sabemos que
es verdadera, es decir, se finaliza concluyendo que la proposición 𝑝 ∧ ¬ 𝑝 es
verdadera.

El método de demostración por reducción al absurdo consiste en suponer que

𝐻 es verdadera y 𝑇 es falsa y usar esta información para llegar a una
contradicción.

Ejemplo 4:

Supongamos que queremos demostrar el siguiente teorema: Si 𝑛 es un número

natural y 𝑛2 es impar, entonces 𝑛 es impar.

Demostración :
Demostraremos el teorema por reducción al absurdo. Para ello supongamos que
𝑛2 es impar y que 𝑛 es par.
a) 𝑛2 es impar ⟹ existe un número natural 𝑎 tal que 𝒏𝟐 = 𝟐𝒂 + 𝟏
b) 𝑛 es par ⟹ existe un número natural 𝑏 tal que 𝑛 = 2𝑏 ⟹ 𝑛2 = (2𝑏)2 ⟹ 𝒏𝟐 =
𝟒𝒃𝟐

Por lo tanto de a) y b) tenemos: 4𝑏2 = 2𝑎 + 1 ⟹ 1 = 2(2𝑏2 − 𝑎) ⟹ 1 es par

Hemos llegado así a una contradicción. Esta contradicción surgió de suponer que
n es par.

Matemática Científica 2022 15

 5to año Repartido 1

DEMOSTRACIÓN BICONDICIONAL

En cuanto a los bicondicionales, es importante tener en cuenta que para

demostrar que una proposición bicondicional 𝐻 ⇔ 𝑇 es verdadera, deberá
demostrarse que tanto 𝐻 ⟹ 𝑇 como 𝑇 ⟹ 𝐻 son proposiciones verdaderas.

Ejemplo 5:

Por ejemplo, para demostrar el teorema: El triángulo 𝐴𝐵𝐶 es equilátero ⟺ 𝐴𝐵𝐶

tiene sus tres ángulos iguales se deben demostrar los siguientes dos teoremas:
1) Si triángulo 𝐴𝐵𝐶 es equilátero ⟹ 𝐴𝐵𝐶 tiene sus tres ángulos iguales
2) Si triángulo 𝐴𝐵𝐶 tiene sus tres ángulos iguales ⟹ 𝐴𝐵𝐶 es equilátero.

CONTRAEJEMPLOS

Para demostrar que una proposición 𝐻 ⟹ 𝑇 es falsa, basta con demostrar que 𝐻
es verdadera y 𝑇 es falsa. Por tal motivo, debemos encontrar por lo menos un
ejemplo para el cual 𝐻 es verdadera y 𝑇 es falsa. Este tipo de ejemplos llevan el
nombre de contraejemplos . Por ejemplo, la proposición “Todos los perros son
blancos” es falsa ya que por eje mplo, existen perros marrones. Demostrar que
dicha proposición es falsa o refutarla, es mostrar un perro marrón, o uno negro o
uno de cualquier otro color que no sea blanco. Estos ejemplos, son los
contraejemplos de la afirmación “Todos los perros son blan cos”.

En muchas oportunidades se presentan situaciones donde debe decidirse si una

proposición es verdadera o falsa. Según lo ya visto, para asegurar que la
proposición es verdadera, deberá demostrarse y en caso de ser falsa, se deberá
exhibir un contraejemplo. Un procedimiento a seguir es ensayar con diferentes
ejemplos, buscando, si es posible, dar con algún contraejemplo y de esa manera
concluir que la proposición es falsa. En el caso de no encontrar contraejemplos,
comenzamos a sospechar que se trata de una proposición verdadera e intentamos
buscar una demostración.

Matemática Científica 2022 16

 5to año Repartido 1

EJERCICIOS COMBINADOS

Ejercicio 7
Alberto, bruno y Carlos son tres amigos que tienen diferentes profesiones:
abogado, ingeniero y médico, no exactamente en ese orden. Se sabe q ue, Alberto
es pariente del abogado, Bruno y Carlos conocieron al ingeniero en la escuela y
Bruno estudio medicina. ¿Cuál de los tres es el abogado?

Ejercicio 8
Adolfo, Felipe, Juan y Marcos son jefes de la sección 1, la sección 2, la sección 3 y
la sección 4 de cierta compañía, aunque no necesariamente en ese orden. Se sabe
que las siguientes proposiciones son verdaderas:
1) El jefe de la sección 3 es un fumador empedernido.
2) Adolfo y Marcos asistieron recientemente a la conferencia del jefe de la
sección 2
3) Felipe es un gran aficionado a escribir, siendo el único de los cuatro que ha
publicado un libro.
4) Juan y Adolfo son no fumadores.
5) El libro del jefe de la sección 1 ha tenido gran éxito.
¿Cuál es el jefe de cada sección?

Ejercicio 9
(LEYES DE DE MORGAN) Augustus De Morgan Matemático de la India (1806 –
1871)
a) Si 𝑝 y 𝑞 son dos proposiciones cualesquiera, escribir las tabas de verdad
para las siguientes proposiciones:

Establecer cuáles de las proposiciones 1), 2), 3) y 4) son lógicamente

equivalentes. Estas proposiciones lógicamente equivalentes se llaman
LEYES DE DE MORGAN
b) Las leyes de De Morgan nos permiten negar proposiciones en las que
intervienen la disyunción y la conjunción.
Usar las leyes de De Morgan para negar las siguientes proposiciones:
1) Fui a la casa de mis padres y a tomar un helado.
2) Fui a la casa de mis padres o a tomar un helado.

Matemática Científica 2022 17

 5to año Repartido 1

Ejercicio 10
Se considera la proposición 𝑝: Si 𝑥 es un número mayor que 1, entonces 𝑥. (𝑥 − 1)
es un número positivo.
a) Investigar si 𝑝 es una proposición verdadera. En caso afirmativo
demostrarla o en caso contrario dar un contraejemplo.
b) Enunciar el recíproco, el contrario y el contrarrecíproco de la proposición 𝑝.
c) Investigar si l as proposiciones enunciadas en b ) son verdaderas o falsas.
Demostrar las verdaderas y dar un contraejemplo para las falsas.

Ejercicio 11
Investigar si las siguientes proposiciones son verdaderas o falsas. Demostrar las
que sean verdaderas o dar un contraejemplo para las que son falsas.
a) Si 𝑛 y 𝑝 son dos números naturales pares, entonces 𝑛. 𝑝 es par.
b) Si 𝑛 y 𝑝 son dos números naturales impares, entonces 𝑛. 𝑝 es impar.
c) Si 𝑛 es un número natural y 𝑛2 − 𝑛 es par, entonces 𝑛 es par.
d) Si 𝑛 es un número natural y 𝑛 es impar, entonces 𝑛3 es impar.
e) Si 𝑛 es un número natural, entonces 𝑛 es impar si y solo si 𝑛2 es impar.

Matemática Científica 2022 18