1.

Lógica y cuantificadores

1. LÓGICA Y CUANTIFICADORES

Objetivo. Conocer y manejar los aspectos básicos de la lógica matemática y los métodos de
demostración más utilizados en matemáticas. Deducir y manejar las propiedades básicas de
los conjuntos y de sus operaciones.

1.1. Nociones de lógica elemental

Objetivo. Conocer y manejar los conceptos básicos de la lógica matemática como

tautologías, contradicciones y proposiciones equivalentes.

1.1.1. Proposición (simple) y su valor de verdad

En los siguientes enunciados se dice algo sobre un sujeto.

a) Las matemáticas son útiles para describir y explicar fenómenos

Sujeto: Las matemáticas

Predicado: son útiles para describir y explicar fenómenos
El predicado dice algo sobre el sujeto

El enunciado a) es una proposición, pues está diciendo algo sobre las matemáticas.

En el lenguaje matemático, así como en el lenguaje cotidiano, también hay enunciados que
son proposiciones. Por ejemplo:

b) 7 es un número primo

¿Cuál es el sujeto en el enunciado anterior?

¿Qué se dice sobre el 7?

En matemáticas, en lugar de sujeto hablaremos de objeto.

c) 2 es un número irracional
3

¿Cuál es el objeto? 2
3
¿Qué se dice sobre el objeto matemático? es un número irracional

d) La función g(x) = x2 es continua

¿Cuál es el objeto? La función g(x) = x2

¿Qué se dice sobre el objeto matemático? Es continua

Ahora, ¿es cierto que las matemáticas son útiles para describir y explicar fenómenos?

1
 1. Lógica y cuantificadores

¿Es cierto que 7 es un número primo?

¿ 2 es un número irracional?
3

¿La función g(x) es continua?

Una proposición es un enunciado que dice algo sobre un objeto, en la cual tiene sentido
preguntar ¿es cierto tal enunciado?

De modo que, una proposición es verdadera o es falsa (único valor de verdad)

Notación
Utilizaremos letras minúsculas, como p, q, r, para denotar proposiciones.
Por ejemplo:
p: 10 es un número par

¿Cuál de los siguientes enunciados son proposiciones y cuál es su valor de verdad? Justifica
tu respuesta

20
a) 
8
b) La suma de 2 y 5
c) x es un factor común de 8 y 12

Proposición abierta o función proposicional. Enunciado que contienen variables y que al

reemplazarlas por constantes determinadas se convierte en una proposición.

a) y+5=8
b) x>5
c) {xn} es una sucesión

Nota: Los símbolos =, > y < se utilizan en matemáticas como predicados.

Ejercicio. Considerando los siguientes conjuntos de números, escribe 3 proposiciones

matemáticas.

 Números pares
 Números impares
 Números primos
 Factores
 Divisibilidad

2
 1. Lógica y cuantificadores

1.1.2. Los conectivos lógicos (Proposiciones compuestas)

Negación
Sea p: 2 es un número irracional
3

Si la proposición p es falsa, ¿cómo se escribe su negación?

No es cierto que 2 sea un número irracional

3
2 no es un número irracional
3

La negación de una proposición p, se denota como p, o bien, como p

Escribe la negación de las siguientes proposiciones y su valor de verdad:

q: 3 es racional
r: Los ángulos de la base de un triángulo isósceles son iguales
t: 5 < 2
v: 3 + 4 = 9

La negación de una proposición afirma lo contrario de lo que en ella se establece.

Cuando en una proposición simple aparece un símbolo matemático, la negación se forma

escribiendo una raya diagonal (/) sobre el símbolo.

Por ejemplo:
t: 5 < 2, v: 3 + 4  9

Tabla de verdad de una negación

p p
V F
F V

3
 1. Lógica y cuantificadores

Disyunción

Lee las siguientes proposiciones:

p: 7 es un número irracional
2

q: 5 es un número irracional
r: 3 no es divisor de 15
s: 4 es factor de 12
t: 4 es factor de 20

Elige dos de tales proposiciones y forma con ambas otra proposición utilizando el conectivo
“o”. Posteriormente, determina el valor de verdad de esta nueva proposición.

Dadas dos proposiciones p y q se puede construir una nueva proposición, llamada la

disyunción de p y q, de la siguiente manera:
poq
que se denota como:
pq

Ejemplos:
Sean
p: 5 es un número natural par
q: 2 es un número irracional

1) p v q : 5 es un número natural par o 2 es un número irracional

2) p v -q : 5 es un número natural par o 2 no es un número irracional

El valor de verdad de estas proposiciones compuestas es:

1) p v q: 5 es un número natural par (falso) o 2 es un número irracional (Verdadero);

por lo tanto, la proposición p v q es verdadera
2) p v -q : 5 es un número natural par (falso) o 2 no es un número irracional (falso); por
tanto, la proposición p v -q es falsa.

Toda disyunción afirma que es cierto lo que afirma por lo menos una de las proposiciones
que la componen.

Tabla de verdad de una disyunción

p q pq
V V V
V F V
F V V
F F F

4
 1. Lógica y cuantificadores

Conjunción

Dadas dos proposiciones p y q se puede construir una nueva proposición, llamada la

conjunción de p y q, de la siguiente manera:
pyq
que se denota como:
pq

Toda conjunción afirma simultáneamente lo que cada una de las proposiciones que la
componen afirma por separado.

Tabla de verdad de una conjunción

p q pq
V V V
V F F
F V F
F F F

Las proposiciones pueden ser simples o compuestas. Las proposiciones simples son
aquellas donde no intervienen los conectivos lógicos y son proposiciones compuestas
aquellas donde sí intervienen.

Las proposiciones simples que forman la proposición compuesta se llaman componentes de

la proposición compuesta. Así, la negación, disyunción y conjunción son proposiciones
compuestas.

Ejemplos de proposiciones compuestas:

1) El número 5 es un número impar al igual que el 7. (En esta proposición compuesta

hay un conectivo de conjunción “disfrazado”, ya que el enunciado puede verse como
“El número 5 y el 7 son números impares”).
2) Juan va al cine o al teatro.

Ejemplos de proposiciones simples:

1) El número 5 es impar
2) Juan va al cine

5
 1. Lógica y cuantificadores

Ejercicios de reforzamiento

Considerando las proposiciones p, q, r, s y t dadas en el apartado de disyunción, escribe las

siguientes proposiciones compuestas y determina su valor de verdad.

1) r  s: 6) –s  –t:
2) q  r: 7) (–q  –s) v –s:
3) q  s: 8) –(r  s):
4) p  –r: 9) –(p v r)  –s:
5) q  –s: 10) –p  q:

1.1.3 La tabla de verdad de una proposición

Es una tabla en la cual se establecen los valores de verdad de dicha proposición para cada
una de las posibles combinaciones de los componentes de la proposición.

Una tabla de verdad de una proposición p formada por las proposiciones p1,…, pn enumera
todas las combinaciones posibles de los valores de verdad para p1,…, pn, donde V indica
verdadero y F falso, de modo que para cada una de estas combinaciones se indica el valor
de verdad de p.

Por ejemplo:

Tabla de verdad de pq

p q -p -pvq
V V F V
V F F F
F V V V
F F V V

Tabla de verdad de (pq)  r

Cada una de las proposiciones consideradas puede ser V o F, como son 3 proposiciones,
entonces son 23 = 8 combinaciones o casos posibles de sus valores de verdad.

p q r p q pq (pq)  r
V V V F F F V
V V F F F F F
V F V F V F V
V F F F V F F
F V V V F F V
F V F V F F F
F F V V V V V
F F F V V V V

Nota. Si son n proposiciones, entonces serán 2n combinaciones posibles.

6
 1. Lógica y cuantificadores

Ejercicios

Sean p, q y r proposiciones cualesquiera. Elabora la tabla de verdad de las siguientes

proposiciones compuestas.

a) p  (qr)
b) (pq)  (pr)
c) (pq)  (qr)

1.1.4 Tautologías y contradicciones

Sean p y q proposiciones simples cualesquiera. Construye las tablas de verdad de las

proposiciones compuestas:

r: p (pq)

p q pq (pq) r: p(pq)

V V V F V
V F F V V Tautología
F V F V V
F F F V V

Una tautología es una proposición compuesta que es verdadera para todas las
combinaciones posibles de los valores de verdad de sus proposiciones componentes.

s: (pq)  (pq)

p q pq (pq) (pq) s: (pq)  (pq)

V V V V F F
V F F V F F Contradicción
F V F V F F
F F F F V F

¿Puede ser una proposición y su negación verdaderas simultáneamente?

Es decir, ¿puede ser verdadera la proposición p  p?

Para ningún caso la proposición p  p es verdadera, siempre es falsa, dado que ésta es
una contradicción.

Una proposición no puede ser verdadera y falsa a la vez.

Una contradicción es una proposición compuesta que siempre es falsa para cualesquiera
que sean los valores de verdad de sus componentes.

7
 1. Lógica y cuantificadores

1.1.5 Proposiciones equivalentes

Implicación o proposición condicional

En la vida cotidiana como en matemáticas, utilizamos proposiciones que expresan alguna

condición o condiciones.

Por ejemplo,

a) “Si las chivas ganan el último partido del torneo, entonces califican a la
liguilla”

En la proposición a), una condición para que las chivas califiquen a la liguilla es que ganen
el último partido.

Las proposiciones con la expresión “Si … entonces…” se les denomina implicación o

proposición condicional.

Esto es, la proposición compuesta

Si p entonces q
es una proposición condicional, donde

p es la hipótesis o antecedente
q es la tesis o consecuente

Se denota pq

La proposición a) esta compuesta de las proposiciones

p: las chivas ganan el último partido del torneo
q: las chivas califican a la liguilla

Los teoremas en matemáticas frecuentemente los encontramos expresados en la

forma: “Si … entonces …”, como:

b) “Si un número es múltiplo de 5, entonces termina en cero o en cinco”

c) “Si la función f es derivable, entonces es continua”

d) “Si x = y, entonces x + y es par”

e) “Si dos ángulos son a la vez congruentes y suplementarios, entonces ambos son
rectos”

Otras formas de escribir la proposición condicional c), son:

La función f es derivable sólo si es continua p sólo si q

8
 1. Lógica y cuantificadores

La función f es continua si es derivable q si p

El que la función f sea derivable implica que es

el que p implica que q
continua

Que la función f sea derivable es suficiente para que

p es suficiente para que q
sea continua

Que la función f sea continua es necesario para que

q es necesario para que p
sea derivable

Como vimos en la proposición c), una implicación involucra dos condiciones: una suficiente y
otra necesaria.

Por ejemplo, en la proposición d):

Que x = y es una condición suficiente para que x + y sea par

La condición H es suficiente para que T

p q

Que x + y sea par es una condición necesaria para que x = y es

La condición T es necesaria para que H

q p

Valor de verdad de una proposición condicional

La implicación d):
“Si x = y, entonces x + y es par”,
está compuesta por las proposiciones:
p: x = y
q: x + y es par

La tabla de verdad de la implicación d quedaría como sigue:

p q pq
V V V
V F F
F V V
F F V

En general, una implicación es falsa solo cuando la hipótesis es verdadera y la tesis es

falsa.

9
 1. Lógica y cuantificadores

La proposición p  q es equivalente a la proposición – p v q (ver su tabla de verdad en el

apartado 1.1.3).

La implicación p  q tiene 3 implicaciones asociadas:

La recíproca (opuesta) qp

La contraria p  q
La contrarrecíproca q  p

Considera la siguiente proposición condicional:

“Si x es múltiplo de 4, entonces x es par”

Las implicaciones asociadas a tal proposición, son:

Recíproca:
Si x es par, entonces es múltiplo de 4

Contraria:
Si x no es múltiplo de 4, entonces x no es par

Contrarrecíproca:
Si x no es par, entonces x no es múltiplo de 4

Proposición bicondicinal

La proposición (p  q)  (q  p) se llama proposición bicondicional, es decir, es la

conjunción de las implicaciones p  q y q  p. Se denota
pq
Se lee p si y sólo si q, o bien, p es suficiente y necesario para q.

Por ejemplo:
“x = y si y sólo si x – y = 0”

Valor de verdad de una proposición bicondicional

p  q es verdadera cuando p y q son ambas verdaderas o falsas.

p q pq
V V V
V F F
F V F
F F V

Ejemplo. Construye la tabla de verdad de la proposición bicondicional

10
 1. Lógica y cuantificadores

p  (qr)  (pq) r

Ejercicios de reforzamiento

Construye la tabla de verdad de las siguientes proposiciones.

1. p  (qr)  (pq) r
2. p  (qr)  (pq)  (pr)
3. (pq)  pq
4. (pq)  p q

1.1.5 Proposiciones equivalentes (Continuación)

Construye la tabla de verdad de (p  q)  (q  p)

p q pq pq (p  q)  (q  p)

Dos proposiciones p y q son equivalentes, si p  q es una tautología.

Se denota
pq
Por ejemplo,
a c
   ad = bc
b d

Sea
a c
u: 
b d
v: ad = bc

Se tiene que: uv

 T es un triángulo equiángulo si y solo si es equilátero

Sea
r: T es un triángulo equiángulo
s: T es un triángulo equilátero

Luego: rs

11
 1. Lógica y cuantificadores

Tabla de equivalencias

(p  q)  (pq) Implicación
(pq)  (qp)
(pq)  (qp) Conmutativa
(p  q)  (q  p)
p  – (– p) Doble negación
(p  q)  (–q  –p) Contrarrecíproca
p  (qr)  (pq)  r
Asociativa
p  (qr)  (pq)  r
p  (qr)  (pq)  (pr)
Distributiva
p  (qr)  (pq)  (pr)
(pq)  (pq)
Leyes de Morgan
(pq)  (pq)
(p  q)  (q  r)  (p  r) Transitiva
(p  q)  (p  q) -----

Para simplificar proposiciones, utilizando las equivalencias anteriores, es necesario

considerar lo siguiente.

Si p es una proposición, t es una tautología y c es una contradicción, entonces se cumple

que:

1) pc = c 2) pt = t 3) c  t = c
4) (tc)  c = t 5) (pt)  t = t 6) (pt)  p = t
7) (pc)  p = t 8) p  p = t 9) p  p = c
10) p  t = p 11) p  c = p

Aplicaciones a la teoría de circuitos. Equivalencia entre circuitos eléctricos y

proposiciones.

Con un interruptor

P = interruptor
p: el interruptor P está cerrado

p es verdadero si y sólo si el interruptor P está cerrado (pasa corriente)

P
T1 T2 Cerrado

p es falso si y sólo si el interruptor P está abierto (no pasa corriente)

P
T1 T2 Abierto

12
 1. Lógica y cuantificadores

Con dos interruptores

p: El interruptor P está cerrado

q: El interruptor Q está cerrado.

- En serie
P Q
T1 T2 Cerrado

p q p  q Conclusión
V V V Pasa corriente
V F F No pasa corriente
F V F No pasa corriente
F F F No pasa corriente

P
- En paralelo
T1 T2

p q pvq Conclusión
V V V Pasa corriente
V F V Pasa corriente
F V V Pasa corriente
F F F No pasa corriente

Simplificación de circuitos mediante proposiciones equivalentes

Circuito equivalente de uno dado es otro ficticio que, visto desde sus terminales, se comporta
igual que el dado. Dicho de otra manera, es un artificio matemático por medio del cual se
consigue estudiar el comportamiento de un circuito mediante otro más sencillo.
El circuito equivalente no es igual que el original: tan sólo su comportamiento hacia el
exterior es igual que el del original.

Por ejemplo,

P
Q
T1 T2

P’ Q’

La proposición asociada al circuito anterior es:

[p v (- p  - q)]  q

13
 1. Lógica y cuantificadores

Simplificación:

[p v (- p  - q)]  q  [(p v – p)  (p v -q)]  q

 [t  (p v -q)]  q
 (p v -q)  q
 (p  q) v (-q  q)
 (p  q) v c
 (p  q)

El circuito equivalente al dado es:

P Q
T1 T2 pq

Simplifica las siguientes proposiciones:

a) (pq)  q
b) { p  [(pq)  (pq)] }  q

14
 1. Lógica y cuantificadores

1.2. Cuantificadores

1.2.1. Funciones proposicionales

En matemáticas como en computación, usualmente se establecen afirmaciones que

involucran variables.

Por ejemplo,

a) x  5
b) w es un número par
c) x2 – x – 6 = 0

En dichos enunciados matemáticos, no podemos establecer de antemano si son verdaderos

o falsos, dado que no conocemos el valor de la variable.

Sin embargo, si le damos un valor a esa variable el enunciado se convierte en una

proposición. Por ejemplo, en el a) si x = 2, obtenemos la proposición:
25

y podemos determinar que es falsa. Ahora, si x vale 9, entonces obtenemos la proposición

95

la cual es verdadera. Es decir, el valor de verdad de la afirmación dependerá del valor o

valores que tome la variable. A este tipo de enunciados se les denomina funciones
proposicionales.

Una función proposicional es una expresión que contiene variables y que al reemplazar
éstas por constantes determinadas se convierte en una proposición.

El conjunto de valores que toma la variable y que nos permiten obtener proposiciones a partir
de la función proposicional, se le denomina dominio de discurso.

Dada una función proposicional p(x), un dominio para p(x) es un conjunto tal que para todo
reemplazo de x por elementos del conjunto se obtiene una proposición.

Por ejemplo, el dominio de la función proposicional de a), digamos P(x), puede ser:

N, Q, Z, R

Consideremos las siguientes funciones proposicionales:

d) q(x): x2 – x – 6 = 0

q(1) es F, dado que q(1)  0

q(-2) es V, dado que q(-2) = 0

El dominio de q(x) puede ser N, Q, Z, R

15
 1. Lógica y cuantificadores

e) p(x): x R

p(5) es F
 1
p   es V
2
X = Z Es dominio
X = N Es dominio
X = R Es dominio
X = C No es dominio

Dominio: N, Q, Z, R

El conjunto C no forma parte del dominio de p(x)

f) r(x): x 0

X = R No es dominio de r(x)

g) p(x, y): x2 > y2

p(2, 1) es V
p(2, 5) es F

Dominio: {(x, y)/x  N, Q, Z, R y y  N, Q, Z, R}

h) q(x, y): x – y < 1

q(-7, 3) es F
 1
q 1,  es V
 3

1.2.2. Los cuantificadores universal y existencial

Observa las siguientes funciones proposicionales:

a) Para todo x  R, x2 + 1  2x
b) Para todo x  R, x  1

Las proposiciones a) y b) contienen la frase “Para todo”, que se conoce como cuantificador
universal. A dichas funciones proposiciones se les conoce como cuantificaciones universales
y se simbolizan como:

x  X, P(x)

donde X es el dominio de la función proposicional P(x)

16
 1. Lógica y cuantificadores

La afirmación cuantificada universalmente “x, P(x)”, también puede escribirse como:

“Para cada x, P(x)”
“Para cualquier x, P(x)”
¿Cuál es el valor de verdad de la función proposicional a)?
f(x) = x2 + 1

g(x) = 2x

 La afirmación “Para toda x , P(x)” es verdadera si P(x) es verdadera para toda x en

su dominio.

¿Cuál es el valor de verdad de la función proposicional b)?

h( x )  x

K(x) = 1

En general, ¿cuándo podemos decir que una cuantificación universal es falsa?

 La afirmación “Para toda x , P(x)” es falsa si P(x) es falsa para al menos una x en su
dominio.

17
 1. Lógica y cuantificadores

Ahora, consideremos la función proposicional:

c) Existe x  R, tal que x2 + 1 = 2x

La afirmación anterior contiene la frase “Existe”, que se conoce como cuantificador

existencial. A las funciones proposicionales como la anterior se les conoce como
cuantificaciones existenciales y se simbolizan como:

x, P(x)

La afirmación cuantificada existencialmente “x, P(x)” también puede escribirse como:

“Para alguna x, P(x)”
“Para al menos una x, P(x)”

¿Cuál es el valor de verdad de la función proposicional c)?

 La afirmación “Para alguna x, P(x)” es verdadera, si P(x) es verdadera para al

menos una x en su dominio.

 La afirmación “Para alguna x, P(x)” es falsa, si P(x) es falsa para toda x en su

dominio.

1.2.3. La negación de una proposición que involucra cuantificadores

Consideremos la siguiente función proposicional:

“Para toda x, x2  0”
Su negación es:
“No es cierto que para toda x, x2  0”
Que tiene el mismo significado que:
“Existe x, tal que x2 < 0”

Observa la siguiente tabla de verdad:

 x, P (x)  ( x, P (x))  x, P (x)

V F F
F V V

 x, P (x)  ( x, P (x))  x, P (x))

V F F
F V V

Se cumple que:
( x, P (x))   x, P(x)
( x, P (x))   x, P(x)
son tautologías.

18
 1. Lógica y cuantificadores

Ejercicios de reforzamiento

Determina el valor de verdad de las siguientes proposiciones y escribe su negación.

a)  p  Q, p2 < p
b)  x  Z, x2 + 2x + 2 < 0
c) x,y  R, x – y = y – x
d)  n  N, n es par y n es primo
e)  x  R, y  R, x – y = 3

Repaso. Negación de conjunciones y disyunciones

Leyes de Morgan:

(p  q)  p  q

(p  q)  p  q

Ejemplos

Proposición Negación
x > 5 y x < 10 x  5 o x  10
El ABC es isósceles o equilátero El ABC no es isósceles y no es equilátero

19