INTRODUCCIÓN A LA MATEMÁTICA

Capítulo 4

LÓGICA SIMBÓLICA
Y TEORÍA DE CONJUNTOS

Desafío 4
La lógica es el estudio de los argumentos que preservan la verdad y de allí
En una de las aulas de la Facultad de Ciencias Económicas, se ha formado la importancia de su aprendizaje.
un nuevo grupo de estudiantes. Son seis: Rocío, Pedro, Laura, Gabriela, En la ciencia en general, y en Matemática en particular, es necesario utilizar
Lucas y Santino. Nacieron en ciudades diferentes y vienen desde ellas. Ro- un lenguaje común, códigos establecidos, buscando expresarnos con clari-
cío es de Chubut y Pedro es salteño. Lucas no proviene del sur del país. Con dad y sin equívocos. Por lo que es necesario ponernos de acuerdo respecto a
la ayuda del siguiente gráfico, te invitamos a tratar de deducir de qué región la precisión del lenguaje y la simbología a utilizar para simplificar enuncia-
proviene cada integrante. Los contenidos de este capítulo nos ayudarán a dos y esquemas de razonamiento.
encontrar las herramientas necesarias para completar el esquema.
La Teoría de Conjuntos también contribuye a organizar el conocimiento
Estudiantes científico, considerando que es posible tomar una colección o conjunto de
objetos que comparten una característica común y considerarlo como un
todo.
Reg. Noroeste Reg. Centro Reg. Sur

Varón Mujer Varón Mujer Varón Mujer 1. Concepto de conjunto, notación y

representación
Varón Mujer Varón Gabriela Varón Mujer
Al buscar un concepto de conjunto, nos damos cuenta de que no es posible
dar una definición precisa de este término. Palabras como colección,
reunión, agrupación y otras de significado similar se han utilizado para in-
tentar describir a los conjuntos, pero no podemos considerarlas como una
Introducción definición, ya que se trata simplemente de un reemplazo de la palabra con-
junto.
En la vida cotidiana, cuando conversamos es muy común que “argumente- En general, la idea de conjunto se tiene, intuitivamente, clara. Cualquiera de
mos”, que intentemos convencer a otros de que “tenemos razón”, ya que nosotros comprende sin mayor dificultad lo que significa “un conjunto de
nuestra conclusión deriva de algo aceptado por ellos. Sin embargo, pocas personas”, “un conjunto de números”, etc. Esta idea se encuentra a un nivel
veces nos detenemos a pensar en el lenguaje que utilizamos y la forma en tan elemental, que podemos aceptarla como concepto primitivo, esto es no
que establecemos esos argumentos. definido.
A veces, se producen malos entendidos sencillamente por la ambigüedad en En general, los conjuntos se simbolizan con letras mayúsculas y se repre-
el uso de las palabras; mucho menos se nos ocurre “formalizar” lo que de-
sentan a través de los denominados Diagramas de Venn (curvas simples
cimos, simplemente nos comunicamos.
cerradas).

Por ejemplo:

Observando al conjunto A, podemos notar que sus elementos son los inte-
grantes originales del grupo The Rolling Stones.

139 140
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

A Observando los elementos del conjunto B, notamos que está formado por
Brian Jones los números naturales mayores que 1 y menores que 7, por lo que podemos
Mick Jagger definir a este conjunto por comprensión como:
Keith Richards
Bill Wyman Charlie Watts B = {x ℕ / 1 < x < 7}

Ian Stewart Es importante tener en cuenta que un conjunto está determinado con
solo saber cuáles son los elementos que lo integran, esto significa que:
En ocasiones, podremos simbolizar a los elementos de los conjuntos por 1. No se admite la repetición de elementos.
letras minúsculas. 2. El orden en que aparecen los elementos del conjunto no es importan-
Cuando un elemento forma parte de un conjunto, decimos que pertenece al te.
conjunto y representamos esta relación de pertenencia mediante el símbolo 3. Dado un elemento cualquiera, solo hay dos posibilidades: pertenece
, como se indica a continuación: o no pertenece al conjunto.

La expresión x ∈ A se lee como “x es un elemento del conjunto A”, o La definición de un conjunto por extensión es posible y práctica cuando el
bien, “x pertenece al conjunto A”. conjunto tiene un número finito y pequeño de elementos, en estos casos
puede ser de interés conocer la cantidad de elementos del conjunto.
Por su parte x A se lee como “x no es un elemento del conjunto A” o
“x no pertenece al conjunto A”. Se llama “cardinal de A” y se denota como n(A), o alternativamente
#(A), al número de elementos de A.

En nuestro ejemplo: Para los ejemplos anteriores tendremos:

Mick Jagger A Paul McCartney A n (A) = 4 n (B) = 5

Cuando el conjunto tiene infinitos elementos, no es posible enumerarlos
Existen dos formas de definir conjuntos ¡Recordemos! uno a uno. Sin embargo, en ocasiones podremos simbolizar algunos conjun-
El cardinal de A solo tos de este tipo en una forma similar, nombrando algunos de sus elementos
está definido si A es
y utilizando puntos suspensivos en el sentido de indicar “y así sucesivamen-
un conjunto finito.
te”.

Por extensión Por comprensión

Por ejemplo:

ℕ = {x/x Números Naturales} o bien ℕ = {1, 2, 3, 4, …}

Decimos que un conjunto está definido por extensión o enumeración si
se mencionan explícitamente todos sus elementos.
Actividad 1
Podemos definir el conjunto A enumerando los elementos que lo forman:
Establecer si los siguientes conjuntos son finitos o infinitos:
A = {Brian Jones, Mick Jagger, Keith Richards, Bill Wyman, Ian Stewart, A = {Las rectas paralelas a una dada}
Charlie Watts}
N = {Las letras de nuestro alfabeto}
Un conjunto está definido por comprensión cuando mencionamos una Representamos a los B = Los números naturales múltiplos de 10
conjuntos con letras
propiedad o característica que comparten todos sus elementos. mayúsculas e inclui- M = {Las rectas que pasan por tres puntos no alineados}
mos a sus elementos, o S = {Los países de América Central
También es posible definir al conjunto A enunciando la característica que la característica o pro-
comparten sus elementos, de este modo: piedad que ellos com- F = Las materias que integran el plan de estudios de la carrera de Econo-
parten, entre llaves. mía
A = {Integrantes originales de la banda The Rolling Stones} Observemos que los
elementos que cum-
C = Los granos de arena del Océano Pacífico}
En este caso, diremos que el conjunto está definido por comprensión. plan con esta propie- H = {Los números reales mayores que 1 y menores que 2
dad pertenecen al
Definamos el siguiente conjunto: conjunto y aquellos
B = {2, 3, 4, 5, 6} que no la posean, no.

141 142
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Por ejemplo, en el caso del siguiente conjunto:

2. Conjuntos especiales
B = {x ℕ/1 < x < 7}
2.1. El conjunto universal o referencial
de la misma definición del conjunto se deduce que el referencial está for-
En determinadas situaciones es importante definir el conjunto de interés a mado por los números naturales.
considerar como marco de referencia a partir del cual se construyen los de-
más conjuntos. 2.2. Conjunto vacío

Supongamos ahora el siguiente conjunto definido dentro del universo de los

Por ejemplo, consideremos el conjunto C que representa los meses
meses del año:
del año en que se entregan las calificaciones trimestrales para el nivel
secundario: D = {x/x son los meses del año cuyo nombre termina en “a”}
Si intentáramos definir el conjunto D por extensión, nos daríamos cuenta
C = {junio, septiembre, noviembre}
que ningún elemento del universo cumple con la característica que lo define.
Podremos notar que el conjunto universal estaría dado por los meses del Al conjunto que no posee elementos lo llamamos conjunto vacío y lo desig-
año académico, que se extiende de marzo a diciembre. Los meses de enero y namos con el símbolo .
febrero estarían fuera del universo.
El conjunto vacío es aquel que está caracterizado por una propiedad
Llamamos conjunto universal (U) al formado por todos los elementos que ningún elemento del universo cumple.
de una determinada área de interés, que es usado como marco de refe-
rencia para definir otros conjuntos dentro de él.
2.3. Conjunto unitario
Al conjunto universal se lo suele representar con un rectángulo para distin-
guirlo de los diagramas correspondientes a los demás conjuntos. Consideremos ahora el siguiente conjunto definido dentro del mismo uni-
verso que el ejemplo anterior:
U b
C E = {x/x son los meses de 28 días}
f
En el caso de E, al definirlo por extensión, notaremos que existe un solo
g
c elemento que cumple con esa condición (febrero) y, como está formado por
j un único elemento, lo llamamos conjunto unitario.
d e
h i a

Para el caso del ejemplo anterior, tendríamos: 3. La lógica simbólica y el uso del lenguaje
Siendo: Cuando nos servimos del lenguaje cotidiano para enunciar hechos o descri-
U = {Meses del año académico (nivel medio)} bir situaciones, lo hacemos de diversas formas: a través de preguntas, dan-
do órdenes, expresando deseos o haciendo afirmaciones.
C = {Meses de entrega de calificaciones trimestrales}
Para definir objetos o elementos matemáticos y demostrar propiedades,
y los elementos representados en el diagrama:
definiciones o teoremas, sin embargo, es necesario un lenguaje preciso. La
a = Marzo b = Abril c = Mayo d = Junio Lógica Simbólica colabora en la construcción de este tipo de lenguaje y nos
e = Julio f = Agosto g = Septiembre h = Octubre será de gran ayuda, entre otras cosas, para formalizar adecuadamente la
teoría de conjuntos.
i = Noviembre j = Diciembre
Esta disciplina se ocupa de enunciados u oraciones que son verdaderos o
Observemos que los elementos a, b, c, e, f, h y j, si bien forman parte del falsos, a los que llamamos “proposiciones”.
universo considerado, no pertenecen al conjunto C.
Dentro de la definición de un conjunto, puede estar implícitamente deter- Por ejemplo, ante la expresión “El país ha experimentado un aumen-
minado el conjunto universal. to importante de sus exportaciones”, es posible decir si es verdadero
o falso. Mientras que, en una interrogación, una exclamación o una

143 144
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

orden no tiene sentido preguntarse si estas expresiones son verda- A partir de estas proposiciones simples, se pueden construir proposiciones
deras o falsas. compuestas usando distintos conectivos lógicos, tales como:

Una proposición es un enunciado u oración declarativa de la que se Ale terminó el secundario y se inscribió en Ciencias Económicas.
El conectivo "no"
puede decir si es verdadera o si es falsa. puede modificar
Ale terminó el secundario o se inscribió en Ciencias Económicas.
Importante: Al afirmar una sola proposi- Si Ale terminó el secundario, entonces se inscribió en Ciencias Económi-
que una proposición
Analicemos las siguientes expresiones: ción, mientras que cas.
es verdadera o falsa, los otros conecti-
1. ¿Quién puede ayudarme? estamos dando lo que vos vinculan dos o Ale no terminó el secundario.
2. ¡Siéntese aquí! se conoce como su más proposiciones.
“valor de verdad”. Utilizaremos los siguientes conectivos y operaciones lógicas, que leemos y
3. La música barroca es típica del siglo XVI. simbolizamos como lo muestra el cuadro:
4. ¿Qué hora es?
TABLA DE CONECTIVOS Y OPERACIONES LÓGICAS
5. ¡Que rico café!
CONECTIVO COMO SE LEE OPERACIÓN
6. El trece es un número primo.
“y” Conjunción
Solo las expresiones 3 y 6 son oraciones enunciativas o declarativas, pues
podemos decir si son verdaderas o falsas, por lo tanto, son proposiciones. “o” Disyunción inclusiva
Para identificar a las proposiciones se suelen utilizar las letras p, q, r, s, etc. “o…, o” Disyunción exclusiva
“si p entonces q” Condicional
Actividad 2 “no” Negación
“p si y solo si q” Bicondicional
Analizar las siguientes expresiones lingüísticas y decir cuáles son proposi-
ciones: Analicemos algunos enunciados, sus proposiciones simples y los conectivos
1. ¡Qué manera de expresarte! utilizados en ellos.
2. La ciudad de Florianópolis se encuentra en una isla. PROPOSICIONES EXPRESIÓN EN
ENUNCIADO CONECTIVO
SIMPLES SÍMBOLOS
3. ¿Estamos preparados para el parcial de Matemática?
4. El rubro Bienes de Uso pertenece al Pasivo de una empresa. p: los números enteros son racio-
Los números enteros
5. El aumento del nivel de precios está siendo contenido por el gobierno. nales
y los fraccionarios y p q
q: los números fraccionarios son
6. El conjunto de los números racionales es infinito. son racionales.
racionales
7. ¡Espero conseguir entradas para el concierto del fin de semana!
Las inversiones son r: las inversiones son públicas
o r s

∨
públicas o privadas. s: las inversiones son privadas

4. Conectivos y operaciones lógicas El último balance de t: el último balance de la empresa

la empresa “La Lógi- “La Lógica SA” arrojó pérdidas
o t u

∨
ca SA” arrojó pérdi- u: el último balance de la empresa
Se distinguen dos tipos de proposiciones: simples y compuestas. Si se unen
das o ganancias. “La Lógica S.A.” arrojó ganancias
una o varias proposiciones simples con un término de enlace, se forma una
proposición compuesta. El vínculo se establece a través de palabras como Si la figura ABCD es p: la figura ABCD es un rectángu-
“y”, “o”, “no”, “si..., entonces”, “si y solo si”, que llamamos “conectivos lógi- un rectángulo, en- lo Si…,
cos” y que están asociados a igual número de operaciones lógicas. p q
tonces tiene dos q: la figura ABCD tiene dos lados entonces
lados iguales. iguales
Los conectivos lógicos son partículas lógicas que nos permiten relacio-
nar dos o más proposiciones simples para formar proposiciones com- La figura ABCD es r: la figura ABCD es un cuadrilá-
puestas, o modificar una única proposición dada. un cuadrilátero si y tero
sí y solo si r s
solo si tiene cuatro s: la figura ABCD tiene cuatro
lados. lados
Por ejemplo, tenemos las siguientes proposiciones:

p: Ale terminó el secundario. q: Ale se inscribió en Ciencias Económicas.

145 146
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Las operaciones lógicas con las que trabajaremos son:

Atención:
OPERACIÓN
CONECTIVO
Cuando la palabra “no” se encuentra contenida en una proposición, LÓGICA
puede pasar inadvertido que se trata de una proposición compuesta. Conjunción
Otra forma de emplear el conectivo lógico “y” en el lenguaje corrien- Disyunción
te es utilizando la palabra “pero” o una coma (“,”), en vez del término Disyunción exclusiva
de enlace “y”. Por ejemplo: Fui al centro, pero no encontré lo que busca-
Condicional
ba.
Negación
Cuando utilizamos el conectivo “o”, pueden darse dos situaciones:
por ejemplo, si decimos “las inversiones son públicas o privadas”, el Bicondicional
término de enlace indica que las inversiones pueden tener el carácter de Para cada operación lógica, presentaremos su correspondiente tabla de ver-
públicas, de privadas o ser mixtas (con participación pública y privada); dad.
mientras que si decimos “Carlos es el padre de Manuel o su hijo”, la
proposición plantea situaciones excluyentes, es decir que, si ocurre una,
es imposible que ocurra la otra. Actividad 4

Para los siguientes enunciados:

Para cada una de las operaciones lógicas, nos interesa conocer el valor de
verdad de la proposición compuesta resultante, que se determina a partir a) Identificar las proposiciones simples intervinientes.
del valor de verdad de las proposiciones simples que la componen. b) Determinar a través de qué conectivo se vinculan.
Una tabla de verdad permite determinar el valor de verdad de una proposi- c) Expresar en símbolos.
ción compuesta para las distintas alternativas de valores de verdad de las
1. En el hemisferio sur, julio no es un mes de verano.
proposiciones simples involucradas.
2. La suma y el producto de dos números naturales es otro número natural.
Una proposición simple es verdadera o es falsa. Por ello, su tabla de verdad
consta de 2 valores posibles. 3. La cantidad demandada de un bien aumenta si y solo si baja su precio*.
p 4. Los empleos son formales o precarios.
V
5. Ana estudia o trabaja en la Facultad de Ciencias Económicas de la UNC.
F
Invitamos a ver un 6. Si el sol es una estrella, tiene luz propia.
Si hay dos proposiciones p y q, tendremos que tener en cuenta cuatro posi- video sobre el tema
bles combinaciones de valores de verdad, que mostramos en la siguiente en el Aula Virtual en 7. Las personas económicamente activas están ocupadas o desocupadas.
tabla: Recursos y Materiales
del Capítulo 4.
8. Si un número es entero, entonces es racional.
p q
9. Mario es inteligente, pero distraído.
V V
V F *Suponiendo constantes las otras variables que influyen en la demanda.
F V
F F
4.1. Negación
Puede darse que ambas sean verdaderas; o bien, que p verdadera y q falsa;
puede que p sea falsa y q verdadera, o que ambas sean falsas. Dada la siguiente proposición:

Hemos observado que, si tenemos una sola proposición, contamos con dos p: Ale es ingresante a Ciencias Económicas.
posibles valores de verdad; y si son dos proposiciones las que se vinculan, La negación de p será “No es cierto que Ale es ingresante a Ciencias Eco-
hay cuatro posibilidades; si son tres las proposiciones simples, tendremos nómicas”, o bien “Ale no es ingresante a Ciencias Económicas”, y se simboli-
ocho posibilidades; en general, si se vinculan n proposiciones, habrá 2n posi- za: p.
bilidades.
La negación de una proposición p es la proposición que se obtiene an-
teponiendo a la dada: “Es falso que...”, o bien precediéndola de la pala-
Actividad 3
bra “no”. En símbolos se expresa: p.
Presentar las ocho posibilidades para la vinculación de tres proposiciones.

147 148
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Si p es una proposición verdadera, su negación resultará falsa. La siguiente 4.3. Disyunción lógica
es su tabla de verdad:
p Como ya lo hemos mencionado, asociado al conectivo “o” está la operación
lógica “disyunción”. La palabra “o” tiene en la vida diaria un sentido ambi-
F V
guo, ya que puede tener un sentido inclusivo o exclusivo.
V F
Según sea el tipo de proposiciones simples que se vinculen, tendrá sentido
hablar de disyunción con sentido incluyente o con sentido excluyente, como
Actividad 5 veremos en el punto siguiente.

Sean:
La disyunción o suma lógica de las proposiciones p y q es la proposi-
p: “5 es divisor de 12”. ción compuesta que se obtiene uniendo dos proposiciones simples me-
q: “2 es un número primo”. diante el conectivo “o” con sentido incluyente.
Enunciar la negación de p y de q y analizar el valor de verdad de cada una de En símbolos, se indica: p q
ellas.
Busquemos ahora la proposición compuesta p q utilizando las proposicio-
4.2. Conjunción lógica nes del ejemplo del punto 4.2. y pensemos cuál será su valor de verdad. La
disyunción de p y q será “Ale es ingresante a Ciencias Económicas o tiene
Analicemos esta operación lógica mediante un ejemplo: aprobadas todas las materias del nivel secundario”. En cuanto al valor de
verdad de estos enunciados, ¿qué podemos decir?
p: “La pizza nació en el antiguo Egipto”.
q: “La pizza es una comida conocida mundialmente”. Verifiquemos la validez de la respuesta con la siguiente tabla de verdad
correspondiente a la disyunción de p con q, donde p y q son dos proposi-
La proposición compuesta conjunción de p con q que simbolizamos p q se ciones cualesquiera.
enuncia: “La pizza nació en el antiguo Egipto y es una comida conocida
mundialmente”. p q
V V V
La conjunción o producto lógico de dos proposiciones simples p y q es La disyunción es V V F
la proposición compuesta que se obtiene uniendo a ambas en el orden falsa solo cuando
F V V
dado, mediante el conectivo lógico “y”. ambas proposicio-
nes son falsas. F F F
Si buscamos en el listado de personas preinscriptas para ingresar a la Facul-
tad de Ciencias Económicas, podremos observar si Ale se encuentra entre
4.4. Disyunción exclusiva
quienes se han inscripto para ingresar a la Facultad. Si Ale efectivamente se
encuentra en el listado y tiene la constancia de aprobación de todas las ma- Dadas las siguientes proposiciones simples:
terias del nivel secundario, ambas proposiciones serán verdaderas, y resul-
p: “Carlos es el padre de Manuel”.
tará coherente afirmar que el enunciado compuesto también lo es. Si conti-
nuamos asumiendo que Ale se encuentra entre quienes se han inscripto q: “Carlos es el hijo de Manuel”.
para ingresar a la Facultad, pero adeuda alguna materia del nivel secundario,
La proposición compuesta “Carlos es el padre de Manuel o su hijo” es una
entonces la conjunción resultará falsa.
disyunción exclusiva, ya que es imposible que una misma persona sea el
¿Qué opinamos respecto al valor de verdad de la proposición compuesta de padre y el hijo de otra: “o” es el padre “o” es su hijo. Coloquialmente no es
este ejemplo si, en cambio, consideramos que Ale no se encuentra entre los necesario utilizar las dos “o”, el significado del enunciado nos permite, en
inscriptos para ingresar a estudiar Ciencias Económicas? general, distinguir entre la disyunción inclusiva de la exclusiva.
Para dos proposiciones cualesquiera, el valor de verdad de la proposición
compuesta p q, se muestra en la siguiente tabla: La disyunción exclusiva de las proposiciones p y q es la proposición
compuesta que se obtiene uniendo ambas proposiciones simples, me-
p q diante el conectivo “o”, con sentido excluyente.
V V V La conjunción solo es En símbolos, se indica p q.
verdadera cuando am-
V F F
bas proposiciones son
F F V verdaderas.
F F F

149 150
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Decimos “Ocurre p, o q, pero no ambos”. Por ello, su tabla de verdad es la “Si papá me presta el auto esta noche, te paso a buscar para ir a la fiesta”.
siguiente:
“Te paso a buscar para ir a la fiesta, si papá me presta el auto esta noche”.
p q La disyunción exclusiva
es verdadera cuando
“Te paso a buscar para ir a la fiesta, siempre que papá me preste el auto
V F V las proposiciones con- esta noche”.
V V F sideradas tienen distin-
Para encontrar la tabla de verdad del condicional, analicemos la proposición
F V V to valor de verdad.
de nuestro ejemplo. ¿Cuál será el valor de verdad de esta proposición com-
F F F puesta, teniendo en cuenta las distintas alternativas acerca del valor de ver-
dad de p y de q? Si es verdad que papá me presta el auto esta noche y ver-
Actividad 6 daderamente paso a buscar a mi amigo para ir al cine, es fácil darnos cuenta
de que el enunciado compuesto es verdadero. Si es verdad que papá me
¿De qué tipo de disyunción se trata en cada uno de los siguientes enuncia- presta el auto y, pese a ello, no paso a buscar a mi amigo para ir al cine, el
dos? Fundamentar en todos los casos la respuesta. condicional es falso, porque habiéndose cumplido la condición, resulta
inadmisible que el consecuente sea falso. Si papá no me presta el auto, pue-
a) “Los contratos de provisión no serán renovados en caso de incumplimien-
do decir que me veo liberado del compromiso de pasar a buscar a mi amigo,
to parcial o transferencia de fondo de comercio del prestador”.
y podemos considerar verdadero al condicional, independientemente de que
b) “En las próximas vacaciones iremos al Calafate o a la costa de Brasil”. lo pase a buscar o no; esto es lo que significa conceder al condicional el “be-
c) “La Sudamérica colonial dependía de la exportación de productos agríco- neficio de la duda”. En síntesis, si no se cumple la condición, consideramos
las o minerales”. verdadero el condicional independientemente que la consecuencia sea ver-
dadera o falsa.
d) “La ciudad de Babilonia fue conquistada hacia el año 1225 a. C. por los
asirios o por los caldeos”. La tabla de verdad correspondiente a esta operación es la siguiente:

e) “En Sudamérica podemos encontrar una gran variedad de especies de p q

pájaros o de reptiles”. El condicional solo es V V V

f) “Los pingüinos son originarios del Polo Norte o del Polo Sur”. falso cuando el ante- V F F
cedente es verdadero
F V V
y el consecuente es
falso. F V F
4.5. Condicional

Cuando hablamos de los distintos conectivos lógicos, vimos que “Si..., en- Veamos otros ejemplos:
tonces…” es el término de enlace que usamos para expresar una condición.
“Si 2 x 2 = 7, entonces Mendoza es la capital de la Argentina”.
Por ejemplo, sean:
“Si 2 x 2 = 4, entonces Mendoza es la capital de la Argentina”.
p: “Papá me presta el auto esta noche”.
Si nos guiamos por la tabla de verdad, resulta que el primer condicional es
q: “Esta noche te paso a buscar para ir a la fiesta”. verdadero y el segundo es falso. Esto pasa porque, en general, no exigimos
La proposición compuesta p q se traduce lingüísticamente: “Si papá me ningún tipo de conexión entre las proposiciones intervinientes en un condi-
presta el auto esta noche, entonces te paso a buscar para ir a la fiesta”. cional.

Al enunciado p se le llama antecedente, y a q, consecuente. La estructura

de este enunciado compuesto nos permite expresar los condicionales de Relación de Implicación – Razonamientos
varias maneras diferentes. Algunas de las formas más comunes de hacerlo En ocasiones, las proposiciones simples que intervienen en la formación del
son: El condicional es condicional sí están relacionadas, y además existe una relación del tipo cau-
“Si p, entonces q” lógicamente verda- sa-efecto entre ellas. Cuando existe este tipo de relación y el condicional es
“Si p, q” dero cuando el con-
lógicamente verdadero (del análisis de las proposiciones simples intervi-
secuente se deduce
“q, si p” lógicamente del nientes, resulta que el enunciado compuesto es verdadero), se dice que
“q siempre que p” antecedente. existe “implicación” y, en este caso, la expresión se denota como p q y se
lee como “p implica q”.
Expresemos la proposición anterior de distintas maneras:
La relación de implicación es la base de los razonamientos en Matemática.
“Si papá me presta el auto esta noche, entonces te paso a buscar para ir a la
fiesta”.
151 152
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Un razonamiento es una sucesión de proposiciones (premisas) cuyo 4.6. Bicondicional

propósito es la implicación de otra proposición (conclusión), de mane-
Esta operación está estrechamente relacionada con el condicional. El prefijo
ra tal que, si las premisas son verdaderas, entonces la conclusión tam-
“bi” indica, en este caso, que el condicional actúa dos veces: p q y al mis-
bién es verdadera. Si esto no ocurre, se ha cometido un error en alguna
mo tiempo q p.
parte del proceso de razonamiento.
El bicondicional de p con q es la proposición compuesta que simboli-
El siguiente ejemplo, que posiblemente resulte conocido, clarifica lo ante- zamos con p q, y que obtenemos uniéndolas mediante las palabras
rior: “Si todos los seres humanos son mortales y Sócrates es un ser humano, “si y solo si”.
entonces Sócrates es mortal”. Esta proposición es verdadera sin ninguna
duda. Que “Sócrates es mortal” se deduce de la conjunción de las proposi- La tabla de verdad de p q es la siguiente:
ciones:
p q
“Todos los hombres son mortales” y “Sócrates es hombre”
V V V
El bicondicional es ver-
Ambas constituyen las premisas de este razonamiento, en tanto que “Só- V F F
dadero cuando p y q
crates es mortal” es la conclusión a la que se arriba. tienen el mismo valor de F F V
verdad. F V F
Un razonamiento es válido si y solo si, siempre que las premisas sean
verdaderas, lo es también la conclusión. El conectivo bicondicional p q se lee “p si y solo si q” y afirma que si p es
verdadero, entonces q es verdadero, y si p es falso, entonces q también lo es.
Recordemos una importante observación de Kemeny: “La relación de impli-
cación tiene una estrecha afinidad con el enunciado condicional, pero es
importante no confundirlos. El condicional es un nuevo enunciado cons- Veamos el siguiente ejemplo:
truido a partir de dos enunciados dados, mientras que la implicación es
“La cantidad demandada de un bien aumenta si y solo si bajan sus precios”.
una relación entre los dos enunciados”.
Si la cantidad demandada aumenta y los precios bajan, el bicondicional es
Si p implica q deberá cumplirse que: verdadero. Si la cantidad demandada no aumenta y los precios no bajan,
“p es condición suficiente para q” sigue siendo verdadero. Pero puede suceder que bajen los precios (q verda-
y dera) y no aumente la cantidad demandada (p falsa); o viceversa, la canti-
“q es condición necesaria para p”. dad demandada aumenta (q verdadera) sin que baje su precio (p falsa).
Para estos casos, el bicondicional es falso.

Veamos estas condiciones en un ejemplo:

Relación de equivalencia
Sean p: “n es un número múltiplo de cuatro” y q: “n es un número par”; Si q es deducible (lógicamente) de p y, a su vez, p es deducible (lógicamen-
p q será: “Si n es un número múltiplo de cuatro, entonces es par”. te) de q, decimos que p qyq p. Esto establece una relación entre p y q
El hecho de ser n un número múltiplo de cuatro, es suficiente para que llamada equivalencia, que se simboliza p q y en la que se cumple que:
también sea par. Veamos que no es necesario que sea múltiplo de cuatro p es condición necesaria y suficiente para q
para que sea par.
y
También decimos “ser número par” es condición necesaria para ser “múlti- q es condición necesaria y suficiente para p.
plo de cuatro” (aunque no suficiente).
Otra expresión para p q es Por ejemplo, sean:
“p solo si q”
p: “10 es múltiplo de 5”
En nuestro ejemplo: “Un número es múltiplo de cuatro solo si es par”. y
Pensando en el ejemplo previo, es necesario ser mortal para ser parte del q: “existe un número entero que multiplicado por 5 da como resultado 10”
género humano, pero no suficiente; y el hecho de ser un ser humano es su-
p q: “10 es múltiplo de 5 si y solo si existe un número entero que multi-
ficiente para saber que también se es mortal, aunque no es necesario serlo
plicado por 5 da como resultado 10”.
(hay muchos mortales que no son seres humanos).

153 154
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

p.
5. Empleo de más de un conectivo lógico El paso 2 es construir la tabla de verdad de
p q
Hasta aquí hemos trabajado vinculando a través de conectivos lógicos, a lo F V V
sumo dos proposiciones simples, para formar enunciados compuestos. Sin F V F
embargo, a menudo nos encontraremos con otros enunciados o proposicio- V F V
nes más complicados que requieren el uso de varios conectivos lógicos. V F F

El paso 3 (el último en este ejemplo) es efectuar la disyunción entre “no p” y

Por ejemplo, sean: “q”.
p q
p: Pedro tomó el vuelo de las 8 h.
F V V V
q: El asistente de Pedro llegó a tiempo al aeropuerto.
F V F F
La proposición (p q) se lee: “No es cierto que Juan tomó el vuelo de las V F V V
8 h y su asistente llegó a tiempo al aeropuerto”. V F V F

La última columna obtenida, resaltada en negrita, nos da la tabla de verdad

¿Cómo construimos la tabla de verdad de cualquier proposición compuesta? del enunciado compuesto.

Para hacerlo, al igual que en el caso de las operaciones aritméticas, seguire- En los ejemplos y actividades que siguen, veremos enunciados más comple-
mos un procedimiento en el que es importante respetar el siguiente orden: jos.
Para no equivocarnos respetemos estas sencillas reglas:
Conjunción / Condicional /
Negación
Disyunción Bicondicional Ante la presencia de paréntesis, corchetes, etc., trabajaremos de
adentro hacia afuera.
Es decir que la negación debe resolverse antes que las demás operaciones y
La última columna a construir debe corresponder a la tabla de verdad
así sucesivamente, siendo el bicondicional la última operación lógica a re-
de la proposición compuesta solicitada.
solver.

En ocasiones nos encontraremos con la presencia de paréntesis, corche- Construyamos la tabla de verdad de la proposición:
tes, etc. Estos signos pueden alterar el orden dado. (p q):
(p q)
Por ejemplo, si la proposición compuesta es: F V V V
F V V F
p q r
F F V V
deberemos obtener, en primer lugar, la conjunción de p con q. Esta proposi- V F F F
ción (compuesta) será el antecedente del condicional. 3 1 2 1
En cambio, si lo que se quiere es obtener la conjunción de p con la proposi- Ahora construyamos la tabla de verdad de la proposición:
ción compuesta q r, deberemos escribirlo así: p (q r).
[(p q) q] p

Por ejemplo, para construir la tabla de verdad de la proposición p [(p q) q] p

q, el procedimiento es el siguiente: V V V F F V V F V
V F F F V F V F V
El paso 1 consiste en asignar los posibles valores de verdad a las proposicio-
nes simples intervinientes. En el ejemplo: F V V F F V V V F
F V F V V F V V F
p q
1 2 1 3 2 1 4 2 1
V V
V F En la columna demarcada con el número 4 se obtienen los valores de verdad
F V de la proposición compuesta presentada. La última fila de esta tabla nos
F F marca el orden en que se deben resolver las operaciones lógicas involucra-
das.

155 156
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Cuando una proposición compuesta resulta verdadera independiente-

Actividad 7
mente de los valores de verdad de las proposiciones simples intervi-
En los siguientes enunciados: nientes, se dice que es una tautología.
a) Señalar las proposiciones simples que intervienen. Por otra parte, observemos la tabla de verdad de la siguiente proposición
b) Simbolizar las mismas y los conectivos que las vinculan. compuesta:
c) Construir la tabla de verdad de la primera y, para la última, construir su [( p q) q] q
tabla de verdad para el caso particular en que el antecedente de esta propo- [( p q) q] q
sición es falso.
La proposición com- F V V V V V F F V
1) “Si el candidato defiende los derechos civiles, ganará las elecciones depar- puesta es siempre F V V F F F F V F
tamentales y llegará a la presidencia”. falsa.
V F V V V V F F V
2) “Si los contenidos del seminario son buenos y el docente da calificaciones
V F F F F F F V F
justas, vale la pena inscribirse en él”.
3) “Es falso que para el concierto del fin de semana haya que vestir ropa Cuando una proposición compuesta resulta falsa independientemente
formal y el costo de la entrada sea de $200”. de los valores de verdad de las proposiciones intervinientes, se dice que
4) “El vuelo de Jorge se retrasó, y solo llegará a horario a la junta con la Co- es una contradicción.
misión Directiva si toma un taxi hasta el centro, o reprograma la reunión
Finalmente, observemos la tabla de verdad de la proposición compuesta
con el Gerente de personal”.
bicondicional:
5) “El lunes y el martes no tendremos reparto a domicilio en el restaurante”. p q
6) “Si las autoridades no mejoran las condiciones para el sector, los empre-
p q
sarios mantendrán las medidas de fuerza y no pagarán los impuestos.” La proposición com-
puesta, en algunos V V V
casos, es verdadera y, V F F
Actividad 8 en otros, falsa.
F F V
Dadas las proposiciones compuestas: F V F
p q
Cuando una proposición compuesta resulta en algunos casos verdadera
(p q) y en otros falsa, se dice que es una contingencia.
a) Construir sus respectivas tablas de verdad.
b) Compararlas.
5.2. Equivalencia lógica

5.1. Clasificación de las proposiciones compuestas ¿Qué podemos decir de los resultados obtenidos en la actividad 8? Cuando
dos expresiones tienen el mismo significado o valor de verdad, decimos que
De acuerdo a los resultados de la tabla de verdad, las proposiciones com- son equivalentes. Precisamente este último es el sentido que tiene la equi-
puestas pueden clasificarse en tautología, contradicción o contingencia. valencia lógica.
Dadas las siguientes proposiciones:
Se dice que dos proposiciones son lógicamente equivalentes si tienen
p q y p q idénticas tablas de verdad.
Si las vinculamos mediante el conectivo bicondicional y construimos su ta- Las siguientes proposiciones son lógicamente equivalentes:
bla de verdad, obtendremos:
(p q) (q p) con p q
(p q) p q
En efecto, veamos las tablas de verdad de una y otra:
V V V V F V V V
La proposición com-
V F F V F V F F (p q) (q p)
puesta es siempre
F V V V V F V V verdadera. V V V V V V V
F V F V V F V F V F F F F V V
F V V F V F F
F V F V F V F

157 158
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

p q La expresión “x es licenciado en Administración” no puede considerarse co-

V V V mo una proposición, ya que no es en sí misma ni verdadera ni falsa. Aquí la
V F F variable “x” toma valores dentro de un conjunto, llamado conjunto de refe-
F F V
rencia. Estas expresiones reciben el nombre de funciones proposicionales.
F V F Si una oración declarativa contiene una variable que, al ser reemplaza-
Construyendo cada tabla de verdad de acuerdo al orden establecido para da por un elemento cualquiera de un determinado conjunto de referen-
los conectivos vinculantes, podemos observar que los valores de verdad de cia, se convierte en proposición, se denomina función proposicional.
los dos enunciados compuestos son idénticos para los mismos valores de
Comúnmente se usan las últimas letras del alfabeto (x, y, w, z) para deno-
verdad de las proposiciones simples intervinientes.
tar las variables y se utiliza la siguiente notación: p(x), q(y), r(z), etc. para
Si vinculamos dos proposiciones equivalentes mediante el conectivo bicon- identificar funciones proposicionales.
dicional, el enunciado compuesto será una tautología. Por lo tanto, otra
Cuando en una función proposicional se sustituye la variable por algún ele-
forma de ver que dos proposiciones son lógicamente equivalentes es vincu-
mento de su conjunto de referencia y la misma se convierte en proposición,
lándolas a través de un bicondicional.
algunos elementos de este conjunto harán que la proposición resultante sea
En lógica proposicional, las Leyes de De Morgan son un par de reglas de verdadera y otros la harán falsa.
inferencia que permiten expresar en forma válida cómo afecta una negación
a las conjunciones y disyunciones y se pueden expresar como: El conjunto formado por aquellos elementos del conjunto de referencia
de una función proposicional p(x) que la hacen verdadera se denomina
La negación de la conjunción equivale a la disyunción de las negaciones: conjunto de verdad o conjunto solución de p(x) y se denota como P.
(p q) p q
La negación de la disyunción equivale a la conjunción de las negaciones: Observemos que podemos definir un conjunto por comprensión utilizando
(p q) p q funciones proposicionales. La función proposicional elegida describe los
atributos o propiedades que definen al conjunto.

Actividad 9
Por ejemplo:
Dadas las proposiciones:
P ={x/p(x)} donde P = {x/x ∈ ℕ ˄ x – 2 < 10}
p: “La institución lanzará nuevos cursos de perfeccionamiento”.
En el presente ejemplo podemos identificar:
q: “La institución evaluará a sus profesionales”.
Expresar: a) Función proposicional, p(x): x - 2 es menor que 10

a) El enunciado coloquial y simbólico de la conjunción de la negación de la b) Conjunto de referencia: ℕ

primera con la negación de la segunda. c) El conjunto solución de p(x) es P = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11}
b) La negación en símbolos de la proposición obtenida en a) usando la Ley
Veamos ahora otro ejemplo:
de De Morgan.
c) La traducción de la negación al lenguaje coloquial. P ={x/p(x)} donde P {x/x ∈ ℕ ˄ x < 1}
Podemos redefinir al
conjunto vacío como En el presente ejemplo podemos identificar:
aquel que está carac-
terizado por una
a) Función proposicional, p(x): x es menor que 1

6. Funciones proposicionales función proposicio-

nal que se convierte
b) Conjunto de referencia: ℕ
en proposición falsa c) El conjunto solución de p(x) es
Consideremos ahora las siguientes proposiciones: cualquiera sea el
valor de , o bien Este ejemplo nos presenta un caso particular de lo expresado, donde el con-
1. “Gustavo es licenciado en Administración”. aquel definido por junto solución de una función proposicional es el conjunto vacío.
una contradicción.
2. “Álvaro es licenciado en Administración”.
3. “Enrique es licenciado en Administración”. Actividad 10
Estas proposiciones tienen una característica en común: “ser licenciado en
Administración”. Esto puede reescribirse como “x es licenciado en Adminis- Encontrar el conjunto solución de las siguientes funciones proposicionales,
tración”, donde “x” es una variable que representa un sujeto indeterminado. cuyo conjunto de referencia es el de los números naturales:

159 160
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

a) p(x): 7x – 1 = 0 “Algún número entero es un número natural”.

b) p(y): y +3 ≤ 9 “Algunos números enteros son números naturales”.
c) p(z): z + 4 < 10
La expresión x/ p(x) es verdadera si y solo si por lo menos una
Al igual que las proposiciones, las funciones proposicionales pueden negar- de las proposiciones, que se consiguen al sustituir x por los ele-
se y también combinarse con otras funciones proposicionales o proposicio- mentos del universo donde está definida p(x), es verdadera.
nes simples por medio de los conectivos lógicos.

6.1. Cuantificadores 6.1.2. Cuantificador universal

Cuando trabajamos con funciones proposicionales como las presentadas en El símbolo “ ” se denomina cuantificador universal afirmativo y se lee “pa-
el punto anterior, a menudo deseamos indicar cuántos elementos del co- ra todo”. Lo empleamos para cuantificar la función proposicional escribien-
rrespondiente conjunto de referencia cumplen con la propiedad expresada. do en símbolos de la siguiente forma:
x U: p(x)
Un cuantificador es una palabra o frase que indica cuántos objetos o
elementos de un determinado conjunto cumplen con cierta propiedad. Esta expresión simbólica se lee: “Para todo x que pertenece al conjunto de
referencia (U), p(x) es verdadero”.
Generalmente, podemos identificar dos maneras de convertir una función
proposicional en proposición: Por ejemplo, si:
Reemplazando la variable contenida en ella por un elemento determinado
de su conjunto de referencia. U = ℕ y p(x): x es un número entero

Utilizando cuantificadores. La expresión:

Cuando la afirmación resultante esté referida a algunos elementos del con- x ℕ : p(x)
junto, trabajaremos con el llamado cuantificador existencial. En cambio, se lee: ”Para todo x que pertenece a los naturales se cumple que x es un
cuando queremos afirmar que una proposición es válida para todos los ele- número entero”.
mentos del universo, trabajaremos con el cuantificador universal.
Al igual que en el caso del cuantificador existencial, podemos expresar esto
en lenguaje usual de otras maneras, tales como:
6.1.1. Cuantificador existencial
“Todo número natural es un número entero”.
El símbolo “ ” se llama cuantificador existencial afirmativo y se lee “exis- “Cualquier número natural es un número entero”.
te”. Lo empleamos para cuantificar la función proposicional escribiendo en “Cada número natural es un número entero”.
símbolos de la siguiente forma:
x U/p(x)
“ x : p(x)” es verdadera si y solo si son verdaderas todas las pro-
Esta expresión simbólica se lee: “Existe al menos una x que pertenece al posiciones que se obtienen al reemplazar la variable x por cada uno
conjunto de referencia (U), tal que p(x) es verdadero”. de los elementos pertenecientes al conjunto donde está definida
p(x).
Por ejemplo, si:

U = ℤ y p(x): x es un número natural Actividad 11

La expresión:
Encontrar el valor de verdad de la siguiente expresión definida en ℝ:
x ℤ /p(x)
x ℝ : x2 > 0
se lee: “Existe al menos un x que pertenece a los enteros tal que es natural”.
Esta estructura es algo flexible, pudiendo expresarse en lenguaje usual de
otras maneras, tales como:
“Hay números enteros que son números naturales”.
“Existen números enteros, tales que son números naturales”.

161 162
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

En síntesis: En los dos ejemplos vemos que:

Una expresión cuantificada universal o existencialmente es una nueva La negación de un cuantificador existencial es equivalente a un cuanti-
proposición cuyo valor de verdad se establece de la siguiente manera: ficador universal respecto de la función proposicional negada.
La proposición “ x / p(x)” es verdadera cuando hay al menos un valor
de x en su conjunto de referencia que haga verdadera la proposición Podemos establecer que, en general, la negación de un cuantificador exis-
p(x) y será falsa si no existe un solo elemento de tal conjunto que veri- tencial se expresa en símbolos de la siguiente manera:
fique p(x). x ℕ / p(x)] x : p(x)
La proposición “ x : p(x)” es verdadera si la proposición p(x) se veri-
Veamos ahora qué ocurre en el caso del cuantificador universal.
fica para todos los elementos del conjunto de referencia y falsa si al
menos un elemento la hace falsa. Dado el enunciado:
“Todo número natural es un número entero”.

6.2. Negación de los cuantificadores Podríamos pensar que su negación en lenguaje coloquial será:

Cuando negamos funciones proposicionales cuantificadas, es muy común “Ningún número natural es un número entero”.
confundirnos al momento de expresar coloquialmente la negación y deter- Sin embargo, esto nuevamente es incorrecto.
minar su valor de verdad. Pensemos por un momento en la proposición:
Negar la proposición todo número natural es un número entero es equiva-
“Algunos números negativos son números naturales”.
lente a afirmar que existe al menos un número natural que no es entero.
¿Cómo expresaríamos su negación? Negar que existe un número negativo
que sea natural es equivalente a afirmar que todos los números negativos
Veamos otro ejemplo:
son no naturales.
Dada la función proposicional:
Quizás nos veremos tentados a decir que la negación de este enun-
ciado es: z + 4 < 10
“Algunos números negativos no son números naturales”. definida en el conjunto de los números naturales y cuantificada como:
¡Pero esta forma de negar tal enunciado es incorrecta! z ℕ: z + 4 < 10
Su negación será:
Veamos otro ejemplo: “No es cierto que para todo número natural z + 4 < 10”.
Consideremos la función proposicional: En símbolos:
z ℕ: z + 4 < 10]
p(x): x > x > x + 1
Esto equivale a decir:
definida en el conjunto de los números naturales y cuantificada como:
“Existen algunos números naturales que no verifican z + 4 < 10”
x ℕ / p(x)
Su negación será: z ℕ: z + 4 < 10] ⇔ z / z + 4 10
“No es cierto que existe un número natural, tal que x > x + 1”. En los dos ejemplos vemos que:
En símbolos: La negación de un cuantificador universal es equivalente a un cuantifi-
x ℕ /x > x + 1 cador existencial respecto de la función proposicional negada.
Esto es equivalente a decir:
Podemos establecer que, en general, la negación de un cuantificador univer-
“Para todo número natural se verifica que x ≤ x + 1”. sal se expresa en símbolos de la siguiente manera:
En símbolos: x ℕ: p(x)] x / p(x)
x ℕ/x>x+1 x:x≤x+1
Algunas de las formas más comunes de negar funciones proposicionales
Esto, a su vez, es equivalente a: cuantificadas son:
x ℕ/x>x+1 x : (x > x + 1)

163 164
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Proposición original Negación

7. Operaciones entre conjuntos
Algunos... Todos… no (Ningún)
Todos… Algunos.... no Así como los conectivos lógicos definen “operaciones” entre proposiciones,
En símbolos, podemos resumir la negación de los cuantificadores como: también es posible definir operaciones entre conjuntos. Estas operaciones
tienen estrecha relación con las operaciones lógicas ya estudiadas. A conti-
~ [ x /p(x)] x :~ p(x)
nuación, estudiaremos las siguientes operaciones entre conjuntos: comple-
~ [ x : p(x)] x/ ~ p(x) mentación, unión, intersección, diferencia y diferencia simétrica, como así
también la relación existente entre ellas y las operaciones lógicas respecti-
vas.
Actividad 12

Expresar en símbolos los siguientes enunciados, negarlos y establecer el 7.1. Complementación

valor de verdad de su negación:
1) Toda sustancia es líquida. En el conjunto universal de estudiantes que se inscribieron para ingresar a la
Facultad en el año 2008, podemos definir el siguiente conjunto:
2) Hay mamíferos invertebrados.
3) Alguien no es perfecto. A = {estudiantes que se inscribieron nacidos/as en la ciudad de Córdoba -
Capital}
4) No hay objetos sólidos.
Otro conjunto que podemos definir es el formado por los/as inscriptos/as
nacidos/as en otras localidades (fuera de Córdoba Capital). A este nuevo
Actividad 13
conjunto se lo llama complementario de A o complemento de A y se simbo-
Dada la siguiente expresión: “Toda expresión algebraica irracional posee la liza A’.
indeterminada sometida a la operación de radicación”, determinar: En general definimos:
a) La función proposicional correspondiente.
El complemento de un conjunto A es el conjunto formado por todos los
b) La forma simbólica de la expresión dada.
elementos del referencial o universal que no pertenecen al conjunto A.
c) La negación de la expresión dada.
d) La retraducción al lenguaje coloquial de la negación. U
e) El valor de verdad de la negación. Justificar la respuesta.
A
Actividad 14

Dada la expresión de la primera fila, completar la tabla:

“Alguna diferencia de polinomios no es un Al complemento de A lo representamos gráficamente como la zona som-

Proposición
monomio” breada del siguiente diagrama de Venn:
Variable y función proposicional
De la definición podemos deducir que la operación de complementación
Expresión en símbolos de conjuntos está vinculada con la negación lógica de una función pro-
Negación en símbolos posicional.
Retraducción al lenguaje colo- A puede ser definido como el conjunto solución de la función proposi-
quial de la negación cional:
Valor de verdad de la negación. p(x) : x es un/a estudiante nacido/a en la ciudad de
Justificar la respuesta Córdoba - Capital.
Mientras que el conjunto solución de la negación de la función proposi-
cional:
p(x): x es un/a estudiante nacido/a fuera de la ciudad de
Córdoba - Capital
define el complemento de A.

165 166
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Propiedades de la complementación: Recordando que las funciones proposicionales pueden utili-

zarse para definir conjuntos por comprensión y pueden vin-
El complemento del conjunto universal es el conjunto vacío. Recíprocamen-
cularse mediante el uso de los conectivos lógicos, podemos
te, el complemento del conjunto vacío es el conjunto universal. En símbolos:
deducir, que la operación de intersección de conjuntos está
U= '=U vinculada con la conjunción de dos funciones proposiciona-
El complemento del complemento de un conjunto es el conjunto original. les.
Simbólicamente: Si P es el conjunto solución de la proposición p(x) y Q el de
la proposición q(x), entonces el conjunto P Q es el con-
(A’)’= A junto solución de p(x) q(x).

Actividad 15 Consideremos ahora los siguientes conjuntos:

V = Estudiantes inscriptos varones
a) Si el conjunto B está formado por los números naturales y el conjunto
universal son los enteros, ¿cuál es el complemento de B ? M = Estudiantes inscriptas mujeres
b) Determinar el complemento de los siguientes conjuntos: ¿Cuál es la intersección de los conjuntos V y M ?
A = x /x ℕ 2x 16
Cuando la intersección entre dos conjuntos es el conjunto vacío se dice
B = x /x ℕ x2 = 5 que los conjuntos son disjuntos.
C = x /x ℕ x es múltiplo de 2

Propiedades de la intersección
7.2. Intersección entre conjuntos
La intersección goza de las siguientes propiedades:
Definamos ahora la operación intersección de dos conjuntos:
1) Asociativa: (A B) C=A (B C)
Sean A y B dos conjuntos, definimos el conjunto “A intersección B” co-
2) Conmutativa: A B =B A
mo aquel cuyos elementos pertenecen a A y a B, que denotaremos por
A B. 3) La intersección de un conjunto cualquiera A con el conjunto vacío es el
En símbolos: A B x / x A x B conjunto vacío: A =
4) La intersección de un conjunto cualquiera A con su complemento es el
En el siguiente diagrama de Venn, podemos ver la intersección de dos con- conjunto vacío: A A' =
juntos cualesquiera A y B en la región sombreada:
5) La intersección del conjunto Universal con un conjunto cualquiera A es
dicho conjunto A : A U = A

Actividad 16

Dados los siguientes conjuntos:

A = {x /x ℕ x 6} C = {2, 4, 6, 8, 10} D = 1, 3, 5}
B = {1, 3, 5, 7, 9} U = {x /x ℕ x ≤ 10}
Encontrar:
En el conjunto de estudiantes que se inscribieron para ingresar en la Facul-
tad de Ciencias Económicas, definimos los siguientes conjuntos: a) A B; b) B D; c) A C; d) C D; e) A D; f) B C

P = {x /x es estudiante procedente de la ciudad de Córdoba}

Actividad 17
Q = {x /x es estudiante que trabaja}
Dados los conjuntos:
La intersección de los conjuntos P y Q se expresa como:
A = {x /x = 2n n ℕ} y B = {z/z = 4n n ℕ}
P Q = {x /x es estudiante procedente de la ciudad de Córdoba y que tra-
a) Definir en forma coloquial (lenguaje corriente) el conjunto A y el conjun-
baja}
to B.

167 168
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

b) Encontrar su intersección. Propiedades de la Unión

a) Asociativa: (A B) C=A (B C)
Actividad 18
b) Conmutativa: A B=B A
Dados los conjuntos:
c) La unión de un conjunto cualquiera A con el conjunto vacío es el mismo
A = {x / x ℕ 2 x 8}; conjunto A:
B = {z / z ℕ z=2x 1 x A} A =A
a) Definir por extensión los conjuntos A y B. d) La unión de un conjunto cualquiera A con su complemento es el conjun-
b) Encontrar su intersección. to universal:
A A’ = U

7.3. Unión de conjuntos e) La unión del universal con un conjunto cualquiera A es el conjunto uni-
versal:
Dados dos conjuntos A y B, definimos la unión entre ellos como: A U=U
La unión de A con B que representamos A B es el conjunto formado
por los elementos que pertenecen a A o a B. Actividad 19
En símbolos: A B = {x /x A x B}
Con los conjuntos de la Actividad 16, calcular:
Gráficamente, la unión de dos conjuntos A y B se representa por el área A B A D A C B D B C C D
sombreada:
Actividad 20

Dados los conjuntos:

A = x/x = 3n n ℕ
B = {z/z = 6 n n ℕ
a) Definir en forma coloquial (lenguaje corriente) el conjunto A y el conjun-
to B.
Para los conjuntos ya definidos: b) Encontrar su unión.
P = {x /x es estudiante procedente de la ciudad de Córdoba}
Q = {x /x es estudiante que trabaja} Actividad 21

La unión de los mismos se expresa como: Dados los conjuntos:

P Q = {x /x es estudiante procedente de la ciudad de Córdoba o que A = x/x ℕ 1≤x 6
trabaja} B = z/z ℕ z = 2x + 1 x A
El conjunto unión está formado por quienes proceden de la ciudad de Cór- a) Definir por extensión el conjunto A y el conjunto B.
doba o quienes trabajan, teniendo en este caso el conectivo “o” sentido in- b) Encontrar su unión.
cluyente, es decir que, dentro del conjunto, están también los que reúnen
ambas condiciones.
Actividad 22
Al igual que en la intersección de conjuntos, es posible relacionar la unión
con una operación lógica: la disyunción con sentido incluyente. Dado el siguiente conjunto:
M = { 3, 2, 1, 0, 1, 2, 3}
La operación de unión de conjuntos está vinculada con la disyun-
y las funciones proposicionales:
ción inclusiva de dos funciones proposicionales.
p(x): x 1 0
Si P es el conjunto solución de la proposición p(x) y Q el de la
proposición q(x), entonces P Q es el conjunto solución de la q(x): x 2 1 0
proposición “p(x) q(x)”. a) Formar la conjunción y la disyunción de las funciones proposicionales.

169 170
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

b) Hallar el conjunto solución de las componentes y el conjunto solución de 7.5. Diferencia simétrica
las dos funciones proposicionales compuestas.
Definamos ahora la operación “diferencia simétrica” entre dos conjuntos.

7.4. Diferencia entre conjuntos La diferencia simétrica entre A y B que simbolizamos A B es el con-
junto formado por los elementos de A que no pertenecen a B o los de B
Dados A y B, definimos: que no pertenecen a A.

La diferencia de A con B que representamos A - B es el conjunto forma- La diferencia simétrica A B puede definirse como la unión de (A - B) con
do por los elementos de A que no pertenecen a B.
A - B = {x/x A x B} (B - A).
A B = x/x A x B x B x A
Gráficamente se representa como muestra la figura siguiente:
Gráficamente:

Considerando los conjuntos P y Q ya definidos, la diferencia entre ellos está Para el conjunto de estudiantes que se inscribieron para ingresar a la Facul-
formado por las personas inscriptas que proceden de la ciudad de Córdoba, tad en el año 2008, definimos los conjuntos:
pero no trabajan.
R = {estudiantes que estudiarán Economía}
La diferencia entre conjuntos está vinculada con la función pro-
S = {estudiantes que estudiarán Administración}
posicional compuesta p(x) q(x). Si P es el conjunto solución
de la proposición p(x) y Q el de la proposición q(x), entonces P Q = {estudiantes que estudiarán solamente Economía o solamente
P Q es el conjunto solución de la función proposicional com- Administración}
puesta p(x) q(x).
La diferencia simétrica entre conjuntos está vinculada con la dis-
yunción excluyente de dos funciones proposicionales. Si P es el
Si A y B son disjuntos, entonces A - B = A.
conjunto solución de la proposición p(x) y Q el de la proposición
Recordemos: q(x), entonces P Q es el conjunto solución de la proposición
Actividad 23 Cuando A y B son p(x) q(x).
disjuntos:
a) Completar los siguientes enunciados de modo que sean verdaderos: A B=
La diferencia U - A es igual a . . . . . . . . . . . . . . . . . . . . . Actividad 25
La diferencia A - U es igual a . . . . . . . . . . . . . . . . . . . . .
a) Tratar de expresar la diferencia simétrica como la diferencia entre dos
b) Teniendo en cuenta la definición de diferencia:
conjuntos. Para acompañarlo en la resolución, aquí va una ayuda: el sus-
¿Se considera que A – B = B – A ? Justificar la respuesta. traendo es: A B
Representar estas operaciones en diagramas de Venn. b) Con los conjuntos de la actividad 16:
A B A C
Actividad 24

Con los conjuntos de la Actividad 16, calcular: Actividad 26

A–C A–B C–A B–A Definir la región sombreada como operación entre los conjuntos represen-
Representar estas operaciones en diagramas de Venn. tados.

171 172
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

a) b) Simbólicamente:
A=B ( a A a B b B b A)
Analicemos si los siguientes conjuntos son iguales. Dados:
A = {3, 5} B = {x /[(x 3)(x 5) = 0] }
El conjunto A está definido por extensión y B por comprensión. Para ver si
son iguales, debemos redefinir el conjunto B, haciéndolo por extensión.
Recordemos que un producto es nulo si por lo menos uno de los factores es
nulo.
En la expresión (x 3) (x 5) hay dos factores:
Actividad 27
(x 3) y (x 5)
En los diagramas de Venn, sombrear:
Para que se anule el primero, x debe ser 3; para que se anule el segundo, x
a) (A - B) (B C)
debe ser 5. Por lo tanto, para que se anule el producto, x debe ser 3 “o” 5 (“o”
b) (A - B) C inclusive).
De modo que el conjunto B, redefinido por extensión, es:
B = {3, 5}
Es decir que ambos conjuntos son iguales.

La igualdad entre conjuntos puede expresarse como una equiva-

lencia lógica entre dos funciones proposicionales.

Actividad 29
Actividad 28
Determinar si los siguientes conjuntos son iguales:
Dados los conjuntos de número reales representados por los siguientes
intervalos: a) A = {x/x ℕ x2 < 10}
B = {1, 2, 3
A = [2, 4]; B = (1, 3] y C = [3, 5)
C = {x/x ℕ x < 4}
Obtener: b) A = {y/y ℕ 2y < 16}
a) A B d) A B B = {1, 2, 3, 4, 5, 6, 7, 8}
b) (A B) C e) C A
c) A B C f) (A B) (C A) 8.2. Inclusión – Subconjuntos

Sea U el conjunto de estudiantes que se inscribieron para ingresar en la

Facultad de Ciencias Económicas en el año 2008, podemos definir los si-
8. Relaciones entre conjuntos guientes conjuntos:
M = personas inscriptas que proceden de la ciudad de Córdoba
Cuando dos conjuntos se comparan entre sí, pueden definirse distintas re-
G = personas inscriptas que proceden de la ciudad de Córdoba y son ba-
laciones, entre las que consideraremos la relación de igualdad y la de inclu-
chilleres con orientación en Gestión
sión, esta última en sentido amplio y estricto.
En los conjuntos definidos, todo elemento de G es un elemento del conjun-
to M y esto puede expresarse como:
8.1. Igualdad de conjuntos
G es subconjunto de M
Dos conjuntos A y B son iguales si y solo si todos los elementos de A
G está incluido en M
son elementos de B y todos los elementos de B son elementos de A.
M incluye a G

173 174
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Las tres proposiciones anteriores tienen el mismo significado. B = Conjunto de los enteros positivos impares menores que 11.
En general, para dos conjuntos cualesquiera A y B: C = {x/x ℤ x 4 = 6}
U = ℤ (números enteros)
El conjunto A es un subconjunto de un conjunto B si y solo si todos los
En base a ese análisis:
elementos de A también lo son de B.
a) Siempre que sea posible, definir los conjuntos por extensión.
En símbolos: b) Identificar relaciones de subconjuntos entre ellos.
A está incluido en B a A a B
Actividad 32
Con esta definición, todo conjunto es subconjunto de sí mismo: A está in-
cluido en A. Si se contempla esta posibilidad, la inclusión se dice que es Indicar si existe relación de igualdad o de inclusión entre los siguientes con-
amplia y la denotamos: juntos:
A B A = {x/x (x 1) = 0}
Por lo contrario, si B contiene elementos que no pertenecen a A, se dice B = {x/x ℤ 2 < x < 2}
que A está incluido estrictamente en B y se simboliza: C = {x/x ℝ x + 3 = 4}
A B
A manera de resumen: Cuando dos conjuntos no son iguales, se pueden
En nuestro ejemplo, podemos definir la inclusión amplia entre el conjunto G
presentar dos tipos de situaciones, tal como se observa en las siguientes
y M, en símbolos G M, ya que existe la posibilidad de que toda persona
ilustraciones:
inscripta que procede de la ciudad de Córdoba sea Bachiller con orientación
en Gestión, en cuyo caso se cumpliría la igualdad entre los conjuntos. 1) A y B son diferentes, pero tienen elementos en común:
La inclusión amplia nos permite dar otra definición de igualdad entre con-
U U U
juntos: A B
A=B A B B A
A B B A
En otras palabras, dos conjuntos son iguales si cada uno es subconjunto del
otro.
a) A B b) A B B A c) B A A B
Es conveniente destacar que todo conjunto es subconjunto del
universal y que el conjunto vacío es subconjunto de cualquier con- 2) Cuando A y B son diferentes y además no tienen elementos en común,
junto. decimos que A y B son conjuntos disjuntos.

Observemos que, cuando trabajamos dentro del conjunto universal de los U

números reales, los subconjuntos pueden adoptar la estructura particular
A B
de intervalos. Por ejemplo, A = [ 2, 5], B = ( 1, ), C = ( , 4] son algunos
de los infinitos subconjuntos que posee el conjunto de los números reales.

Actividad 30
Resumen de la relación entre la lógica simbólica y la teoría de conjuntos
Para los conjuntos de la actividad 29 Punto b y teniendo en cuenta los con-
ceptos tratados: Para resumir la relación existente entre las operaciones lógicas y las opera-
Invitamos a ver un ciones entre conjuntos, nos valdremos de los siguientes conjuntos y funcio-
Determinar si entre A y B hay relación de inclusión. video sobre el tema
nes proposicionales
Si se observa esa relación, identificar de qué tipo es, justificando la respues- en el Aula Virtual,
ta.
en Recursos y Mate- Dados dos conjuntos A y B cualesquiera y dos funciones proposicionales:
riales del Capítulo 4.
p(x): x pertenece al conjunto A
Actividad 31 q(x): x pertenece al conjunto B
Analizar los siguientes conjuntos definidos por comprensión:
A = Conjunto de los enteros positivos menores que 11.

175 176
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Podemos resumir las principales operaciones lógicas y entre conjuntos co- Producto cartesiano de A con B
mo sigue:
Con el concepto de par ordenado, podremos definir:
A=B A B A’ A B A-B
p(x) q(x) p(x) q(x) ~p(x) p(x) q(x) p(x) ~q(x) Dados dos conjuntos A y B, el producto cartesiano o conjunto produc-
to de A por B es un conjunto formado por todos los posibles pares or-
denados (a, b) cuya primera componente pertenece al conjunto A y la
segunda al conjunto B.
Álgebra proposicional y álgebra de conjuntos
Los elementos son pares ordenados, es decir, interesa el orden.
En la siguiente tabla se presentan las mismas propiedades en el álgebra de
conjuntos y en el álgebra de proposiciones, considerando en cada caso las Sean A = {1, 2, 3 y B = 2, 4, 6, 8
operaciones y simbologías apropiadas.
A x B = (1, 2); (1, 4); (1, 6); (1, 8); (2, 2); (2, 4); (2, 6); (2, 8); (3, 2); (3, 4); (3, 6);
Álgebra de proposiciones Álgebra de conjuntos (3, 8)
A A' U Del mismo modo, podríamos determinar B x A.
A A'
Ley de Leyes de
~ ~p p A' '
A
complemento complemento Número de elementos del producto cartesiano
U'
U Los conjuntos A x B y B x A tienen igual cantidad de elementos; en el ejem-
'

' plo planteado, poseen 12.

Leyes de
~ p q ~p ~q Leyes de
A B A' B'
de Morgan ~ p q ~p ~q de Morgan ' En general, si:
A B A' B'
n(A) = na y n(B) = nb
entonces:
n(A x B) = n(B x A) = na x nb

9. Conjuntos ordenados El número de elementos del conjunto producto cartesiano es el produc-

to del número de elementos de cada conjunto.
Al introducir la idea de conjunto como concepto primitivo, dijimos que el
orden en que se enumeran los objetos carece de importancia. Ahora trabaja-
Actividad 33
remos con ciertos casos en los que el orden en que están dispuestos los
elementos sí tiene importancia. Considerar el valor de verdad de la siguiente proposición:
“El producto cartesiano A x B es igual al producto cartesiano de B x A”.
9.1. Par ordenado y producto cartesiano Justificar la respuesta.
El producto cartesiano puede definirse entre los elementos de un mismo
Dados el conjunto A, se llama par ordenado al conjunto formado por
conjunto A, y se simboliza A x A = A 2.
dos elementos del conjunto A ordenados según un criterio que esta-
blece cuál es el primer elemento y cuál el segundo. Si A = 2, 4, 6}

(a, b) será un par ordenado y (b, a) será otro, en general distinto del A x A = (2, 2); (2, 4); (2, 6); (4, 2); (4, 4); (4, 6); (6, 2); (6, 4); (6, 6)}
primero. n(A x A) = (na)2
¿Y si intentamos definir todos los subconjuntos posibles de A x A? Real-
En el par (a, b), a se denomina primera componente del par y b segunda mente son muchos subconjuntos. ¿Cuántos? ¡512! Interroguémonos acerca
componente. de cómo los encontraríamos. Como guía, tengamos en cuenta:

Dos pares ordenados son iguales si se verifica que las correspondientes ¿Cuántos pares puede tener cada subconjunto?
componentes lo son. En símbolos: Recordemos: si el ¿Ninguno?
(a, b) = (c, d) a=c b=d producto cartesiano ¿Uno?
tiene k pares todos
los subconjuntos ¿Cuántos subconjuntos de un solo par?
posibles son 2k. ¿Cuántos subconjuntos de dos pares?

177 178
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

El producto cartesiano puede ser generalizado para más de dos conjuntos. B= x x x n, n natural x 9
Por ejemplo, en el caso de tres conjuntos A, B y C, lo definimos como: 6
a) Determinar A'.
Producto cartesiano de A con B con C : b) Obtener (A B).
Es un conjunto formado por todas las posibles ternas ordenadas En el Aula Virtual, en
la sección Recursos y
(a, b, c) cuya primera componente pertenece al conjunto A, la segunda Ejercicio 6
Materiales, se encuen-
al conjunto B y la tercera al conjunto C. tra un resumen del
a) Definir por extensión los siguientes conjuntos:
Su número de elementos es: n(A xB x C) = na x nb x nc Capítulo 4.
A = {x/x ℕ x < 3 x = 5}
B = {x/x ℕ 5x 5 10}
b) Obtener A x B y B x A.

10. Ejercicios integradores Ejercicio 7

Ejercicio 1 ¿Qué deberá ocurrir para que la proposición “¿Si la empresa se vende, a los
empleados se les asignarán nuevas tareas o se los despedirá” sea falsa?
Definir por extensión cada uno de los siguientes conjuntos:
a) A = {x/x ℕ x es par x > 4}
Ejercicio 8
b) B = {x/x ℕ x < 0}
c) D = {x/x ℤ |x | 2} Dada la proposición compuesta: “Si el libro de Matemática y el de Conta-
Una pista: Si se encuentran dificultades para resolver los planteos c), pre- bilidad están en el primer estante, el de IEUyE no está guardado en la
guntarse cuáles son los enteros cuya distancia al 0 es menor o igual que 2. biblioteca o se encuentra en otro estante”, y siendo:
p: el libro de Matemática está en el primer estante;
Ejercicio 2 r: el libro de IEUyE está guardado en la biblioteca.
a) Enunciar las proposiciones simples que faltan.
Definir por comprensión los siguientes conjuntos: b) Expresar simbólicamente.
a) A = {6, 12, 18, 24, ...}
b) B = { 2, 2}
Ejercicio 9

Ejercicio 3 Si:
A = {estudiantes que cursan Matemática I}
Sean los conjuntos: B = {estudiantes que cursan Principios y Estructura de la Economía}
A = {x/x ℕ x es par 5 < x < 13} C = {estudiantes que cursan Introducción a la Administración}
B = {x/x ℕ x es divisor de 12} a) Esquematizar la situación en un diagrama de Venn adecuado, sombrear
C = {x/x ℕ x es múltiplo de 6 x 19} el conjunto (A C) B y expresar en lenguaje coloquial el resultado obte-
a) Definir por extensión A, B y C. nido.
b) Encontrar el conjunto A - C. b) En otro gráfico similar, sombrear el conjunto (A C) B y expresar en
c) Determinar el conjunto B (A C). lenguaje coloquial el resultado obtenido.

Ejercicio 4 Ejercicio 10

Dada la proposición compuesta: Siendo p y q dos proposiciones simples unidas de la siguiente manera “si q,
~ (p q) r entonces p”, indicar cuál de las siguientes afirmaciones es correcta:
¿Cuál será su valor de verdad si se sabe que p es falsa y r verdadera? a) si q es falsa, la proposición compuesta será falsa.
b) p es el antecedente de la proposición compuesta y q su consecuente.
Ejercicio 5 c) la proposición será falsa independientemente del valor de verdad de q.
d) q recibe el nombre de antecedente de la proposición compuesta y p el
Sean: A = x x x m, m natural de consecuente.
2 e) p es deducible lógicamente de q.

179 180
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Ejercicio 11 Ejercicio 16

Definir el complemento del intervalo ( 2, 4) siendo el universal el intervalo Dadas:

cerrado [ 8, 8]. En el Aula Virtual se x = árbol
encuentra una Auto- p(x) = x pierde sus hojas en invierno
evaluación que reco- Escribir el enunciado simbólico de “Algunos árboles no pierden sus hojas en
Ejercicio 12 mendamos realizar.
invierno”, su negación en símbolos y la retraducción al lenguaje coloquial de
Considerar los conjuntos: la negación.
A = {x/x ℝ 2 < x < 7}
B = {x/x ℝ 4 < x + 1 < 4}
Resolver:
a) ¿Cuál es el conjunto universal en este caso? Respuestas a las actividades y
b) ¿Se pueden definir A y B por extensión? ¿Por qué? Encontrar una forma
alternativa de definición de estos conjuntos. ejercicios Capítulo 4
c) Obtener A' en notación de intervalo y B ' por comprensión.
d) Obtener A B, A B, A B y A B (en notación de intervalos). Actividad 1

A = Conjunto infinito
Ejercicio 13 N = Conjunto finito
B = Conjunto infinito
Sea p(x) una función proposicional definida sobre un conjunto A, ¿cuál de
M = Conjunto sin elementos
las siguientes afirmaciones es correcta?
S = Conjunto finito
a) Para saber si p(x) es una proposición hay que reemplazar la variable x
F = Conjunto finito
por un elemento de A y construir su tabla de verdad.
C = Conjunto finito
b) p(x) se convierte en proposición, reemplazando la variable x por cual-
H = Conjunto infinito
quier elemento de A.
c) p(x) no será una proposición para los elementos de A que la hacen falsa.
Actividad 2
d) p(x) será una proposición solamente para los elementos de A que la
hacen verdadera. 1. ¡Qué manera de expresarte! NO ES proposición.
e) Ninguna de las afirmaciones es correcta. 2. La ciudad de Florianópolis se encuentra en una isla. ES proposición.
3. ¿Estamos preparados para el parcial de matemática? NO ES proposición.
Ejercicio 14 4. El rubro Bienes de Uso pertenece al Pasivo de una empresa. ES proposi-
ción.
Dada una función proposicional p(x) definida sobre un conjunto B, y la 5. El aumento del nivel de precios está siendo contenido por el gobierno. ES
afirmación proposición.
“ x B : p(x)”, ¿cuándo será verdadera la negación de la proposición 6. El conjunto de los números racionales es infinito. ES proposición.
enunciada? 7. ¡Espero conseguir entradas para el concierto del fin de semana! NO ES
proposición.
Ejercicio 15
Actividad 3
Dada la proposición: p q r
“Todo polinomio de la forma x2 a2 es divisible por x + a” V V V
Enunciar: V V F
a) p(x). V F V
b) Enunciado simbólico. V F F
c) Negación de la proposición. F V V
d) Retraducción al lenguaje coloquial y valor de verdad de la negación. Justi- F V F
ficar la respuesta. F F V
F F F

181 182
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

Actividad 4 Actividad 5

1. “En el hemisferio sur, julio no es un mes de verano”. ~ p = 5 no es divisor de 12. La negación es verdadera
a) p = En el hemisferio sur, julio es un mes de verano ~ q = No es cierto que 2 es un número primo. La negación es falsa.
b) El conectivo lógico que interviene es “no” (~)
c) ~p
Actividad 6
2. “La suma y el producto de dos números naturales es otro natural”.
a) p = La suma de dos números naturales es otro número natural a) Disyunción inclusiva.
b) q = El producto de dos números naturales es otro número natural b) Disyunción exclusiva.
c) El conectivo lógico que interviene es “y” ( ) c) Disyunción inclusiva.
d) p q d) Disyunción exclusiva.
3. “La cantidad demandada de un bien aumenta si y solo si baja su precio”. e) Disyunción inclusiva.
a) p = La cantidad demandada de un bien aumenta f) Disyunción exclusiva.
b) q = El precio de un bien baja
c) El conectivo lógico que interviene es “si y solo si” ( )
Actividad 7
d) p q
4. “Los empleos son formales o precarios”. 1) “Si el candidato defiende los derechos civiles, ganará las elecciones depar-
a) p = Los empleos son formales tamentales y llegará a la presidencia”.
b) q = Los empleos son precarios a) p = El candidato defiende los derechos civiles.
c) El conectivo lógico que interviene es “o” con sentido exclusivo ( ) q = El candidato ganará las elecciones departamentales.
d) p q r = El candidato llegará a la presidencia.
5. “Ana estudia o trabaja en la Facultad de Ciencias Económicas de la b) p (q r)
UNC”. c)
a) p = Ana estudia en la Facultad de Ciencias Económicas de la UNC p (q r)
b) q = Ana trabaja en la Facultad de Ciencias Económicas de la UNC V V V V V
c) El conectivo lógico que interviene es “o” con sentido inclusivo ( ) V F V F F
d) p q
V F F F V
6. “Si el sol es una estrella, tiene luz propia”.
V F F F F
a) p = El sol es una estrella
b) q = El sol tiene luz propia F V V V V
c) El conectivo lógico que interviene es “si, entonces” ( ) F V V F F
d) p q F V F F V
7. “Las personas económicamente activas están ocupadas o desocupadas”.
F V F F F
a) p = Las personas económicamente activas están ocupadas
b) q = Las personas económicamente activas están desocupadas
2) “Si los contenidos del seminario son buenos y el docente da calificaciones
c) El conectivo lógico que interviene es “o” con sentido exclusivo ( )
justas, vale la pena inscribirse en él”.
d) p q a) p = Los contenidos del seminario son buenos.
8. “Si un número es entero, entonces es racional”. q = El docente da calificaciones justas.
a) p = Un número es entero r = Vale la pena inscribirse en el seminario.
b) q = Un número es racional b) (p q) r
c) El conectivo lógico que interviene es “si, entonces” ( )
3) “Es falso que para el concierto del fin de semana haya que vestir ropa
e) p q
formal y el costo de la entrada sea de $200”.
9. “Mario es inteligente, pero distraído”.
a) p = Para el concierto del fin de semana hay que vestir ropa formal.
a) p = Mario es inteligente
q = El costo de la entrada es de $200.
b) q = Mario es distraído
b) ~ (p q)
c) El conectivo lógico que interviene es “y” ( )
e) p q 4) “El vuelo de Jorge se retrasó y solo llegará a horario a la junta con la Co-
misión Directiva si toma un taxi hasta el centro, o reprograma la reunión
con el Gerente de Personal”.

183 184
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

a) p = El vuelo de Jorge se retrasó. c) “La institución lanzará nuevos cursos de perfeccionamiento o evaluará a
q = Jorge llegará a horario a la junta con la Comisión Directiva. sus profesionales”.
r = Jorge se toma un taxi hasta el centro.
s = Jorge reprograma la reunión con el Gerente de Personal. Actividad 10
b) p [(r s) q]
5) “Ni el lunes ni el martes tendremos reparto a domicilio en el restaurante”. 1 1 1
a) x ; ; P=
a) p = El lunes tendremos reparto a domicilio en el restaurante. 7 7 7
q = El martes tendremos reparto a domicilio en el restaurante. b) P = {1, 2, 3, 4, 5, 6}
b) ~ p ~q c) P = {1, 2, 3, 4, 5}

6) “Si las autoridades no mejoran las condiciones para el sector, los empre-
sarios mantendrán las medidas de fuerza y no pagarán los impuestos”. Actividad 11
a) p = Las autoridades mejoran las condiciones para el sector.
a) El 0 al cuadrado es 0, por lo tanto, la proposición es falsa.
q = Los empresarios mantendrán las medidas de fuerza.
r = Los empresarios pagarán los impuestos.
b) ~ p (q ~ r) Actividad 12
c) 1) Toda sustancia es líquida.
~ p (q ~ r)
x = sustancia; p(x): x es líquida. x : p(x)
F V V V F F V ~ [ x : p(x) ] x/ ~p(x) ; La negación es verdadera, “existen sustancias no
F V V V V V F líquidas”.
F V V F F F V
2) Hay mamíferos invertebrados.
F V V F F V F x = mamífero; p(x): x invertebrado. x /p(x)
~ [ x /p(x ) ] x :~ p(x) ; La negación es verdadera, “Ningún mamífero es
Actividad 8 invertebrado”.
a) 3) Alguien no es perfecto.
~ p ~ q x = persona (Alguien es un pronombre indefinido que significa “una persona
F V F F V cualquiera sin ninguna determinación”); p(x): x es perfecto. x/ ~p(x)
F V V V F ~ [ x/ ~p(x) ] x : p(x) ; La negación es falsa, no es cierto que “todos son
V F V F V
perfectos”.

V F V V F 4) No hay objetos sólidos.

x = objeto; p(x): x es sólido. En símbolos es: ~ [ x /p(x) ] x :~ p(x)
~ (p q) ~ [ x :~ p(x) ] x /p(x) ; La negación es verdadera, “existen objetos sóli-
F V V V dos”.
V V F F
V F F V Actividad 13
V F F F “Toda expresión algebraica irracional posee la indeterminada sometida a la
operación de radicación”.
b) Las tablas obtenidas son iguales. a) x = Expresión algebraica irracional; p(x) = x posee la indeterminada so-
metida a la operación de radicación.
Actividad 9 b) x : p(x)

a) Enunciado coloquial: “La institución no lanzará nuevos cursos de perfec- c) ~[ x : p(x) ] x/ ~p(x)
cionamiento ni evaluará a sus profesionales”. d) “Algunas expresiones algebraicas irracionales no poseen la indeterminada
Enunciado simbólico: ~ p ~ q sometida a la operación de radicación”.
b) ~ (~ p ~ q) p q O bien: “No es cierto que toda expresión algebraica irracional posee la inde-
terminada sometida a la operación de radicación”.

185 186
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

La negación de la expresión dada es falsa porque, por definición de expre- b) B = {5, 7, 9, 11, 13}
sión algebraica irracional, todas ellas deben tener al menos una de sus inde- c) A B = {5, 7}
terminadas sometida a la operación de radicación o su equivalente, “poten-
cia de exponente fraccionario”.
Actividad 19

Actividad 14 A B = {1, 2, 3, 4, 5, 7, 9} B D = {1, 3, 5, 7, 9} = B

A D = {1, 2, 3, 4, 5} = A B C = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10} = U
Proposición “Alguna diferencia de polinomios no es un monomio” A C = {1, 2, 3, 4, 5, 6, 8, 10} C D = {1, 2, 3, 4, 5, 6, 8, 10}
Variable y función pro- x = diferencia de polinomios
posicional p(x) = x es un monomio
Actividad 20
Expresión en símbolos x/ ~p(x)
a) A es el conjunto de los números naturales múltiplos de 3.
Negación en símbolos ~ [ x : ~ p(x) ] x /p(x)
B es el conjunto de los números naturales múltiplos de 6.
Retraducción al lengua- “Toda diferencia de polinomios es un monomio”.
je coloquial de la nega- O bien: “No es cierto que alguna diferencia de poli- b) A B=A
ción nomios no es un monomio”.
Valor de verdad de la La negación es falsa, ya que una diferencia de polino- Actividad 21
negación. Justificar la mios cualquiera puede dar como resultado un mono-
respuesta mio u otro polinomio. a) A = {1, 2, 3, 4, 5}
B = {3, 5, 7, 9, 11}
Actividad 15 b) A B = {1, 2, 3, 4, 5, 7, 9, 11}

a) El complemento de B son los números enteros menores o iguales que 0.

Podemos definir B’ por extensión como: Actividad 22
B’ = {0, 1, 2, 3, …}
a) Conjunción: " p(x) q(x)" : " x 1 0 x 2 1 0"
b) a' = {x/x ℕ x 8}
B' = ℕ; Disyunción: " p(x) q(x)" : " x 1 0 x 2 1 0"
C' = {x/x ℕ x = 2n 1 n ℕ } b) Solución de p(x): x 1 P 1

Solución de q(x): x 1 1 Q 1,1

Actividad 16
Solución de " p(x) q(x)" : C P Q 1
a) A B = 1, 3, 5}
Solución de " p(x) q(x )" : D P Q 1,1
b) B D = {1, 3, 5}
c) A C = {2, 4}
d) C D = Actividad 23
e) A D = 1, 3, 5} 1.)
f) B C = a) La diferencia U - A es igual a A’.
b) La diferencia A - U es igual a .
Actividad 17 2.) A B no es igual a B A ya que A B es el conjunto formado por los
elementos de A que no pertenecen a B, en tanto B A es el conjunto for-
a) El conjunto A es el conjunto de los números naturales pares. El conjunto mado por los elementos de B que no pertenecen a A.
B es el conjunto de los números naturales múltiplos de 4.
b) A B = B puesto que el conjunto de los múltiples de 4 es un subconjun-
to del conjunto de los números pares. Actividad 24

A – C = {1, 3, 5} A - B = {2, 4} C – A = {6, 8, 10} B - A = {7, 9}

Actividad 18

a) A = {3, 4, 5, 6, 7}

187 188
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

A = {1, 2, 3, 4, 5, 6, 7}
B = 1, 2, 3, 4, 5, 6, 7, 8
El número 8 pertenece al conjunto B pero no a A, como para que exista
igualdad entre conjuntos debe cumplirse que A = B a A a B, en
este caso A ≠ B.

Actividad 30

Los conjuntos a tener en cuenta son:

A = {y/y ¥ 2y < 16} y B = 1, 2, 3, 4, 5, 6, 7, 8
a) La definición por extensión de A es: A = {1, 2, 3, 4, 5, 6, 7}
Dada la definición de la relación de inclusión entre conjuntos, podemos
Actividad 25 decir que A B.
b) La relación observada es de inclusión estricta, ya que 8 B 8 A.
1) A B = (A B) (A B)
2) A B = {2,4, 7, 9} A C = {1, 3, 5, 6, 8, 10}
Actividad 31

Actividad 26 a) A = {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}

B = 1, 3, 5, 7, 9
a) (A B) (C B) (A C)
C = {10}
b) C - B
b) B A, es decir que B es un subconjunto de A.
C A, es decir que C es un subconjunto de A.
Actividad 27 Observar que todos estos conjuntos están incluidos en .

Actividad 32

La definición por extensión de los conjuntos a considerar es:

A = {0, 1} B = 1, 0, 1 C = {1}
Las relaciones observadas entre ello son:
A B es decir que A es un subconjunto de B.
Por otra parte, C A y C B. Gráficamente:

B
C -1
1
0
A
Actividad 28

a) A B = (1, 4] d) A B = [2, 3]
b) (A B) C = (1, 3) e) C A = (4, 5) Actividad 33
c) A B C = {3} f) (A B) (C A) = [2, 3] (4, 5) La proposición es falsa. Los elementos del conjunto A xB son los pares or-
denados, tales que su primera componente pertenece a A y su segunda
Actividad 29 componente pertenece a B, y los elementos del conjunto B x A son los pares
ordenados, tales que su primera componente pertenece a B y su segunda
a) Definición por extensión de A y C : componente pertenece a A.
A = {1, 2, 3}
C = 1, 2, 3}
Dado que B = {1, 2, 3 podemos concluir que A = B = C
b) Como 2 y debe ser menor que 16, la definición por extensión de A es:

189 190
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS INTRODUCCIÓN A LA MATEMÁTICA

s: el libro de Contabilidad está en el primer estante.

Respuestas de ejercicios integradores b) (p s) (~r q).

Ejercicio 1
Ejercicio 9
a) A = {6, 8, 10, ...}
b) B = { } a) b)
c) D = { 2, 1, 0, 1, 2}

Ejercicio 2

a) A = {x/x ℕ x es múltiplo de 6}
b) B = {x/x ℝ x2 = 4} o B = {x/x ℤ |x | = 2}

Ejercicio 3

a) A = {6, 8, 10, 12}; B = {1, 2, 3, 4, 6, 12}; C = {6, 12, 18}

b) A C = {8, 10}
c) B (A C) = {1, 2, 3, 4, 6, 8, 10, 12}
Ejercicio 10

Ejercicio 4 La alternativa correcta es la d).

Si p es falsa y r verdadera, la proposición compuesta será falsa, si q es ver-

Ejercicio 11
dadera:
~ (p q) r Gráficamente:

F F V V F V
[ ] [ ]
-8 -2 4 8
V F F F V V
En símbolos: [( 2, 4)]' = [ 8, 2] [4, 8]
Ejercicio 5
Ejercicio 12
a) A’ = {x/x = 2k 1, k ℕ}
b) A B = { 6 } a) El conjunto universal es el conjunto de números reales.
b) Dado que son subconjuntos del conjunto de los números reales, con una
Ejercicio 6 cantidad infinita no numerable de elementos, no es posible definir este con-
junto por enumeración de sus elementos. La forma alternativa de definición
a) A = {1, 2, 5} es a través de la notación por intervalos.
B = {1, 2, 3} A = (2, 7) B = ( 5, 3)
b) A x B = {(1,1); (1,2); (1,3); (2,1); (2,2); (2,3); (5,1); (5,2); (5,3)} c) A' = ( , 2] [7, )
B x A = {(1,1); (1,2); (1,5); (2,1); (2,2); (2,5); (3,1); (3,2); (3,5)} B' = {x/x ℝ |x + 1| 4}
d) A B = ( 5, 7)
Ejercicio 7 A B = (2, 3)
A B = [3, 7)
La proposición será falsa si la empresa es vendida y no se asignan nuevas A B = [3, 7) ( 5, 2]
tareas a los empleados ni se los despide.

Ejercicio 13
Ejercicio 8
La alternativa correcta es la b).
a) q: el libro de IEU y E se encuentra en otro estante.

191 192
 LÓGICA SIMBÓLICA Y TEORÍA DE CONJUNTOS

Ejercicio 14

Basta con que la afirmación sea falsa para uno de los elementos de B, para
que su negación sea verdadera.

Ejercicio 15

a) x : polinomio de la forma x2 a2;

p(x): x es divisible por “x + a”
b) x : p(x)
c) ~ x : p(x ) x / p(x )
d) La negación de la proposición es falsa, dado que cualquier polinomio de
la forma x2 a2 es divisible tanto por la suma de sus bases como por la di-
ferencia de las mismas, es decir que la proposición original es verdadera (en
caso de duda, consultar el 5º caso de factoreo).

Ejercicio 16

Enunciado simbólico: x : ~ p(x)

Negación en símbolos: ~ [ x :~ p(x)] x /p(x)
Expresión coloquial de la negación: “Todos los árboles pierden sus hojas en
invierno”. Proponemos interrogarse sobre el valor de verdad de la proposi-
ción original y su negación.

193