Razonamiento y Lenguaje Matemático - (PG 75 - 79)

CAPÍTULO 3.
ELEMENTOS “INFORMALES” DE LA LÓGICA

FORMAL
2. Sean ahora en el conjunto de los números naturales, las proposiciones
p : “5 es un número primo”, q : “9 divide a 639”.
En este caso se tienen los predicados “ser un número primo” y “dividir a . . . ”.
Nótese que los predicados pueden referirse a uno o varios objetos del conjunto.
También de estos ejemplos y de la definición 3.2.1 se puede inferir que es impres-

cindible partir de un conjunto inicial de objetos o individuos y que los predicados
no tienen valor veritativo.
3.2.1. Los cuantificadores lógicos

Como pudimos observar al final del epígrafe anterior, resulta de gran importancia la
comprensión de los predicados que se refieren a todos los elementos o a al menos un
elemento del conjunto de individuos. Este tipo de predicados se denota de manera
abreviada a través de los cuantificadores lógicos que definimos a continuación:
El símbolo ∀, se lee “para todo” y significa “para todo elemento del conjunto
de individuos se cumple. . . ”
El símbolo ∃, se lee “existe” y significa “existe al menos un elemento del con-

junto de individuos que cumple. . . ”
El símbolo ∃!, se lee “existe un único” y significa “existe un único elemento

del conjunto de individuos que cumple. . . ”.
Ejemplos:
1. Sea
A = {Roberto, Juan, Sandra, Walkiria}
y sean las proposiciones:
Copyright © 2018. El Cid Editor. All rights reserved.
p : “Roberto, Juan, Sandra y Walkiria practican ajedrez,

q : “De Roberto, Juan, Sandra y Walkiria, al menos uno practica ajedrez”,
r : “De Roberto, Juan, Sandra y Valkiria, sólo uno practica ajedrez”.
Utilizando los cuantificadores lógicos se escribe:
p : ∀x ∈ A se cumple que x practica ajedrez,

q : ∃x ∈ A tal que x practica ajedrez,
r : ∃!x ∈ A tal que x practica ajedrez.
70
Roldán, I. R. (2018). Razonamiento y lenguaje matemático. Retrieved from http://ebookcentral.proquest.com
Created from unadsp on 2020-07-08 19:20:36.
3.2. El cálculo de predicados
2. Sean ahora en el conjunto N de los números naturales, las proposiciones
p : “todo número de la forma 2k con k ∈ N es par”,

q : “existe al menos un número natural que es primo”,
r : “existe un único número natural que sólo tiene un divisor natural”.
Utilizando los cuantificadores lógicos se escribe:
p : ∀x ∈ N tal que x = 2k con k ∈ N se cumple que x es un número par,

q : ∃x ∈ N tal que x es primo,
r : ∃!x ∈ N tal que x sólo tiene un divisor natural.
Agreguemos ahora a las ya conocidas leyes del cálculo proposicional algunas en las
intervienen los cuantificadores lógicos y que serán también de gran utilidad en la
deducción lógica de proposiciones. Para escribirlas de manera compacta denotemos
los predicados con letras mayúsculas del alfabeto latino de la siguiente manera
P (x): denota la proposición formada por el predicado P y el individuo x,
Q(x, y): denota la proposición formada por el predicado Q y los individuos

x, y.
De ese modo, la proposición
∃x ∈ N tal que x es primo,
se escribe
∃x ∈ N; P (x),
siendo P el predicado “ser un número primo” (note que usamos el símbolo de pun-
tuación “;” para sustituir la frase “tal que”.
Existen muchas leyes del cálculo de predicados. Sin embargo, estudiaremos aquí solo
algunas pocas que son muy utilizadas en la demostración de teoremas.
1. ∀x ∈ A se cumplen P (x) y Q(x) =⇒ [∀x ∈ A se cumple P (x)]

y [∀x ∈ A se cumple Q(x)].
Es decir, si para todo objeto x del conjunto A se cumplen los predicados P y

Q, entonces para todo objeto x del conjunto A se cumple P y para todo objeto
x del conjunto A se cumple Q.
71
CAPÍTULO 3. ELEMENTOS “INFORMALES” DE LA LÓGICA
FORMAL
2. ∃x ∈ A; P (x) y Q(x) =⇒ [∃x ∈ A; P (x)] y [∃x ∈ A; Q(x)].
Es decir, si existe un objeto x del conjunto A que cumple los predicados P

y Q, entonces se puede asegurar que existe un objeto x del conjunto A que
cumple P y existe un objeto x del conjunto A (el mismo) que cumple Q.
Nótese que el recíproco de esta expresión no es válido. Es decir, de la existencia

de un objeto en A que cumpla P y uno que cumpla Q, no se puede deducir
que exista un objeto que cumpla ambos predicados simultáneamente.
Ejemplo: Sea A el conjunto de los estudiantes Roberto, Juan, Sandra y Val-

kiria. De ellos se conoce que
Roberto practica ajedrez, futbol y baloncesto,
Juan practica natación,
Sandra practica gimnasia,
Valkiria no practica deportes.
Entonces se puede afirmar que
∃x ∈ A; x practica natación y ∃x ∈ A; practica ajedrez,
Sin embargo, ningún estudiante del conjunto A practica natación y ajedrez.
[∀x ∈ A se cumple P (x)] ∨ [∀x ∈ A se cumple Q(x)]

3.
=⇒ ∀x ∈ A se cumple [P (x) ∨ Q(x)].
Es decir, si para todo objeto x del conjunto A se cumple el predicado P o para

todo objeto x del conjunto A se cumple el predicado Q, entonces para todo
objeto x del conjunto A se cumple P o Q.
4.
∃x ∈ A; [P (x) ∨ Q(x)] =⇒ [∃x ∈ A; P (x)] ∨ [∃x ∈ A; Q(x)].
Es decir, si existe al menos un objeto x del conjunto A que cumple el predicado

P o el predicado Q, entonces existe al menos un objeto x del conjunto A que
cumple P o existe al menos un objeto x del conjunto A que cumple Q.
∀x ∈ A se cumple que P (x) =⇒ Q(x)]

5.
=⇒ [(∀x ∈ A se cumple P (x)) =⇒ (∀x ∈ A se cumple Q(x))].
72
3.3. Algunas formas de la demostración de teoremas
Es decir, si para todo objeto x del conjunto A que cumple el predicado P

se cumple el predicado Q, entonces si para todo objeto x del conjunto A se
cumple P , ello implica que para todo x del conjunto A se cumple Q.
Las siguientes leyes son de gran utilidad en la decisión del valor veritativo de
proposiciones con cuantificadores y expresan la forma de negar estos últimos.
6.
¬(∃x ∈ A; P (x)) =⇒ ∀x ∈ A se cumple ¬P (x).
Es decir, no existe ningún objeto x del conjunto A que cumpla el predicado P ,

si y sólo si para todo objeto x del conjunto A no se cumple P .
7.
¬(∀x ∈ A se cumple P (x)) ⇐⇒ ∃x ∈ A; ¬P (x).
Es decir, no para todo objeto x del conjunto A se cumple el predicado P , si y

sólo si si existe al menos un objeto x del conjunto A que no cumple P .
Ejemplos:
1. Sea R el conjunto de los números reales. Entonces la proposición “∀x ∈ R se

cumple que x ∈ Q” es falsa, pues por ejemplo, π ∈ / Q, es decir, se cumple
∃x ∈ R; x ∈/ Q.
2. La proposición “Existe al menos un número natural n que es divisible por 4 y

no es divisible por 2” (que por supuesto, es falsa) quedaría negada en la forma
“Para todo número natural n se cumple que si n es divisible por 4, entonces n
es divisible por 2”.
3.3. Algunas formas de la demostración de teore-

mas
En los epígrafes anteriores hemos hablado de los teoremas en la Matemática en re-

lación con las leyes del cálculo proposicional, de predicados y la deducción lógica.
Precisamente nos dedicaremos aquí a estudiar a través de ejemplos algunas formas
de la demostración de teoremas que se derivan de dichas leyes.
La demostración directa
Este método de demostración consiste en deducir directamente la tesis del teorema

a partir de las hipótesis a través del uso de las leyes de la deducción lógica. Por
ejemplo, demostremos directamente el siguiente teorema:
73
CAPÍTULO 3. ELEMENTOS “INFORMALES” DE LA LÓGICA
FORMAL
Teorema 3.3.1
Sea n un número natural. Si 2 divide a n2 , entonces 2 divide a n.
Demostración: Supongamos que 2 divide al número natural n2 . Entonces se cumple

que
∃k ∈ N; n2 = 2k.
Pero conocemos que todo número natural se puede escribir de manera única como
producto de potencias de números primos. Luego, si
n = pα1 1 pα2 2 . . . pαmm
representa la descomposición (en orden creciente) en factores primos del número n,

se tiene
n2 = p2α 1 2α2
1 p2 . . . p2α
m
m
= 2k.
De aquí se deduce que tiene que ser
p1 = 2,
pues el menor número primo es 2 y los factores de la descomposición de n2 son

primos. Entonces se tiene que
n = 2α1 pα2 2 . . . pαmm ,
y por tanto 2 divide a n. Q.e.d.
Veamos otro ejemplo:
Teorema 3.3.2
Si m, n son dos números naturales cualesquiera, entonces el triángulo de lados
a, b, c con a = m2 − n2 , b = 2mn, c = m2 + n2 es rectángulo de hipotenusa c.
Demostración: Sean m, n números naturales y sean
a = m2 − n2 , b = 2mn, c = m2 + n2 .
Por el conocido Teorema de Pitágoras, debemos comprobar que se cumple
a2 + b2 = c2 .
Sustituyendo en el miembro izquierdo de esta igualdad se tiene
a2 + b2 = (m2 − n2 )2 + (2mn)2 = m4 − 2m2 n2 + n4 + 4m2 n2

= m4 + 2m2 n2 + n4 = (m2 + n2 )2 = c2 .
Q.e.d.
74

Razonamiento y Lenguaje Matemático - (PG 75 - 79)

Cargado por

Copyright:

Formatos disponibles

Razonamiento y Lenguaje Matemático - (PG 75 - 79)

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Razonamiento y Lenguaje Matemático - (PG 75 - 79)

Cargado por

Copyright:

Formatos disponibles

CAPÍTULO 3.

ELEMENTOS “INFORMALES” DE LA LÓGICA

2. Sean ahora en el conjunto de los números naturales, las proposiciones

p : “5 es un número primo”, q : “9 divide a 639”.

En este caso se tienen los predicados “ser un número primo” y “dividir a . . . ”.

También de estos ejemplos y de la definición 3.2.1 se puede inferir que es impres-

3.2.1. Los cuantificadores lógicos

El símbolo ∃, se lee “existe” y significa “existe al menos un elemento del con-

El símbolo ∃!, se lee “existe un único” y significa “existe un único elemento

p : “Roberto, Juan, Sandra y Walkiria practican ajedrez,

Utilizando los cuantificadores lógicos se escribe:

p : ∀x ∈ A se cumple que x practica ajedrez,

2. Sean ahora en el conjunto N de los números naturales, las proposiciones

p : “todo número de la forma 2k con k ∈ N es par”,

Utilizando los cuantificadores lógicos se escribe:

p : ∀x ∈ N tal que x = 2k con k ∈ N se cumple que x es un número par,

P (x): denota la proposición formada por el predicado P y el individuo x,

Q(x, y): denota la proposición formada por el predicado Q y los individuos

De ese modo, la proposición

∃x ∈ N tal que x es primo,

algunas pocas que son muy utilizadas en la demostración de teoremas.

1. ∀x ∈ A se cumplen P (x) y Q(x) =⇒ [∀x ∈ A se cumple P (x)]

Es decir, si para todo objeto x del conjunto A se cumplen los predicados P y

2. ∃x ∈ A; P (x) y Q(x) =⇒ [∃x ∈ A; P (x)] y [∃x ∈ A; Q(x)].

Es decir, si existe un objeto x del conjunto A que cumple los predicados P

Nótese que el recíproco de esta expresión no es válido. Es decir, de la existencia

Ejemplo: Sea A el conjunto de los estudiantes Roberto, Juan, Sandra y Val-

∃x ∈ A; x practica natación y ∃x ∈ A; practica ajedrez,

Sin embargo, ningún estudiante del conjunto A practica natación y ajedrez.

[∀x ∈ A se cumple P (x)] ∨ [∀x ∈ A se cumple Q(x)]

Es decir, si para todo objeto x del conjunto A se cumple el predicado P o para

Es decir, si existe al menos un objeto x del conjunto A que cumple el predicado

∀x ∈ A se cumple que P (x) =⇒ Q(x)]

Es decir, si para todo objeto x del conjunto A que cumple el predicado P

Es decir, no existe ningún objeto x del conjunto A que cumpla el predicado P ,

Es decir, no para todo objeto x del conjunto A se cumple el predicado P , si y

1. Sea R el conjunto de los números reales. Entonces la proposición “∀x ∈ R se

2. La proposición “Existe al menos un número natural n que es divisible por 4 y

3.3. Algunas formas de la demostración de teore-

En los epígrafes anteriores hemos hablado de los teoremas en la Matemática en re-

Este método de demostración consiste en deducir directamente la tesis del teorema

Demostración: Supongamos que 2 divide al número natural n2 . Entonces se cumple

n = pα1 1 pα2 2 . . . pαmm

representa la descomposición (en orden creciente) en factores primos del número n,

pues el menor número primo es 2 y los factores de la descomposición de n2 son

n = 2α1 pα2 2 . . . pαmm ,

y por tanto 2 divide a n. Q.e.d.

Veamos otro ejemplo:

Demostración: Sean m, n números naturales y sean

Por el conocido Teorema de Pitágoras, debemos comprobar que se cumple

Sustituyendo en el miembro izquierdo de esta igualdad se tiene

a2 + b2 = (m2 − n2 )2 + (2mn)2 = m4 − 2m2 n2 + n4 + 4m2 n2

También podría gustarte