MATEMÁTICAS BÁSICAS

UNIVERSIDAD NACIONAL DE COLOMBIA - SEDE MEDELLÍN

SEMESTRE 01-2010
CLASE # 1

CAPÍTULO 1:
LÓGICA ELEMENTAL Y TEORÍA DE CONJUNTOS

PROPOSICIONES SIMPLES

De…nición: Una proposición es una expresión de la cual puede decirse que es verdadera o falsa, pero no
las dos cosas a la vez. Decimos que una proposición es simple si, de ésta, no puede extraerse ninguna otra
proposición.
Notación: Es común nombrar las proposiciones con letras, por simplicidad.
Ejemplo:

Sea p : "Medellín es una ciudad de Colombia". La proposición p es simple y además es verdadera.

Sea q : "Los cuadrados son …guras geométricas con cinco lados". La proposición q es simple y además
es falsa.
Sea r : "Los triángulos tienen tres lados y los cuadrados cuatro". Podemos observar que de la proposi-
ción r pueden extraerse dos proposiciones: "Los triángulos tienen tres lados" y la proposición "Los
cuadrados tienen cuatro lados". Por lo tanto, la proposición r no es simple. A este tipo de proposiciones
se les conoce como proposiciones compuestas.

Conjunto universal
Es un conjunto que …jamos para realizar a…rmaciones sobre sus elementos.

Ejemplo:

Sea U = f1; 2; 3; 4; 5g:

Sea U el conjunto de los alumnos del salón de clase.
Sea U el conjunto de los libros de la biblioteca.

Elemento genérico o variable

Es una letra con la cual nos referimos a los elementos del conjunto universal.

Ejemplo:

Sea U = f1; 3; 5; 7; 9g el conjunto universal.

Si decimos que x 2 U es porque x es un número impar entre 1 y 9.
Aquí, x es el elemento genérico.

Función proposicional
Es una expresión en la cual aparecen una o más variables y que se convierte en una proposición cuando
reemplazamos las variables por algún elemento del conjunto universal. Se simbolizan con una letra seguida
del elemento genérico.

1
Ejemplo:

Sea U el conjunto de los alumnos del salón.

Consideremos las funciones proposicionales:
Px : "x habla Chino".
Qx : "x habla Inglés".
Rx : "x habla Español".
Probablemente, todos los valores de x hacen que la función proposicional Rx sea verdadera pero, ¿qué
valores de x son tales que Px es verdadera? y ¿qué valores de x son tales que Qx es verdadera?
Sea U = f0; 1; 2; 3; 4; 5; 6g.
Consideremos la función proposicional Px :"x2 1 > 3".
Podemos darnos cuenta que, Px es verdadera solamente si x 2 f2; 3; 4; 5; 6g.
Sea U = ftriángulo, círculo, cuadrado, pentágono, hexágono, decágonog.
Consideremos la función proposicional Px : "x tiene más de cuatro lados".
Claramente, Px es verdadera si x 2 fpentágono, hexágono, decágonog:

CONECTIVOS LÓGICOS

Los conectivos lógicos son los símbolos que empleamos en el lenguaje para relacionar o "conectar" proposi-
ciones simples y formar proposiciones compuestas.

1. La conjunción

Símbolo gramatical: "y"

Símbolo lógico: "^"
Valor de verdad: la proposición es verdadera sólo en el caso en que ambas proposiciones conectadas sean
verdaderas.

De esta forma, podemos construir la siguiente "tabla de verdad":

p q p^q
V V V
V F F
F V F
F F F

Ejemplo:

Consideremos la proposición p : "Medellín es una ciudad de Antioquia y Bogotá es una ciudad del Amazonas".

En la proposición p identi…camos dos proposiciones simples:

q : "Medellín es una ciudad de Antioquia".
r : "Bogotá es una ciudad del Amazonas".
Como q es verdadera y r es falsa, la proposición p = q ^ r es falsa.

2. La disyunción inclusiva

Símbolo gramatical: "o"

Símbolo lógico: "_"
Valor de verdad: la proposición es verdadera cuando, al menos, una de las dos proposiciones conectadas lo
sea.

2
De esta forma, podemos construir la siguiente "tabla de verdad":

p q p_q
V V V
V F V
F V V
F F F

Ejemplo:

Consideremos la proposición p : "El número 4 es par o 1 + 1 = 3".

En la proposición p identi…camos dos proposiciones simples:

q : "El número 4 es par".
r : "1 + 1 = 3".
Como q es verdadera, la proposición p = q _ r es verdadera, sin importar que r sea falsa.

3. La negación

Símbolo gramatical: "No es verdad que..."

Símbolo lógico: "s"
Valor de verdad: si una proposición es verdadera, su negación es falsa y, si una proposición es falsa, su
negación es verdadera.
De esta forma, podemos construir la siguiente "tabla de verdad":

p sp
V F
F V

Ejemplo:

Consideremos la proposición p : "No es cierto que 2 3 = 7".

En la proposición p identi…camos la siguiente proposición simple:

r : "2 3 = 7".
Como r es falsa, la proposición p =s r es verdadera.

4. El condicional

Forma gramatical: "Si p entonces q". (En este caso, a la proposición p se le conoce como hipótesis y a la
proposición q se le llama tesis).
Símbolo lógico: "!"
Valor de verdad: la proposición es falsa, solamente, cuando la hipótesis es verdadera y la tesis es falsa.
De esta forma, podemos construir la siguiente "tabla de verdad":

p q p!q
V V V
V F F
F V V
F F V

Nota: Cuando en un condicional p ! q, q es una conclusión lógica de la hipótesis p, decimos que el

condicional es una implicación y la simbolizamos p =) q. Además, en una implicación p =) q, decimos que
p es condición su…ciente para q o que q es condición necesaria para p.

3
Ejemplo:

"Si el planeta tierra pertenece al sistema solar, entonces la letra A es una vocal".
Identi…camos dos proposiciones simples:
p : "El planeta tierra pertenece al sistema solar" (Verdadera).
q : "La letra A es una vocal" (Verdadera).
La proposición p ! q es verdadera; sin embargo, no es una implicación.
"Si el número 4 es impar, entonces la letra R es una consonante".
Identi…camos dos proposiciones simples:
p : "El número 4 es impar" (Falsa).
q : "La letra R es una consonante" (Verdadera).
La proposición p ! q es verdadera.

"Si estoy estudiando Matemáticas Básicas, entonces estoy estudiando el condicional".

Identi…camos dos proposiciones simples:
p : "Estoy estudiando Matemáticas Básicas" (Verdadera).
q : "Estoy estudiando el condicional" (Verdadera).
La proposición p ! q es verdadera; además, q es una conclusión lógica de p. Por lo tanto, la
proposición es una implicación y podemos escribir p =) q.

Recíproco de un condicional: Se llama recíproco de p ! q a la proposición q ! p.

Contrarrecíproco de un condicional: Se llama contrarrecíproco de p ! q a la proposición s q !s p.

Veamos los valores de verdad del recíproco y contrarrecíproco:

p q sp sq p!q q!p s q !s p
V V F F V V V
V F F V F V F
F V V F V F V
F F V V V V V

Como puede apreciarse en la tabla anterior, los valores de verdad del condicional p ! q son los mismos
valores de verdad de su contrarrecíproco s q !s p. Por lo tanto, la a…rmación "p ! q" es equivalente a la
a…rmación "s q !s p".

Ejemplo:

Consideremos la a…rmación: "Si una …gura geométrica es un cuadrado entonces tiene 4 lados". Esta a…rma-
ción es verdadera y además es equivalente a su contrarrecíproco "Si una …gura geométrica no tiene 4 lados
entonces no es un cuadrado", que también es verdadera.

5. El bicondicional

Forma gramatical: "p si y sólo si q".

Símbolo lógico: " !".
Valor de verdad: el bicondicional es verdadero solamente cuando ambas proposiciones tienen el mismo valor
de verdad.

4
De esta forma, podemos construir la siguiente "tabla de verdad":

p q p !q
V V V
V F F
F V F
F F V

Notas:

Si p ! q es verdadera, decimos que p y q son equivalentes.

p ! q se puede leer p ! q ^ q ! p.
Si en p ! q, los condicionales p ! q y q ! p son implicaciones, decimos que el bicondicional es
una doble implicación y escribimos p () q.

Ejemplo:

"Un triángulo tiene tres lados si y sólo si 8 es un número primo".

Identi…camos dos proposiciones simples:
p : "Un triángulo tiene tres lados" (Verdadera).
q : "8 es un número primo" (Falsa).
La proposición p ! q es falsa.
"x es un número par si y sólo si x es un múltiplo de 2":
Identi…camos dos funciones proposicionales:
Px : "x es un número par".
Qx : "x es un múltiplo de 2".
Observamos que, dependiendo del valor de x, las dos funciones proposicionales son verdaderas o las dos
son falsas. Luego, Px ! Qx es verdadera. Además, es claro que se trata de una doble implicación:
Px () Qx .

CUANTIFICADORES

Cuanti…cador universal
Símbolo: "8"
Se lee: "Para todo..."
Sirve para a…rmar una proposición Px con todos los elementos de un conjunto A.

Ejemplo:

Sea A = f2; 4; 6; 8; 10g y consideremos la proposición Px : "x es par".

Empleando el cuanti…cador universal, podemos a…rmar 8x 2 A, Px . Es decir, "para todo x en el conjunto

A, x es par"; en otras palabras, "todos los elementos del conjunto A cumplen Px ". Claramente, "8x 2 A,
Px " es una proposición verdadera.

Cuanti…cador existencial
Símbolo: "9"
Se lee: "Existe al menos un..."
Sirve para a…rmar que al menos un elemento de un conjunto A hace que Px sea verdadera.

5
Ejemplo:

Sea A = f1; 2; 3; 4; 5; 6g.

"9x 2 A, x es primo": proposición verdadera.

"8x 2 A, x es primo": proposición falsa.
"9x 2 A, x es impar": proposición verdadera.
"8x 2 A, x es impar": proposición falsa.

NEGACIÓN DE CUANTIFICADORES

Para negar el cuanti…cador universal, se cambia éste por el cuanti…cador existencial y se niega la función
proposicional:
s [8x; Px ] () 9x; s Px
Para negar el cuanti…cador existencial, se cambia éste por el cuanti…cador universal y se niega la función
proposicional:
s [9x; Px ] () 8x; s Px
Nota: La negación de la proposición "p ^ q" es "s p _ s q" y la negación de la "p _ q" es "s p ^ s q".
Éstas se conocen como las Leyes de De Morgan.

Ejemplo:

Escriba las siguientes proposiciones en lenguaje simbólico y luego niéguelas:

p : "Para todo x 2 Z, x es par y divisible por 4".

De…nimos:
Px : "x es par".
Qx : "x es divisible por 4".
Entonces, podemos escribir p :"8x 2 Z, Px ^ Qx ".
La negación es s p : "9x 2 Z, s Px _ s Qx ". Es decir, s p : "Existe al menos un x 2 Z tal que x es
impar o x no es divisible por 4".
Claramente, la proposición p es falsa y por lo tanto, s p es verdadera.
p : "Existe un x 2 A tal que x + 3 > 8".
Observemos que la proposición "x + 3 > 8" puede separarse en dos proposiciones simples:
"x + 3 > 8" ó "x + 3 = 8".
De…nimos:
Px : "x + 3 > 8".
Qx : "x + 3 = 8".
Entonces, podemos escribir p :"9x 2 A, Px _ Qx ".
La negación es s p : "8x 2 A, s Px ^ s Qx ". Es decir, s p : "Para todo x 2 A, x + 3 6 8 ^ x + 3 6= 8"
o, en otras palabras, s p : "Para todo x 2 A, x + 3 < 8".

Ejercicio: ¿ s (p ! q) es igual a ...?