Entendemos como conjunto a una coleccin de cualquier tipo de objetos llamados elementos del conjunto, que est determinado

por una propiedad comn de quienes lo forman y enunciada por medio de un lenguaje preciso.
Por tanto decimos que:
<<Un conjunto es una coleccin bien definida de objetos>>. <<Un conjunto est determinado cuando disponemos de un criterio para

establecer si un elemento pertenece o no a dicho conjunto>>.

Un conjunto se denota con letras maysculas (A, B,C, ...) y se representa mediante llaves: { }, en cuyo interior se anotan sus elementos, representados por letras minsculas, separados por comas.
Ejemplo 1.- El conjunto formado por los das de la semana: S={Lunes, Martes,

Mircoles, Jueves, Viernes, Sbado, Domingo}

Ejemplo 2.- El conjunto de los nmeros naturales del 1 al 20, se puede denotar

como: A = {1,2, 3, ..., 20}

Determinar un conjunto es listar o indicar, sin ambigedades, los trminos o condiciones mediante los cuales un elemento dado es o no integrante de dicho conjunto.
A) Por extensin: Ejemplo.- Determinar, por extensin, el conjunto A cuyos elementos son los

nmeros naturales impares menores que 9. A = {1,3, 5, 7,9}

B) Por comprensin:
Ejemplo.- A = {x | x es un dgito impar menor que 9 }
Que se lee: A es el conjunto de todos los elementos x tal que x tiene cierta propiedad

Pertenencia. La relacin relativa a conjuntos ms bsica es la relacin de pertenencia. Dado un elemento x, ste puede o no pertenecer a un conjunto dado A. Esto se indica como x A. Igualdad. Dos conjuntos son iguales si y slo si tienen los mismos elementos. Este principio, denominado principio de extensionalidad establece el hecho de que un conjunto queda definido nicamente por sus elementos.

Ejemplos de iguldad de conjuntos:

Considere los siguientes conjuntos
C ={1,3,5} D ={3,5,1}

Respuesta: Los conjuntos son iguales ya que no importa el orden de los

elementos.
C ={1,3,5,5,3} D ={3,5,1}

Respuesta: C y D tambin son iguales: tienen los mismos elementos.

Inclusin. Dado un conjunto A, cualquier subcoleccin B de sus elementos es un subconjunto de A, y se indica como B A.

Vaco. El conjunto vaco es el conjunto sin ningn elemento, y se

denota por o por {}.
Universal. El conjunto universal es el conjunto que contiene todos los elementos posibles, dentro del contexto considerado. Por ejemplo, si se estudian los nmeros naturales, el conjunto universal es el conjunto de todos ellos, N. De manera general, el conjunto universal se denota por U.

Los conjuntos y sus relaciones se pueden representar grficamente mediante diagramas de Venn, llamados as por el matemtico John Venn quien introdujo esta representacin en 1881.
En un diagrama de Venn, el conjunto Universal U se representa mediante un rectngulo. Dentro del rectngulo se emplean crculos u otras figuras para los conjuntos.

Unin. La unin de dos conjunto A y B, es el conjunto formado por todos los elementos de los conjuntos A y B.
A = {a,b,c} y B = {c,d,e,f} Representacin por diagrama de Venn:

Interseccin. La interseccin de los conjunto A y B, es el conjunto que contiene elementos comunes de los conjuntos A y B.
A = {1,2,3,4,5} y B = {1,3,5,7} Representacin por diagrama de Venn:

Interseccin de 3 conjuntos

Diferencia. La diferencia de dos conjunto, A menos B, es el conjunto formado por elementos de A que no pertenecen a B.
A = {a,b,c,d,e} y B = {d,e,f,g,h} Representacin por diagrama de Venn:

Complemento. Sean los conjuntos A y universal U. El complemento de A es la parte de U que no pertenece a al conjunto A.
A = {vocales} y U = {Alfabeto} Representacin por diagrama de Venn:

Diferencia simtrica. Es el conjunto formado por las partes no comunes dos dos conjuntos.
A = {2,4,6,8,10} y U = {2,4,5,7,9} A B = (A U B) (A

B)

Representacin por diagrama de Venn:

Idempotencia. Es la propiedad para realizar una accin determinada varias veces y aun as conseguir el mismo resultado que se obtendra si se realizase una sola vez. Ejemplo:
AA=A AA=A

La construccin de los bloques bsicos de la lgica da inicio a travs de las proposiciones.

Una proposicin es una oracin declarativa que puede ser verdadera o falsa, pero no ambas a la vez. Ejemplos:
Toronto es la capital de Canad (Proposicin verdadera) 2 + 2 = 3 (Proposicin falsa)

Ejemplos de oraciones que no representan una proposicin son los siguientes:

Qu hora es? (No es una proposicin ya que no es declarativa) x + 1 = 3 (No es proposicin ya que al no tener un valor asignado para la

variable x no puede ser ni falsa ni verdadera)

Para denotar las proposiciones emplean letras, de igual forma que usamos letras para expresar las variables. Por convenio las letras empleadas para las proposiciones son: p, q, r, s, El valor de la proposicin se denota con una V en caso de ser verdadera, y una F en caso de ser falso.

Una proposicin compuesta es una frase que consta de uno o varios sujetos y de un predicado que afirma algo en torno a dichos sujetos. Los sujetos de una proposicin simple deben ser todos trminos singulares. El predicado debe contener un verbo que exprese la accin sobre los sujetos.
Conjuncin Disyuncin Negacin

Condicional
Bicondicional

Es cuando dos proposiciones simples se combinan mediante la expresin y; la proposicin compuesta resultante se le llama conjuncin (pq).

Tabla de verdad para la Conjuncin

Ejemplo:
p : Hoy es viernes q : Hoy llueve

Solucin:
La conjuncin ser verdadera nicamente los das viernes en que est lloviendo

Se representan dos enunciados separadas por la expresin o basta con que una sea verdadera para que se cumpla la proposicin (pvq).

Tabla de verdad para la Disyuncin

Ejemplo:
<<Quienes hayan terminado Ing. Mecatrnica o Ing. Electrnica pueden

acceder a la maestra>>.

Solucin:
Con este enunciado decimos que aquellos que han terminado Mecatrnica,

Electrnica, o ambas carreras pueden aspirar a la maestra.

Si p es una proposicin fundamental, de sta se puede formar otra proposicin, que se le llama Negacin de p (p).

Tabla de verdad para la Negacin

Ejemplo:
P : Estamos en el mes de Agosto

Solucin:
No estamos en el mes de Agosto

Expresan la condicin necesaria para que tenga efecto lo que indica la oracin principal; sta indica la causa o efecto de tal condicin y que tiene la forma p q, y que se lee si p, entonces q.

Tabla de verdad para la Condicional

El condicional es falso, slo cuando el antecedente es verdadero y el consecuente es falso; es decir, cuando la promesa no se cumple.

La relacin condicional puede ser expresada de las siguientes formas:

<< si p, entonces q >> << p es suficientes para q >> << q cuando p >> << q siempre que p >> << q es necesario para p >> << si p, q>>

Una forma til de entender, es pensarla como una obligacin o contrato. Por ejemplo: <<Si soy elegido habr ms empleo>>

Una proposicin bicondicional es una construccin matemtica y lgica que afirma que una parte es verdadera slo si la otra tambin lo es. Se expresa por: << p si, y slo si, q>>

Tabla de verdad para la Bicondicional

Ejemplo:
<< Puedes tomar el avin si, y slo si, compras el boleto>>.

Determinar la tabla de verdad de la siguiente proposicin compuesta:

1.- [(p q ) q] p