Argumentos.
Un argumento es una relación entre un conjunto de proposiciones p1, p2,…, pn llamadas premisas
y otra proposición q llamada la conclusión. Un argumento se denota por:
p1, p2, …, pn ∴ q (∴ se lee por tanto)
Se dice que un argumento es válido si las premisas dan como consecuencia la conclusión; más
formalmente tenemos la definición siguiente.
Argumento:Un argumento p1, p2, …, pn ∴ q es válido si q es verdadero cada vez que las premisas
p1, p2, …, pn sean verdaderas.
Falacia:Un argumento que no es válido se llama falacia.
■ EJEMPLO 1 Argumento
El argumento p, p → q ∴ q es válido. Este argumento se llama modus ponendo ponens o, más
corto, modus ponens. La demostración de esta regla se obtiene directamente de la tabla:
p q p→q
v v v
v f f
f v v
f f v
Observe que en la primera fila de la tabla q es verdadero cuando p y p → q lo son; el argumento es
válido.
Cuantificadores.
A diferencia de las proposiciones que hemos estudiado hasta ahora, el enunciado x $ 3 no es
verdadero ni falso. Cuando la variable x se sustituye por ciertos valores, por ejemplo 7, la
proposición resultante es verdadera, en tanto que, para otros valores de x, por ejemplo 2, la
proposición es falsa. Éste es un ejemplo de un enunciado abierto, el cual viene a ser una
proposición sólo cuando las variables son sustituidas por los nombres particulares de los objetos. Si
un enunciado abierto se llama P y las variables x1, x2, …, xn, escribimos P (x1, x2, …, xn), y en el
caso de una sola variable, escribimos P(x). El enunciado “x1, es igual a x1 1 x3” es un enunciado
abierto con tres variables. Si lo representamos con P (x1, x2, x3), entonces P(7, 3, 4) es verdadero,
ya que 7 5 3 1 4, pero P(l, 2, 3) es falso.
Definición de Conjunto de verdad.
La colección de objetos que al emplearlos en lugar de las variables en un enunciado abierto lo
convierten en una proposición verdadera se llama el conjunto de verdad del enunciado.
EJEMPLO 1 Conjunto universo.
Sea Q(x) el enunciado “x2 5 4”. Si tomamos el conjunto de los números reales (R) como el universo
de discurso, el conjunto de verdad de Q(x) es 52,226. Si el universo fuera el conjunto de los
números naturales, entonces el conjunto de verdad sería 526. Recordemos que un enunciado
abierto P(x) no es una proposición, pero P(a) sí lo es para cualquier a en el universo de discurso.
Otra forma de construir una proposición a partir de P(x) es modificándola mediante un
cuantificador.
Conjuntos y elementos
La primera formulación de la teoría de conjuntos aparece con los trabajos de George Cantor (1845-
1918), quien desarrolló la parte principal de la teoría como un subproducto de sus investigaciones
sobre series trigonométricas. La teoría de conjuntos trajo claridad y precisión a la exposición de
muchas teorías y áreas de la matemática, como la teoría de las probabilidades, la topología, la
teoría de los grupos, etcétera. Supóngase que el proceso mental que une objetos según una
característica particular brinda un conocimiento intuitivo adecuado de lo que entendemos por
conjunto. Los objetos reunidos de esta manera se llaman elementos y decimos que éstos
pertenecen al conjunto. En general representamos los elementos con letras minúsculas a, b, c, …, x,
y, z y los conjuntos con letras mayúsculas A, B, … Cuando un elemento a pertenece al conjunto A se
denota por: a [ A (“a pertenece a A”) El símbolo [ representa la relación fundamental de la teoría
de conjuntos, la relación de pertenencia. Ésta es la relación entre un elemento y un conjunto. Para
expresar que el elemento a no pertenece al conjunto A se representa con: a ∉ A (“a no pertenece a
A”).
Definición de Conjuntos y elementos.
Un conjunto es una colección bien definida de objetos, llamados sus elementos. Los conjuntos se
simbolizan con letras mayúsculas A, B, … Los objetos que componen el conjunto se denominan
elementos o miembros y se denotan con letras minúsculas a, b, … Si la característica particular que
observamos en una colectividad es la de estar en el mismo curso de matemática, entonces esa
colectividad constituye un conjunto y cada uno de los compañeros de clase de matemática es un
elemento del conjunto.
Hay dos formas de escribir los conjuntos; la primera de ellas sigue el principio de extensión, por el
cual podemos determinar el conjunto enumerando todos sus elementos. La segunda sigue el
principio de comprensión o abstracción, por el cual es posible determinar un conjunto identificando
sus elementos mediante una propiedad común a ellos.
Cardinalidad y tipos de conjuntos.
Hay conjuntos que tienen un número finito de elementos; se llaman conjuntos finitos. Un conjunto
que no tiene un número finito de elementos se llama un conjunto infinito.
■ EJEMPLO 1 Conjunto finito El conjunto A 5 5l, 2, 3, 4, 5, 66 es un conjunto finito, pues tiene
un número finito de elementos, seis.
Definición de Conjunto vacío.
El conjunto vacío es el que carece de elementos. Se denota por 5 6 o [. El lector puede notar que si
[ 5 5x 0 P(x)6, la propiedad P(x) es tal que ningún objeto la satisface.
Definición de Conjunto unitario.
Un conjunto A es un conjunto unitario si tiene un solo elemento.
Definición de Conjunto universal.
En cualquier aplicación de la teoría de conjuntos, los elementos de todos los conjuntos pertenecen
usualmente a un gran conjunto fijo llamado conjunto universal. Éste se denota por U.
Operaciones con conjuntos.
Uno de los hechos más interesantes acerca de la teoría de conjuntos es que las operaciones básicas
de esta teoría se corresponden de forma muy estrecha con las estructuras lógicas que obtenemos
al utilizar conectivos. Intersección de conjuntos La intersección de dos conjuntos A y B es el
conjunto formado por todos los elementos comunes a los dos conjuntos. La intersección de A y B se
denota por A y B, y en lenguaje lógico el conjunto puede escribirse como: A y B 5 5x 0 x [ A ∧ x [ B6
La operación de intersección de conjuntos comparte muchas propiedades con el conectivo ∧. En los
diagramas de Venn, la intersección de A y B se representa por la región sombreada en la FIGURA
1.8.1
EJEMPLO 1 Intersección de conjuntos Dados los conjuntos A 5 51, 2, 3, 4, 56, B 5 52, 3, 5, 7, 9,
116 determine el conjunto intersección de A y B. Solución Los elementos que están o pertenecen
tanto a A como a B son 2, 3, 5; por tanto. A y B 5 52, 3, 56
Conjuntos y técnicas de conteo.
Una de las ideas más importantes en la aplicación de la teoría de conjuntos está relacionada con el
proceso de contar. Se cuenta el número de elementos de un conjunto, el número de maneras en
que un proceso puede ocurrir, etcétera. En esta sección consideramos la solución de estos
problemas a partir de la relación que expresa el número de elementos en la unión de conjuntos. En
el tratamiento del problema entran dos situaciones: primero, cuando los conjuntos que intervienen
son disjuntos, y segundo, cuando no lo son. Caso de pares de conjuntos disjuntos Parece razonable
esperar que la cardinalidad de A x B, 0 A x B 0 sea igual a 0 A 0 1 0 B 0, ya que la unión de A y B se
obtiene juntando los elementos de A con los de B. Éste es el caso cuando A y B son conjuntos
disjuntos, ya que cuando contamos sus elementos sabemos que cada uno viene de A o de B, pero
no de los dos al mismo tiempo. Esto desemboca en el principio de conteo siguiente.
■ EJEMPLO 1 Conteo.
Sea A 5 5l, 26 y B 5 5a, b, c6; determine 0 A x B 0. Solución Por ser A y B disjuntos, al contar los
elementos de A x B, cada elemento se cuenta una sola vez; por tanto, 0 A x B 0 5 0 A 0 1 0 B 0 5 2 1
3 5 5 Es claro que puesto que A x B 5 5l, 2, a, b, c6, se tiene que 0 A x B 0 5 5.
