UNIVERSIDAD NACIONAL AUTNOMA DE NICARAGUA, MANAGUA

UNAN MANAGUA
FACULTAD DE EDUCACIN E IDIOMAS
DEPARTAMENTO DE MATEMTICA
Gua de Estudio

Asignatura: Algebra I 05 - 12 de marzo de 2016

Contenidos:
Principales conceptos de lgica matemtica
Conceptos bsicos de teora de conjuntos

Objetivos:
Conocer los principales conceptos de lgica matemtica y las nociones elementales
de teora de conjuntos.
Aplicar los principales conceptos de lgica matemtica en la demostracin de
proposiciones.
Aplicar las principales operaciones entre conjuntos.
Mostrar responsabilidad y espritu de cooperacin en la realizacin de trabajos
grupales.

El concepto de conjunto es fundamental en todas las ramas de la matemtica, es por esto

que iniciaremos el estudio de esta ciencia con un anlisis de stos y las operaciones que
entre ellos pueden realizarse valindose de algunos conceptos elementales de la lgica
matemtica.

El trmino conjunto lo utilizaremos como un concepto no definido y aceptaremos la idea

intuitiva que de l tiene.

Notacin.
Para representar a los conjuntos se utilizarn las letras maysculas de nuestro alfabeto. Los
elementos que pertenecen a un conjunto sern denotados por letras minsculas.

Ejemplos.

1. * +
2. * +
3. * +.

Observemos que en el ejemplo 1 el conjunto est representado enumerando los elementos y

en los ejemplos 2 y 3 estos se definen enunciando propiedades que nos permiten decidir si
un objeto particular es o no elemento de un conjunto. En el primer caso diremos que el
conjunto esta descrito por extensin y en el segundo caso por comprensin.
Diremos que un conjunto esta descrito por extensin si se da explcitamente todos sus
elementos y esta descrito por comprensin si sus elementos estn dados en forma implcita
mediante una propiedad que los describa.

Conjunto Vaco
A menudo no podemos decidir a priori si determinada propiedad es satisfecha por algn
objeto, fsico o ideal, luego puede resultar que el conjunto descrito por la propiedad
carezca de elementos. Debido a esto es conveniente introducir el concepto de conjunto
vaco, es decir un conjunto que no tiene elementos. Se le denotar por el smbolo o por
* +.

Ejemplos.

1. * +
2. * +

En ambos casos, y .

Para indicar la pertenencia de un elemento a un conjunto utilizaremos el smbolo . As; si

es un conjunto y un elemento de escribimos . Si por el contrario no es un
elemento de , entonces lo denotamos por .

Ejemplo. Sea * +, entonces:

( no es mayor que )

( es mayor que )

Proposiciones

En todo lenguaje, sea ste comn o cientfico existen expresiones, es decir, agrupaciones de
signos (letras del alfabeto de dicho lenguaje) que afirman o niegan algo. Dichas expresiones
deben poseer sentido, esto es transmitir al receptor algn mensaje. Por ejemplo en nuestro
lenguaje las siguientes expresiones transmiten un mensaje:

a) Aydame!
b) Daniel estudia Fsica-Matemtica.

En matemtica por ejemplo:

c)
d) ( )

Son expresiones que afirman algo. Por ejemplo c) afirma que es mayor que . Acerca de
algunas de las expresiones anteriores podemos decir si ellas son verdaderas o falsas.
Tomemos a d) como ejemplo. De matemtica elemental sabemos que ( ) , por lo tanto
d) es falsa, en cambio c) es verdadera. Si tomamos a) nos damos cuenta inmediatamente
que no podemos decir si ella es verdadera o falsa.

Definicin. Entenderemos por proposicin toda expresin a la cual se le puede asignar un

nico valor de verdad, esto es verdadera o falsa, pero no ambas.

Lo anterior deja claro que supondremos que las diferentes proposiciones satisfacen el
llamado principio del tercer excluido, el cual establece que ninguna proposicin es verdadera
y falsa a la vez.

Si una proposicin es verdadera la identificamos por la letra V y si es falsa por la letra F.

Si la oracin es una pregunta, una orden, es imprecisa o carece de sentido, entonces no se

puede clasificar como verdadera o falsa y por tanto no es proposicin.

Ejemplos.

a)
b) Managua es la capital de Nicaragua
c)
d) es un nmero racional.
e) ( ) ( )
f) Que lindo da!
g) Sintate
h) Por qu quiero ser presidente?

De las expresiones anteriores las primeras cinco son proposiciones; a), b), y e) son
verdaderas y c), d) son falsas, las tres ltimas no son proposiciones ya que a ninguna de
ellas se les puede asignar un determinado valor de verdad.

Uno de los objetivos de esta unidad es ayudar a la simplificacin de los argumentos lgicos
complicados a travs de la utilizacin de un lenguaje simblico que necesariamente tiene que
ser ms simple que cualquier lenguaje natural. Iniciaremos la conformacin de dicho lenguaje
simbolizando las proposiciones por las letras minsculas de nuestro alfabeto ;
clasificadas en verdaderas y falsas. Sin embargo, en matemtica se requiere a veces
considerar un tercer tipo de expresiones, las llamadas proposiciones abiertas.

Ejemplos.

1. es un nmero natural.
2.
3. .

Vemos que estas expresiones abiertas pueden transformarse en proposiciones verdaderas o

falsas dependiendo de las sustituciones que se hagan para , y , Por ejemplo si en las
expresiones anteriores estas variables se sustituyen por , y respectivamente
obteneos las siguientes proposiciones:

1) es un nmero natural
2)
3)

Observemos que:

1) y 3) son falsas y 2) resulta ser una proposicin verdadera.

Definicin. Una forma proposicional o proposicin abierta es una expresin que contiene
una variable tal que al ser sustituida por un valor determinado, la expresin se convierte en
una proposicin.

Definicin. El conjunto de valores posibles de la variable de una proposicin abierta se llama

dominio de la variable.

Ejemplos.

1. l es un estudiante de medicina.
2.
3. l fue el primer presidente de Nicaragua.

Entonces:

* +

* +

* +

Pueden considerarse como dominios de las variables que aparecen en los ejemplo 1, 2 y 3,
respectivamente.

Observacin 1. Siempre que se den ejemplos de formas proposicionales se debe especificar

el dominio de la variable. En este caso se escribir ( ) , en donde es el dominio de
la variable y ( ) simboliza una proposicin abierta en la variable .

Observacin 2. Ahora que ya conocemos el concepto de proposicin abierta podemos

introducir una nueva notacin para describir conjuntos por comprensin. As, escribimos:

* ( )+

para denotar el conjunto formado por todos aquellos elementos que hacen verdadera la
proposicin abierta ( ). En otras palabras * ( )+ no es ms que el conjunto solucin de
la proposicin abierta ( ).
Definicin. El conjunto formado por todos aquellos elementos del dominio de la variable que
hacen verdadera la forma proposicional ( ), ser llamado el conjunto solucin de esta
forma proposicional.

ACTIVIDADES

1) Escriba por comprensin los siguientes conjuntos.

a) * +
b) * +
c) * +
d) * +
e) * +
f) * +
g) * +

2) Exprese los siguientes conjuntos por extensin.

a) * +
b) * +
c) * +
d) * +
e) * +
f) * +
g) * +
h) * +

3) Seale cules de las siguientes expresiones son proposiciones, proposiciones

abiertas, ni lo uno ni lo otro.
a) es un nmero entero
b) es un nmero entero
c) El de septiembre llovi en .
d)
e) San Marcos es un municipio del departamento de Carazo.
f)
g) La grfica de la ecuacin ( ) es una parbola.
h) es divisible por
i)
j)
k) Levntense todos
l) Aleluya!
m) Bravo!
n) Qu hora es?
 4) Asigne el valor de verdad a las siguientes proposiciones
a) 2 es solucin de la ecuacin
b) Managua * +
c) El mono es un pez
d) * +, rio Coco
e) * +, N
f) es un elemento del conjunto * +
g) El oxgeno es un metal
h) Coln descubri Amrica
i) Platn escribi el Mio Cid
j)

5) En cada uno de los siguientes ejercicios, encuentre el conjunto solucin de la

proposicin abierta dada.
a) ( ) es menor que ;
b) ( ) ;
c) ( ) es una vocal; * +
d) ( ) es la cantidad de nmeros naturales de tres cifras que se pueden formar
con los nmeros 1, 3, 7, 5, 9;
e) ( ) tiene derecho al voto en las elecciones presidenciales;
* +
f) ( ) ; * +
g) ( ) es una capital europea;
* +

Conjuncin y Disyuncin. Unin e Interseccin de Conjuntos.

De una o ms proposiciones podemos formar nuevas proposiciones combinando estas con

operadores o conectivos. A estas proposiciones resultantes les llamaremos proposiciones
compuestas.

Los conectivos que utiliz :

entonces, o, y.

Aquellas proposiciones en las que no intervienen los conectivos antes mencionados sern
llamadas proposiciones simples.

Ejemplo.

Sean las proposiciones simples:

c)

d) es un nmero racional
Sus respectivas negaciones son:

c)

d) no es un nmero racional

Hasta el momento solo hemos afirmado que la negacin de una proposicin y las
expresiones que resultan al enlazar dos o ms proposiciones por los conectivos o, .
Entonces, son tambin proposiciones. Esto significa que estas nuevas expresiones tienen un
valor de verdad. Para determinar este valor de verdad se toman en cuenta los valores de
verdad de las proposiciones simples componentes.

Conjuncin.

Si y representan dos proposiciones simples, entonces a la proposicin compuesta ( y )

la llamaremos conjuncin y se simbolizar por ( ) (se lee y ).

Por ejemplo la proposicin: la suma de dos nmeros pares es par y los peces nadan, es una
proposicin compuesta.

La pregunta que surge inmediatamente es la siguiente: cundo es verdadera esta

proposicin? Cmo veremos existen cuatro posibilidades concretas:

1. La suma de dos nmeros pares es par. Los peces nadan.

2. La suma de dos nmeros pares es par. Los peces no nadan.
3. La suma de dos nmeros pares no es par. Los peces nadan.
4. La suma de dos nmeros pares no es par. Los peces no nadan.

Representaremos con p y q las proposiciones simples, esto es:

: La suma de dos nmeros pares es par.

: Los peces nadan.

Las cuatro posibilidades anteriores se pueden resumir de la siguiente manera:

Vemos que la nica ocasin en que la proposicin compuesta anterior es verdadera es

cuando p y q son ambas verdaderas.

As que definimos ( ) segn la tabla

En resumen tenemos:

La conjuncin es verdadera solamente cuando ambas proposiciones son verdaderas; de lo

contrario es falsa.

Interseccin de Conjuntos

Formemos la conjuncin de dos proposiciones abiertas.

Sean:

( ) * +

( ) * +

Al enlazar ( ) con ( ) obtenemos la proposicin abierta:

( ) ( ) * + * +

Tomando en cuenta el valor de verdad de la conjuncin, la proposicin que resulte de

( ) ( ) al darle un valor determinado a la variable , ser verdadera solamente cuando
las proposiciones resultantes para ( ) y ( ) ambas sean verdaderas.

Encontremos el conjunto solucin ( ) y el de ( ).

Para cualquier nmero entero mayor que , ( ) se convierte en una proposicin

verdadera y ( ) ser verdadera para o por lo tanto:

* + es el conjunto solucin de ( )

* + es el conjunto solucin de ( ).

De donde el conjunto solucin de ( ) ( ) es * +, el cual esta formado por los

elementos que simultneamente hacen verdadera o convierten en proposiciones verdaderas
( ) y ( ). As, a partir del conjunto solucin de ( ) y ( ) hemos obtenido un nuevo
conjunto, el conjunto solucin de ( ) ( ).

Definicin. Dados dos conjunto y la interseccin de estos dos conjuntos es el conjunto

de los elementos que pertenecen tanto a como a , y se denota por que se lee A
interseccin B. En notacin conjuntista

* +
Los siguientes diagramas ilustran la definicin de interseccin de dos conjuntos. En todos los
casos el rectngulo representa el conjunto universal, el cual denotamos por .

En a) la regin sombreada corresponde a la interseccin de los conjuntos y . b) nos

ilustra el caso cuando . c) representa el caso cuando todo elemento de es
elemento de

Disyuncin

z
considerando los ejemplos siguientes:

: Carlos aprob el examen de Fsica

: Carlos aprob el examen de Matemtica

: Carlos va al cine

: Carlos va al mercado

Carlos dice:

a) Aprob el examen de Fsica o el de Matemtica

b) Estoy en el cine o en el mercado

En la proposicin a), Carlos parece afirmar que por lo menos una de las proposiciones es
verdadera, pero quizs ambas sean verdaderas. En la segunda proposicin la intencin es
que una y solamente una de las proposiciones es verdadera.
 z incluyente y el
segundo caso en el sentido excluyente. z
incluyente y para l introduciremos el smbolo .

Si y son dos proposiciones, a ( ) se le llama disyuncin y para determinar su

veracidad o falsedad, debe considerarse la veracidad o falsedad de y .

Regresando al ejemplo anterior consideremos las cuatro posibilidades y analicemos en qu

caso Carlos dice la verdad en su afirmacin.

1. Carlos aprob el examen de Fsica. Carlos aprob el examen de Matemtica. ( es

verdadera, es verdadera).
Carlos no es mentiroso, as que es verdadera.

2. Carlos aprob el examen de Fsica. Carlos no aprob el examen de Matemtica. ( es

verdadera, es falsa)

3. Carlos no aprob el examen de Fsica. Carlos aprob el examen de Matemtica. ( es

falsa, es evrdadera)

En los casos 2 y 3 Carlos no ha mentido, diremos entonces que la proposicin es

es verdadera.

4. Carlos no aprob el examen de Fsica. Carlos no aprob el examen de Matemtica. (

es falsa, es falsa)

En este caso decimos que Carlos a mentido y que su afirmacin es falsa.

As que definimos segn la siguiente tabla:

En conclusin:

La disyuncin es falsa solamente cuando ambas proposiciones componentes son falsas.

Ejemplo.

De las siguientes proposiciones:

: Pars es la capital de Francia

 : es la raz cbica de

: Nicaragua es un pas europeo

Obtenemos

: o Pars es la capital de Francia

: o es la raz cbica de

: Pars es la capital de Francia o es la raz cbica de

: es la raz cbica de o Nicaragua es un pas europeo

Utilizando el valor de verdad de la disyuncin afirmamos que:

es verdadera ya que ambas proposiciones componentes son verdaderas.

es verdadera debido a que es verdadera.

En el caso de , est es verdadera; ya que es verdadera.

En cambio es falsa porque ambas componentes son falsas.

Recordemos que dadas dos proposiciones abiertas ( ) y ( ), utilizando el conectivo

enlazamos estas dos proposiciones para obtener ( ) ( ) que de nuevo es una
proposicin abierta cuyo conjunto solucin resulta ser la interseccin de los conjuntos
soluciones para ( ) y ( ). La pregunta que surge en estos momentos es la siguiente:
Podemos hacer algo similar con el nuevo conectivo? La repuesta es afirmativa como
veremos a continuacin.

Unin de conjuntos

Sean dadas las proposiciones abiertas

( ): , * +

( ): , * +

Utilizando el conectivo para enlazar las dos proposiciones anteriores obtenemos:

( ) ( ): ( ) ( ) * +

En virtud del valor de verdad de la disyuncin dada anteriormente, para que ( ) ( )

resulte ser una proposicin verdadera, al sustituir x por un valor determinado, al menos una
de las proposiciones abiertas componentes deber convertirse en una proposicin
verdadera.
Para determinar cundo ( ) ( ) se transforma en proposicin verdadera necesitamos
encontrar el conjunto solucin de ambas proposiciones abiertas lo que haremos a
continuacin:

Conjunto solucin de ( ), * +

Conjunto solucin de ( ), * +

Conjunto solucin de ( ) ( ), * +

Comprobemos que realmente es el conjunto solucin de ( ) ( )

Para , ( ) ( ): ( ( ) ) (( ) ).
( ) resulta ser una proposicin verdadera y por lo tanto ( ) ( ) es verdadera.

Para , ( ) ( ): ( ( ) ) (( ) ).
( ) resulta ser una proposicin verdadera y por lo tanto ( ) ( ) es verdadera.

Para , ( ) ( ): ( ( ) ) (( ) ).
( ) resulta ser una proposicin verdadera y por lo tanto ( ) ( ) es
verdadera.

Analizando el conjunto solucin de ( ) ( ) observamos que este esta compuesto por

aquellos elementos que pertenecen al menos a uno de los conjuntos soluciones de ( ) y
( ). Utilicemos este hecho para definir un nuevo conjunto a partir de dos conjuntos dados.

Definicin. La unin de dos conjuntos y es el conjunto formado por los elementos que
pertenecen al menos a uno de los conjuntos y . Esta unin la simbolizamos por (se
lee unin ) y escribimos

* +

Ejemplos.

Sean:

* +

* +

Encontremos :

* +

Sean:

* +, * +, * + y * +. Determinar
 a) b) c) d) e) f) g)

h) i) j) k) l) m)

n) ( ) ( )

Tenemos que

a) * +
b) * +
c) * +
d) * +
e) * +
f) * +
g) * +
h)
i) * +
j) * +
k)
l) * +
m) * +
n) ( ) ( ) * +

Ejercicio

Sean: * +, * +, * +. Determinar

a) b) c) d) e) f) g) ( )

h) ( ) i) ( ) j) ( ) ( ).

Negacin.

La negacin es una de las operaciones ms sencillas sobre las proposiciones. Aunque en el

lenguaje corriente una proposicin es negada utilizando diferentes sinnimos, de forma
simblica negaremos una proposicin anteponiendo a esta el smbolo o . As tenemos
que si es una proposicin entonces representa su negacin y se lee (no ).

El valor de verdad de depende del valor de verdad de p y viceversa, esto es:

Si es verdadera, es falsa y si es falsa, es verdadera.

En resumen tenemos
A continuacin damos algunas observaciones sobre negacin de proposiciones que nos
sern de utilidad.

Observacin 1. Cuando se niega dos veces una proposicin obtenemos la misma

proposicin. Esto es conocido como la ley de la doble negacin.

Ejemplo. Sea

La negacin de es:

Negando obtenemos:

( )

Observemos que y ( ) coinciden.

Observacin 2. Al negar una proposicin no se puede alterar dicha proposicin.

Ejemplo. Sean

: El vestido de Raquel es amarillo

: El vestido de Raquel es rojo

La proposicin no es la negacin de , aunque no pueda ser que ambas sean verdadera.

La negacin de es

: El vestido de Raquel no es amarillo.

Observacin 3. Se debe tener cuidado al negar proposiciones que contienen las palabras
todos, ninguno o algunos. La tabla siguiente proporciona algunas de las negaciones
comunes

Proposicin Negacin
Todos
Algunos Ningn
Todos
Ningn Algunos

Ejemplo. Escriba la negacin de cada una de las proposiciones siguientes:

: Todos los nicaragenses tienen dinero.

: Ningn estudiante es aplicado.

: Algunos estudiantes no llevan el curso de Algebra I.

 : Algunos universitarios son estudiantes.

La negacin de cada una de estas proposiciones es:

: Algunos nicaragenses no tienen dinero.

: Algn estudiante es aplicado.

: Todos los estudiantes llevan el curso de Algebra I.

: Ningn universitario es estudiante.

ACTIVIDADES

Escriba la negacin de cada una de las proposiciones siguientes:

1. A Martha le gusta escuchar msica.

2.
3. .
4. La divisin por cero es permisible.
5. 3 es un nmero primo.
6. Algunos hombres son mortales.
7. Algunas mujeres son atractivas.
8. Algunas funciones son relaciones.
9. El mximo comn divisor de y es .
10. Algunas funciones no son trascendentes.

La Condicional (Implicacin)

O . , entonces . z
de , se llama hiptesis o antecedente y se denomina conclusin o consecuente.

Examinemos

1. z
que el consecuente se deduce lgicamente del antecedente.

Si ( ) tiene el mismo valor de verdad que , entonces puede reemplazar a

( ).

2. .

Si apruebo el examen de algebra I, entonces promover el curso.

3. .

Si no apruebo el examen de Fsica, entonces no continuar mis estudios.

 4. A veces la condicional se usa cuando no hay relacin lgica de causa o de definicin
entre el antecedente y el consecuente. A menudo se utiliza en forma humorstica.

Si Antonio obtuvo la mxima nota en el examen, entonces yo soy el padre de un

campen.

Consideremos la siguiente situacin. Una persona le hace una promesa a otra:

Si apruebo el examen, entonces me ir de viaje contigo.

Si cumple su promesa decimos que la proposicin es verdadera, si la incumple decimos que

es falsa.

Simbolicemos la implicacin anterior:

: apruebo el examen

: me ir de viaje contigo

La promesa se simboliza .

Veamos las cuatro posibilidades.

Si aprueba el examen, se ir de viaje.

Si aprueba el examen, no se ir de viaje.
Si no aprueba el examen, se ir de viaje.
Si no aprueba el examen no se ir de viaje.

La promesa se habr quebrantado solamente en el caso 2. Esto es cuando se aprueba el

examen y no se va de viaje; es decir cuando ( ) es verdadera. En otras palabras
es falsa siempre que ( ) sea verdadera.

Construyamos la tabla de verdad para la proposicin , ( )-

( ) , ( )-

Utilizaremos la tabla anterior para construir la de la condicional

En conclusin:

es falsa solamente cuando el antecedente es verdadero y el consecuente es falso.

Nota: La condicional en matemtica no implica ninguna relacin causa efecto. Dos

proposiciones cualesquiera pueden ser enlazadas por medio del conectivo condicional y la
proposicin resultante debe ser verdadera o falsa.

Otras expresiones que tienen el mismo sentido que si , entonces son las siguientes:

1. implica
2. si
3. es suficiente para
4. es necesario para
5. con la condicin de que
6. cuando
7. siempre que

Ejercicio. Formula la situacin analizada anteriormente utilizando las expresiones 1. al 7.

Algunas proposiciones que no estn escritas como condicionales se pueden expresar en la

Ejemplo.

Toda funcin es una relacin.

Si es funcin entonces es relacin.

Variantes del condicional (reciproca, inversa y contrarrecproca)

De la condicional (Directa) se define:

a) La recproca
b) La inversa
c) La contrarrecproca

Ejemplo. Sean

: Te cepillas diariamente

: Tienes menos caries

La directa es:
: Si te cepillas diariamente, entonces tendrs menos caries.
La reciproca es:
: Si tienes menos caries, entonces te cepillas diariamente.

La inversa es:
: Si no te cepillas diariamente, entonces no tendrs menos caries.

La contrarrecproca es:
: Si no tienes menos caries, entonces no te cepillas diariamente.

La contrarrecproca y la directa siempre tienen el mismo valor de verdad. Lo mismo sucede

con la reciproca y la inversa, como lo muestra la siguiente tabla:

Directa Recproca Inversa Contrarrecproca

Por lo anterior tenemos que:

Una proposicin puede ser reemplazada por su contrarrecproca sin que se afecte su valor
de verdad.

ACTIVIDADES

1. Examinando el valor de verdad de las proposiciones simples determine el valor de

verdad de cada una de las proposiciones compuestas.
a. Si , entonces .
b. Si ( ) , entonces .
c. Si ( ) , entonces ( )( ) .
d. Si , entonces ( )( ) .
e.
Mrquez descubri Amrica.

2. Traduzca las oraciones de los

a. Oirs lo que no quieras siempre que digas lo que quieras.
b. siempre que o .
c. Para que un nmero primo sea impar es necesario que sea mayor que .
 d. La presencia de alas es una condicin necesaria para que un animal sea ave.
e. La sobrevivencia de nuestros hijos es una condicin suficiente para detener la
contaminacin ambiental.

3. Escriba la reciproca, la inversa y la contrarrecproca de cada proposicin.

a. La presencia de oxgeno es necesaria para la combustin.
b. Si es negativo, entonces .
c. Si eres noble, entonces tienes amigos.
d. Si l es pobre, entonces es infeliz.
e. Si amas a tu prjimo entonces te amas a ti mismo.

CUANTIFICADORES

Por todos nosotros son conocidas las propiedades que cumplen los enteros. Por ejemplo, si
entonces Esto se puede interpretar de la siguiente manera: para
cualesquiera enteros y

Sinnimo de cualesquiera son: para todo, para cada o cada.

utilizaremos el smbolo y le llamaremos cuantificador universal. En general escribimos:

( )

lo que significa que para todo elemento del conjunto se cumple la propiedad

Ejemplo.

Dadas las siguientes expresiones abiertas

1.
2. es feo; * +
3.

Las cuantificamos utilizando el cuantificador universal:

1. Para todo
2. Para todo es feo;
3. Para todo

Observemos que si tenemos una expresin abierta ( ) con dominio y la cuantificamos

universalmente, obtenemos la expresin ( ) que es una proposicin y por lo tanto
tendr su respectivo valor de verdad. Esta ser falsa si al menos un e
convierte a ( ) en una proposicin falsa, y verdadera si ( ) se convierte en una
proposicin verdadera para cualquier valor en el dominio. La expresin
es una proposicin. Supngase que el dominio de son todos los nmeros reales ( )
entonces la proposicin es falsa ya que para tenemos la proposicin que es
falsa. En cambio si el dominio de la variable es * + tenemos que es una
proposicin verdadera ya que todos los valores del dominio son iguales a

Ejemplo.

Determinar los valores de verdad de las siguientes proposiciones:

1.
2.

Tenemos que

1. es una proposicin falsa ya que para la expresin resulta falsa.

2. es una proposicin verdadera puesto que todos los valores de convierten a la
expresin en verdadera.

Retomemos de los ejemplos anteriores la proposicin la cual es falsa

porque existe a menos un valor de que la hace falsa, pero as como encontramos este
valor que la hace falsa tambin podemos encontrar al menos uno que la hace verdadera,
por ejemplo Con el objetivo de convertir la expresin abierta en una
expresin verdadera decimos:

Existe un tal que

Ejemplo.

Convertir cada una de las expresiones abiertas en una proposicin verdadera:

1.
2.
3. es bella; * +

Como solucin tenemos:

1. Existe un tal que

2. Existe un tal que
3. Existe al menos una mujer que es bella.

algunos por lo menos uno. existe alguno

existe por lo menos uno cuantificadores existenciales. Simblicamente se
representarn por medio de (una invertida). En otras palabras el smbolo
expresar que la proposicin ser verdadera siempre que la proposicin abierta as
cuantificada sea verdadera para al menos un valor de la variable en el dominio. De aqu
concluimos que:
 Una proposicin con un cuantificador existencial es verdadera si y slo si el conjunto
solucin de la expresin abierta es no vaco.

Actividad.

Escribir en lenguaje simblico las siguientes expresiones.

1. Todo cuadrado es rectngulo.

2. Algunos nmeros son pares.
3. Algunas naranjas son dulces.
4. Todos los hombres son altos.

Negacin de los cuantificadores existencial y universal.

A continuacin vemos las simbolizaciones correspondientes a las proposiciones dadas:

Proposicin Simbolizacin
a) Todos los hombres son mortales ( )
b) Algunos hombres son mortales, ( )
c) Ningn hombre es mortal ( )
d) Algunos hombres no son mortales ( )

NOTA: Cuando no se haga referencia al dominio de la variable se entender por este el

conjunto ms amplio que se puede tomar. En este caso * +

Al negar la proposicin ( ) lo que expresaramos es que existe al menos un tal que

( ) no es verdadera, en smbolos ( ) En el caso de los ejemplos anteriores, d) es
la negacin de a). Observemos que el cuantificador universal se convirti en existencial y la
proposicin abierta ( ) se ha negado. Entonces podemos decir que:

Para negar una proposicin que tenga un cuantificador universal de la forma ( ) se

cambia este cuantificador por el existencial y se niega la proposicin abierta.

Ejemplo.

Las negaciones de las proposiciones a) y c) anteriores son respectivamente:

( ( )) es equivalente a ( )

( ( )) es equivalente a ( )
Si ahora negamos ( ) esto significa que para todos los elementos ( ) esto es
( ) Luego,

Para negar una proposicin que contenga un cuantificador existencial se cambia este
cuantificador a universal y se niega la proposicin abierta.

Ejemplos.

1. La negacin de la proposicin b): ( ) del ejemplo anterior es ( ( )) que es

equivalente a ( ) Obsrvese que la negacin de b) es c).

2. Al negar tal que es mayor que obtenemos la proposicin es

menor o igual que
3. .

ACTIVIDADES

1. D el valor de verdad de las siguientes proposiciones:

a)
b)
c) es mortal; * +
d) ( )( )
e) es positivo.
f)
g) es bella; * +
h) el rea de es
2. Convierta cada una de las proposiciones abiertas en proposiciones verdaderas.

a)
b)
c) ( )( )
d)
e)
f) tiene ms de habitantes; * +
g) tiene empleo; * +
h)
i)
j)
k) es culto; * +

3. Niegue las siguientes proposiciones:

a) Algunos polticos son cultos.
b) Todos los nicaragenses son cristianos.
 c) Todos los hombres son deshonestos.
d) Ningn animal est en peligro de extincin.
e) Existen seres extraterrestres.
f) Algunos pases subdesarrollados tienen capacidad para pagar su deuda externa.
g) Ningn animal es carnvoro.
h) Todos los recursos naturales son razonablemente utilizados.
i) Algunos artculos han subido de precio.
j) En todos los medios la velocidad de la luz es la misma.
k) Todas las mujeres deben cocinar.

Subconjunto

Definicin. Si todo elemento de un conjunto es tambin elemento de un conjunto

entonces se dice que es un subconjunto de Esto se denota por

Ejemplos.

1. Sean el conjunto * | + * + y el conjunto

* | + * + Entonces ya que
toda potencia positiva de es un nmero par.

2. Si * | + y * | + tenemos que
puesto que toda consonante es una letra del alfabeto.

3. Sean * + * + y * + Tenemos que

y Pero no es subconjunto de porque no todo elemento de
no est en Por ejemplo; pero

Para denotar que un conjunto no es subconjunto de otro utilizaremos el smbolo de

este modo significar que Es subconjunto de

Todo conjunto tiene dos subconjuntos triviales, el mismo conjunto y el vaco.

Afirmamos que el vaco es subconjunto de cualquier conjunto porque decir que no es
subconjunto es equivalente a decir que existe un elemento en el conjunto vaco que no est
en el conjunto pero esto es imposible puesto que el vaco no tiene elementos.

Supngase que Entonces esta relacin entre y se describe por medio del
diagrama siguiente:
ACTIVIDADES

1. Trace los diagramas correspondientes a las inclusiones entre los conjuntos y del
ejemplo anterior.
2. Establezca las relaciones existentes entre los conjuntos dados:
a. * + * | +
b. * | z +
* | z +
c. * | + * | +
d. * | + * | +
e. * + * +
f. * | + * | +
g. * + * | +
h. * + * +

3. Sean * + * + * + * +
Determine la veracidad o falsedad de las siguientes proposiciones:

a. b. c. d. e. f. g. n.
h. i. j. ( ) k. ( ) l. ( ) m.

Conjuntos comparables

Definicin. Dos conjuntos y se dicen comparables si ( ) ( )

Dos conjuntos son comparables si uno de los conjuntos es subconjunto del otro. Diremos que
dos conjuntos y son no comparables si y Esto significa que si no es
comparable con entonces existe al menos un elemento en que no est en y hay
tambin un elemento en que no est en .

Ejemplos

1. Los conjuntos * + y * + son comparables. Por qu?

2. Los conjuntos * + y * + no
son comparables pues y y

Definicin. Diremos que dos conjuntos y son disjuntos si no poseen elementos

comunes. Es decir si es verdadera la siguiente proposicin

( ) ( )

Ejemplos.

1. Sean * | + * | + Estos conjuntos son

disjuntos porque ningn elemento de pertenece a y ninguno de pertenece a

2. Los conjuntos * | + y
* | + son disjuntos ya que un nicaragense
no puede ser mayor de 20 aos y a la vez menor de 20 aos.

Conjunto Potencia

Definicin. Llamaremos conjunto potencia de al conjunto de todos los subconjuntos de

Se denotar por ( )

Ejemplo

Dados los conjuntos * + * + * + Determinamos el conjunto potencia

para cada conjunto:

( ) {* +* +* + } ( ) {* + }

( ) {* +* +* +* +* +* +* + }

Observemos el nmero de elementos de cada uno de los conjuntos anteriores:

Nmero de elementos de ( ) Nmero de elementos de ( )

Nmero de elementos de ( )

Verifique que para * + y * + los conjuntos potencias ( ) y ( )

tienen y elementos respectivamente.

En general se cumple que si tiene elementos, ( ) tendr elementos.

Observacin: En Matemtica ocurre a veces que los elementos de un conjunto son a su vez
conjuntos, ejemplo de esto es ( ) En lugar de conjunto de conjuntos diremos clase de
conjuntos o familia de conjuntos.

ACTIVIDADES

1. Muestre que los conjuntos * + * | + no son comparables.

2. Sean * + * + * + * + Establezca la veracidad o
falsedad de las siguientes afirmaciones: a) b) c) d)
e) f) g)

3. Sean y tres conjuntos. Si es comparable con y es comparable con

qu puede decirse acerca de y son ellos comparables?, en qu caso y
son comparables?

4. Sean * + * + Muestre que y son comparables con

y con

5. Sean * + * + * + Halle todos los subconjuntos de y de

6. Encuentre ( ) si * +

7. Cuntos subconjuntos tiene el conjunto {* + * +}

8. Determine todos los subconjuntos * * + +

Diferencia de conjuntos

Definicin. La diferencia de los conjuntos y es el conjunto de elementos que

pertenecen a pero no a Se denota por En smbolos

* | +

Ejemplos

1. Sean los conjuntos * | + * | +

* | + Encontramos

* | +
* | +
* | +

2. Sea el conjunto de los nmeros reales y el conjunto de los nmeros irracionales.

Entonces es el conjunto de los nmeros racionales.
 Observaciones.

1. Si los conjuntos y son disjuntos, entonces ya que por ser disjuntos,

si un elemento pertenece al conjunto no pertenece al conjunto A qu es igual

2. El conjunto contiene a como subconjunto. Por qu?

3. Si es subconjunto de

Complemento

Definicin. Si denota el conjunto Universal y el complemento de es el

conjunto de elementos que no pertenecen a es decir la diferencia del conjunto universal
y de El complemento de lo denotaremos por En smbolos

* | +

Ejemplos.

1. Dados * | + * | + El complemento de
est dado por
* | +

2. Si * + * + * + * + Tenemos que

* + * + * +

( ) * + ( )

Observaciones.

a. El complemento del conjunto universal es el conjunto vaco y viceversa. Esto es y

b. La unin de cualquier conjunto y su complemento es el conjunto Universal.

c. La interseccin de y es el conjunto vaco, esto nos dice que estos dos conjuntos
son disjuntos. En smbolos,
d. El complemento del complemento de un conjunto es el mismo conjunto

ACTIVIDADES
1. Sean los conjuntos * + * + * +
* + Encuentre los siguientes conjuntos: a) b) c)
d) e) ( ) ( ) f) ( ) g) ( ) ( ) h) ( )
i) ( ) ( ) j) ( ) ( ) k) ( ) ( ) l) m)
n) o) p) q) r) s) t) ( )

2. Sean los conjuntos * + * +

* + * + * + Encuentre: a) b) c)
d) e) f) ( ) g) ( ) h) i) j) k)
l) ( ) m) ( ) ( ) n) ( ) ( ) o) ( ) ( )
p) ( ) ( ) q) (( ) ( )) , r) (( ) ( ))

La bicondicional

Si enlazamos y su recproca por el conectivo obtenemos una nueva

proposicin ( ) ( ) que de forma abreviada se escribe como
si y slo si Al conectivo le llamaremos bicondicional.

Ejemplo

Sean Tenemos que

Si entonces

Si entonces

Enlazando las dos implicaciones anteriores mediante el conectivo obtenemos una nueva
proposicin, a saber:

( ) ( ) Si entonces y si entonces

Por el acuerdo anterior escribimos:

si y slo si

Para determinar el valor de verdad de la proposicin bicondicional utilizamos la definicin de

la conjuncin y la condicional:

( ) ( )

Lo anterior nos lleva a definir la bicondicional a travs de la siguiente tabla

Luego, la bicondicional es verdadera solamente cuando ambas proposiciones y son
verdaderas o cuando ambas son falsas.

Las siguientes expresiones si y solo si :

1. si y solo si
2. Si entonces y recprocamente.
3. Si entonces y recprocamente.
4. es una condicin necesaria y suficiente para
5. es una condicin necesaria y suficiente para

Ejemplo

Si un tringulo es equiltero, entonces es equingulo y recprocamente, se puede escribir de

las siguientes maneras:

a) Un tringulo es equiltero si y slo si es equingulo.

b) Un tringulo es equingulo si y slo si es equiltero.
c) Si un tringulo es equingulo, entonces es equiltero y recprocamente.
d) Una condicin necesaria y suficiente para que un tringulo sea equingulo es que sea
equiltero.

ACTIVIDAD

Determine el valor de verdad de las siguientes proposiciones:

a. si y solo si el hombre viaj a la Luna.

b. es un nmero primo si solo si

Cuando estudiamos el condicional utilizamos este para enlazar dos proposiciones abiertas.
Lo mismo haremos con el bicondicional obteniendo la expresin ( ) ( ) que significa
( ) ( ) O sea ( ( ) ( )) ( ( ) ( )) Al igual que con el
condicional, lo que se tiene es una proposicin cerrada.

Para determinar cundo esta proposicin es verdadera recordemos que ( ) ( )

es verdadera cuando y ( ) ( ) es verdadera cuando donde y
son conjuntos soluciones de ( ) y ( ) respectivamente. En conclusin tenemos:

La proposicin ( ) ( ) es verdadera si y slo si y donde y

son conjuntos soluciones de ( ) y ( ) respectivamente.

ACTIVIDADES
 1. Sean ( ) y ( ) Determine el valor de verdad
de ( ) ( )
2. Dar el valor de verdad de la siguiente proposicin: es mayor que cero si y
solo si es mayor que cero; * +

Tablas de verdad

Las tablas de verdad son muy tiles para ilustrar las relaciones entre proposiciones. Ellas nos
servirn para determinar el valor de verdad de una proposicin compuesta ya que es un
esquema que muestra cmo los valores de verdad de estas dependen de los conectivos
usados y de los valores de verdad de las proposiciones componentes simples. Anteriormente
las usamos para definir las operaciones lgicas.

Antes de dedicarnos a determinar valores de verdad de proposiciones compuestas

realizaremos una pequea prctica de traduccin del lenguaje comn al simblico y del
lenguaje simblico al ordinario.

ACTIVIDADES

1. Traducir al lenguaje simblico las proposiciones:

a. Mara y Julia son atractivas.
b. Si es un nmero irracional y es un nmero primo, entonces Nicaragua es un
pas centroamericano.
c. Si yo estoy cansado o con hambre, no puedo pensar.
2. Se dan las proposiciones:
En la tarde est nublado
Juan se queda en casa
Juan deber tomar taxi.
Traducir al lenguaje ordinario las proposiciones: a) b) c) d)
e) f) g) h) ( ) i) j) k) ( )

Habiendo realizado las actividades anteriores, pasamos a la elaboracin de tablas de verdad.

Ejemplo 1. Construir la tabla de verdad de ( )

Para comenzar enumeraremos los posibles valores de la proposicin

Ahora obtenemos los valores de tomando en cuenta la definicin de negacin:

 Por ltimo obtenemos los valores de ( )

( )

Ejemplo 2. Obtener la tabla de verdad para determinar cundo es verdadera la proposicin

(( ) ( ))

A partir de este ejemplo haremos un resumen de los pasos a seguir para la construccin de
una tabla de verdad:

Paso 1. Se hace el recorrido de izquierda a derecha fijando la atencin solamente en dos

columnas a la vez tomando en cuenta los parntesis. En este caso debemos determinar el
valor de verdad de considerando los valores posibles de y de y la definicin de
disyuncin. Coloquemos entonces los valores de y en las columnas y
respectivamente.

Paso 2. Se utiliza la columna y la definicin de negacin para obtener los valores de

los cuales anotamos en la columna

Paso 3. Con las columnas y determinamos los valores de ( ) ( ) los cuales

colocamos en la columna

Paso 4. Por ltimo, para obtener los valores de la proposicin (( ) ( )) hacemos

uso de los resultados anotados en las columnas y

Al seguir los pasos anteriores obtenemos la siguiente tabla:

( ) ( ) (( ) ( ))

Vemos entonces que (( ) ( )) es verdadera solo cuando es falsa y es

verdadera.

Ejemplo 3. Utilizando lo explicado anteriormente construimos la tabla de verdad de la

proposicin (( ) ) la cual se presenta a continuacin:

( ) (( ) )
Ejemplo 4. Construir la tabla de verdad de la proposicin ( ) (( ) )

La tabla de verdad de esta proposicin es:

( ) (( ) )

Si la proposicin compuesta tiene diferentes proposiciones simples, entonces son

posibles diferentes distribuciones de valores de verdad para estas proposiciones y por
consiguiente la tabla de valores para tal proposicin constar de filas.

Supongamos que tenemos la proposicin .( ) ( ( ))/ Si los valores de verdad

de y son respectivamente y respectivamente.

Entonces el valor de es de ( ) es de ( ) es y por ltimo, el valor

de .( ) ( ( ))/ es debido a que su antecedente es verdadero y su
consecuente tambin lo es. Este clculo se puede hacer ms rpido si debajo de cada valor
de verdad, y el valor de verdad para cada proposicin componente debajo del conectivo
lgico. As, para cada uno de los ejemplos anteriores tenemos:

( ) ( ( ))

Esto sugiere una forma diferente para construir tablas de valores de verdad de una
proposicin dada. Utilicemos este mtodo para formar la tabla de ( ) (( ) )

(( ) )
ACTIVIDADES

1. Encuentre el valor de verdad que adquieren las siguientes proposiciones si y

toman los valores respectivamente:

a) ( ) b) ( )
c) ( ) d) ( )
e) ( ) f) ( ) ( ( ))
g) ( ) (( ) ) h) ( ( )) ( )
i) ( ) ( (( ) )) j) (( ( )) ) ( ( ))

2. Traduzca del lenguaje ordinario al simblico:

a. Si es divisor de un nmero entero positivo entonces es par.

b. Si Sara y Marta son atractivas, entonces Marta es atractiva.
c. Si es un nmero primo, entonces cualquiera que sea el nmero natural divide
a o el mximo comn divisor de y es
d. Todo cuadrado es un cuadriltero.
e. Un nmero entero es par si y slo si su cuadrado es par.
f. Juan vive para comer y no come para vivir.
g. No irs el sbado y no irs el domingo.
h. Mario est bailando, comiendo y divirtindose.
i. Si Joaqun descubriera una frmula para encontrar nmeros primos, sera famoso.
j. Si Juan no acepta el nombramiento, entonces no se casar.
3. Construir la tabla de verdad para cada una de las siguientes proposiciones:

a. ( )
b. ( ) ( )
c. ( )
d. ( ( )) ( ( ) )
e. ( ) ( ( ) )
f. ( ) ( ( )) ( ( ))

4. Siendo verdadera, qu puede decirse del valor de verdad de la proposicin

( ( ) ) ( )?

5. Si el valor de verdad de la proposicin es qu puede decirse acerca de los

valores de verdad de las siguientes proposiciones:
a. ( )
b. ( )
6. Sea falsa qu puede decirse acerca de los valores de verdad de las siguientes
proposiciones:
a. ( )
b. ( )
7. Considera usted que los datos abajo suministrados sobre las proposiciones son
suficientes para establecer su valor de verdad? Si es as, d el valor de verdad para cada
una de las proposiciones.

a. ( ) b. ( )

c. ( ) d. ( )

e. ( ) (( ) ( ))

Proposiciones lgicamente equivalentes

Definicin. Dos proposiciones son lgicamente equivalentes si para cada cualesquiera

valores de las proposiciones que en ellas figuran, estas proposiciones toman el mismo valor
de verdad o lo que es lo mismo si sus tablas de verdad son idnticas.

A las proposiciones lgicamente equivalentes se les llama tambin equivalencias lgicas o

proposiciones equivalentes. El smbolo que utilizaremos para las equivalencias lgicas ser

Ejemplo. Para cualesquiera proposiciones se cumple

a) ( ( ))
b)
c) ( ) ( )

Probaremos que las proposiciones del inciso c) son lgicamente equivalentes. Para ello
construimos las tablas respectivas:

( )
( )








Al comparar los valores obtenidos para cada proposicin vemos que estos son iguales para
cualquier combinacin de valores de las proposiciones y por lo tanto hemos
demostrado que estas proposiciones son lgicamente equivalentes.

Entre el concepto de equivalencia lgica y el bicondicional existe la siguiente relacin:

Si dos proposiciones son lgicamente equivalentes, entonces la proposicin que resulta al
enlazar ambas proposiciones por el conectivo es verdadera para toda combinacin de
valores de las proposiciones componentes, y viceversa.

Ejemplo. La proposiciones ( ) y son equivalencias lgicas.

Tomando en cuenta lo anterior, enlazamos estas dos proposiciones por el bicondicional y

determinamos el valor de verdad de la proposicin resultante. Vemos que esta es siempre
verdadera:

( ) ( )

Hemos probado entonces que ( ) y son equivalentes.

Tautologas

Frecuentemente nos encontramos en lgica simblica con proposiciones las cuales son
siempre verdaderas, por ejemplo ( ) es siempre verdadera no importando
el valor de verdad de y

A las proposiciones que son siempre verdaderas se les llama tautologas.

Definicin. Una tautologa es una proposicin la cual es siempre verdadera no importando el

valor de verdad de las proposiciones componentes.

Ejemplo. Las proposiciones ( ( )) y ( ) son tautologas.

Definicin. Una proposicin que es falsa para todos los valores posibles de sus proposiciones
componentes se llama contradiccin.

Ejemplo. Las proposiciones ( ) y ( ) son contradicciones:

Las tablas de verdad correspondientes a las proposiciones dadas son:

( )

( )

Observacin. Una proposicin es tautologa si y slo si su negacin es una contradiccin.

Definicin. A una proposicin le llamaremos contingencia si es verdadera para algunos
valores de las proposiciones componentes y es falsa para otros.

Ejemplos

1. Las proposiciones y son contingencias. Probar esto construyendo

las respectivas tablas de verdad.
2. Determinar por tablas de verdad si las proposiciones dadas a continuacin son
tautologas: ( ) y ( ) ( )

Las tablas de verdad correspondientes son:

( ) ( )

( ) ( ) ( ) ( )

Solamente la primera es tautologa.

Igualdad de conjuntos

Definicin. El conjunto es igual al conjunto si todo elemento de pertenece a y si

todo elemento de pertenece a en otras palabras si y Se denota la
igualdad de y por En smbolos

Ejemplos

1. Los conjuntos * | + y
* | + son iguales ya que todo elemento de es un
elemento de y recprocamente.

2. Si * + * + entonces puesto que los elementos

de pertenecen al conjunto y los elementos de pertenecen a
Obsrvese que un conjunto no cambia si se repiten sus elementos.
 3. Sean * + * + Se tiene que pues ambos conjuntos
tienen los mismos elementos. Ntese que un conjunto no cambia si se reordenan sus
elementos.

4. Cules de los siguientes conjuntos son iguales?

* |( )( ) + * + * + * +

Todos los conjuntos anteriores son iguales, tomando en cuenta que la repeticin y la
reordenacin de elementos no cambian un conjunto.

Subconjunto propio

Definicin. Puesto que todo subconjunto es subconjunto de s mismo, diremos que es

subconjunto de si:
a)
b)
Lo denotaremos por

De la definicin anterior tenemos que para que sea subconjunto propio de en primer
lugar debe ser subconjunto de esto es todo elemento de debe pertenecer a y en
segundo lugar no puede ser igual a

Ejemplos

1. Si y * + entonces ya que y
2. Si * + y * + entonces no es subconjunto propio de ya que
pero

ACTIVIDADES

1. Mostrar la equivalencia de las siguientes proposiciones en cada inciso:

a) ( ) y ( ) ( )
b) ( ) y ( ) ( )
c) y
d) y
2. Determine si las siguientes proposiciones son o no tautologas.
a)
b) ( ( ))
c) ( )
d) (( ) ) )
e) ( )
3. Hallar la tabla de verdad de las siguientes proposiciones y determine si son tautologas,
contradicciones o contingencias.
 a) ( ) ( ) ( )
b) ( ) ( )
c) ( ) ( )
d) ( )

A partir de este momento estamos preparados para demostrar afirmaciones sencillas sobre
los conjuntos, esto lo haremos utilizando las definiciones ya conocidas, por ejemplo

Ejemplo 1. Demostrar:

a) ( )
b) ( )

a) Hay que probar que todo elemento que pertenece a tambin pertenece a Para
ello tomemos un elemento cualquiera de Sea entonces por definicin
de interseccin, en particular tenemos Hemos demostrado que
si entonces esto es ( )

b) Sea entonces por definicin de interseccin, pertenece a ambos

conjuntos, en particular Hemos probado que ( )

Ejemplo 2. Demostrar

Debemos probar que y La primera inclusin se deduce del ejemplo

anterior. Para la segunda, sea entonces y lo que implica
(definicin de interseccin), de donde se demuestra que implica o lo que
es lo mismo

Ejemplo 3. Demostrar que ( )

Hay que probar que ( ) y ( )

Demostremos que ( ) Sea ( ) entonces ( ) (definicin

de complemento) de donde se deduce (definicin de unin), es decir
(definicin de complemento). Por lo tanto, (definicin de interseccin). Se
ha demostrado entonces que ( ) implica lo que significa que (
)

Para ( ) sea entonces (definicin de

interseccin); es decir (definicin de complemento), lo que implica (
) (definicin de unin) y entonces ( ) (definicin de complemento). De donde
( )

A partir de lo anterior concluimos que ( )

Ejemplo 4. Demostrar que

Hay que probar:

a)
b)

Ya se ha demostrado que y para cualesquiera conjuntos y en

particular Adems, sabemos que el conjunto vaco es subconjunto de cualquier
conjunto, de donde Hemos entonces probado a) y b), es decir

ACTIVIDAD

Sean tres conjuntos cualesquiera. Demuestre que:

a) ( ) ( ) ( )
b) ( ) ( ) (
c) Si entonces
d) ( )
e) ( ) ( )
f) ( )
g) ( ) ( )
h) ( ) ( ) ( ) ( )
i) ( ) ( ) ( )
j) ( ) ( ) ( )

Leyes del lgebra de proposiciones

Las tautologas que a continuacin estudiaremos son muy importantes en Lgica y en

Matemtica, pretendemos que el lector se familiarice con ellas ya que formarn la base sobre
la cual se pueden fundamentar algunos mtodos de demostracin.

1.

Esta tautologa establece que cualquier proposicin es equivalente a s misma.

Verifquese que es una tautologa.

2. ( ) (Ley de la doble negacin)

La siguiente tabla muestra que esta proposicin es efectivamente una tautologa:

( ) ( )
 Anteriormente se haba hecho notar que se poda reemplazar por ( ) esto
significa que ambas proposiciones son equivalentes y esto es precisamente lo que se
ha demostrado.

3. (Ley del tercer excluido)

Esta tautologa nos dice que cualquier proposicin es verdadera o falsa pero no
ambas a la vez.
( )

4. ,( ) - (Modus Ponendo Ponens)

( ) ,( ) -

Lo anterior se puede ilustrar de la siguiente forma:

Premisa 1:

Premisa 2:

Conclusin:

5. ,( ) ( )- (Modus Tollendo Tollens)

Tambin llamado razonamiento indirecto. En forma de esquema tenemos

Premisa 1:

Premisa 2:

Conclusin:

6. ( ) ( ) (Ley de la contrarrecproca)
Recordemos que dos proposiciones son equivalentes si al enlazarlas por el
condicional, la proposicin resultante es tautologa. La ley de la contrarrecproca nos
dice entonces que una implicacin puede ser reemplazada por su contrarrecproca sin
alterar su veracidad o falsedad.

7. ,( ) - ,( ) -
 Estas proposiciones son llamadas Modus Tollendo Ponens. Como esquema tenemos

Premisa 1: Premisa 1:
Premisa 2: Premisa 2:
Conclusin: Conclusin:

8. ,( ) ( )- ( )

Esta regla se conoce como silogismo hipottico. Se puede escribir mediante el

esquema
Premisa 1:

Premisa 2:

Conclusin:

9. ,( ) ( ) ( )- ( ) ( Silogismo Disyuntivo)

Premisa 1:

Premisa 2:

Premisa 3:

Conclusin:

ACTIVIDADES

1. Compruebe que las proposiciones 5. a 9. dadas anteriormente son tautologas.

2. Escriba la ley de la doble negacin y explquela con sus propias palabras.
3. Escriba la ley del tercer excluido y explquela con sus propias palabras.
4. Escriba el razonamiento indirecto y explquelo con sus palabras.
5. Cada uno de los casos siguientes ilustra una de las tautologas estudiadas. Mencione la
tautologa que se aplica.
a. Si Dora va a la iglesia, entonces canta himnos. Por lo tanto, si Dora no canta himnos,
entonces no va a la iglesia.
b. O voy o no voy.
c. Si Marcos hace desorden, entonces no aprende Matemtica. Marcos aprende
matemticas, por lo tanto no hace desorden.
 d. o
e. Una rosa es una rosa.
f. Si Ral es buen estudiante, entonces obtiene la mxima calificacin. Ral es buen
estudiante. Por lo tanto Ral obtiene la mxima calificacin.

g. Si es par entonces es par. Se tiene que es impar. Por lo tanto es impar.

h. Si ello no es imposible, entonces es posible.
i. Si recibo mi aguinaldo le comprar un vestido a Carmen. Recibo mi aguinaldo. Por lo
tanto le comprar un vestido a Carmen.
j. Estn enfermas Juana o Mara. Juana no est enferma. Por lo tanto Mara est
enferma.
k. Voy a estudiar Matemtica o Fsica. No estudio Matemtica. Por lo tanto estudiar
Fsica.
6. Demuestre mediante tablas de verdad que las proposiciones siguientes son tautologas.
a. Ley de De Morgan:
( )
b. Ley de De Morgan:
( )
c. Ley de contradiccin:
( ( ))
d. Ley de implicacin y disyuncin:
( ) ( )
e. Propiedad idempotente:
( )
f. Propiedad idempotente:
( )