Adems de relacionar los conjuntos a travs de la

contenencia y la igualdad, podemos crear unos

nuevos a travs de las operaciones entre
conjuntos. Aqu aprenders de que se trata.
Unin de conjuntos
Supongamos que tenemos los conjuntos M y N definidos como
se muestra en la siguiente figura:

Podemos crear otro conjunto conformado con los elementos que

pertenezcan a M o a N. A este nuevo conjunto le llamamos
unin de M y N, y lo notamos de la siguiente manera: MN. En
la imagen de abajo puedes observar el resultado de unir los
conjuntos M y N.
Al elegir qu elementos estarn en la unin de nuestros
conjuntos M y N, debes preguntarte cules estn en el
conjunto Mo en el conjunto N. El resultado de la
operacin ser el conjunto conformado por todos los
elementos del conjunto universalU, que cumplan la
condicin de estar en uno o en otro. Tenemos en este
caso: MN={a,c,b,g,e,1}

Interseccin de conjuntos
Sigamos tomando como ejemplo los conjuntos M y N definidos
anteriormente. Podemos determinar un nuevo
conjunto conformado por los elementos que nuestros
conjuntos My N tienen en comn. A este nuevo conjunto le
llamamos interseccin de M y N y lo notamos de la siguiente
manera: MN.
Para determinar que elementos pertenecen a la interseccin
de los conjuntos M y N te puedes preguntar qu elementos
estn en M y en N. Todos los elementos del
conjunto U que cumplan esta condicin debern estar en el
conjunto MN. En la figura de la arriba podemos ver la
interseccin de nuestros conjuntos M y N, tenemos
que MN={b}.
Diferencia de conjuntos.
Adems de la unin y la interseccin podemos realizar
la diferencia de conjuntos. En este caso se deben
seleccionar los elementos de un conjunto que no estn
en el otro. Por ejemplo, si realizas la
operacin M menos N, debes seleccionar los elementos
de M que no estn en N. Representamos la diferencia M
menos N as: M \ N. Observa que en este caso M \ N={a,c}.

Diferencia simtrica de conjuntos

Que el nombre esta operacin no te alarme, tambin es muy

sencilla. En esta ocasin se deben escoger los elementos
de M que no estn en N, y los elementos de N que no
estn en M. Puedes ver el resultado de ladiferencia
simtrica entre M y N en la figura de la
izquierda. Representamos la diferencia simtrica a travs
del smbolo . En el caso de nuestros

conjuntos M y Ntenemos: M N={a,c,g,1,e}.

Complemento de un conjunto
La ultima operacin que estudiaremos no es entre dos
conjuntos. Decimos que el complemento de M es el
conjunto conformado por todos los elementos del
conjunto universal U, que no pertenecen al conjunto M.
Es comn usar los smbolos Mc, M o M' para representar el
complemento del conjunto M, nosotros usaremos el
smbolo Mc. En nuestro caso
tenemos Mc={j,f,g,1,e,i,h} y Nc={i,h,j,f,a,c}.

Introduccin[editar]

Considrese el siguiente argumento:

1. Maana es mircoles o maana es jueves.

2. Maana no es jueves.

3. Por lo tanto, maana es mircoles.

Es un argumento vlido. Quiere decir que es imposible que las premisas sean
verdaderas y la conclusin falsa. Esto no quiere decir que la conclusin sea
verdadera. Si las premisas son falsas, entonces la conclusin tambin podra serlo.
Pero si las premisas son verdaderas, entonces la conclusin tambin lo es. La validez
de este argumento no se debe al significado de las expresiones maana es
mircoles y maana es jueves, porque stas podran cambiarse por otras y el
argumento permanecer vlido. Por ejemplo:

1. Est soleado o est nublado.

2. No est nublado.

3. Por lo tanto, est soleado.

En cambio, la validez de estos dos argumentos depende del significado de las
expresiones o y no. Si alguna de estas expresiones se cambiara por otra,
entonces podra ser que los argumentos dejaran de ser vlidos. Por ejemplo:

1. Ni est soleado ni est nublado.

2. No est nublado.

3. Por lo tanto, est soleado.

Las expresiones de las que depende la validez de los argumentos se

llaman constantes lgicas. La lgica proposicional estudia el comportamiento de
algunas de estas expresiones, llamadas conectivas lgicas. En cuanto a las
expresiones como "est nublado" o "maana es jueves", lo nico que importa de ellas
es que tengan un valor de verdad. Es por esto que se las reemplaza por simples
letras, cuya intencin es simbolizar una expresin con valor de verdad cualquiera. A
estas letras se las llama variables proposicionales, y en general se toman del alfabeto
latino, empezando por la letra p, luego q, r, s, etc. As, los dos primeros argumentos
de esta seccin podran reescribirse as:

1. p o q

2. No q

3. Por lo tanto, p

Y el tercer argumento, a pesar de no ser vlido, puede reescribirse as:

1. Ni p ni q

2. No q

3. Por lo tanto, p
Conectivas lgicas[editar]
Artculo principal: Conectiva lgica
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a
la lgica proposicional, incluyendo ejemplos de su uso en el lenguaje naturaly los
smbolos que se utilizan para representarlas en lenguaje formal.

Expresin Smbolo
Smbolos
en el en
Conectiva Ejemplo alternativo
lenguaje este
s
natural artculo

Negacin no No est lloviendo.

Est lloviendo y est

Conjuncin y
nublado.

Est lloviendo o est

Disyuncin o
soleado.

Si est
Condicional si...
soleado, entonces es de
material entonces
da.

Est nublado si y slo

Bicondicional si y slo si
si hay nubes visibles.

Negacin Ni est soleado ni est

ni... ni
conjunta nublado.

Disyuncin o bien... o O bien est soleado, o

excluyente bien bien est nublado.
En la lgica proposicional, las conectivas lgicas se tratan como funciones de verdad.
Es decir, como funciones que toman conjuntos de valores de verdad y devuelven
valores de verdad. Por ejemplo, la conectiva lgica no es una funcin que si toma el
valor de verdad V, devuelve F, y si toma el valor de verdad F, devuelve V. Por lo tanto,
si se aplica la funcin no a una letra que represente una proposicin falsa, el
resultado ser algo verdadero. Si es falso que est lloviendo, entonces ser
verdadero que no est lloviendo.

El significado de las conectivas lgicas no es nada ms que su comportamiento como

funciones de verdad. Cada conectiva lgica se distingue de las otras por los valores
de verdad que devuelve frente a las distintas combinaciones de valores de verdad que
puede recibir. Esto quiere decir que el significado de cada conectiva lgica puede
ilustrarse mediante una tabla que despliegue los valores de verdad que la funcin
devuelve frente a todas las combinaciones posibles de valores de verdad que puede
recibir.

Negacin

Conjuncin

Disyuncin
 Condicional

Bicondicional

Qu es una proposicin
Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no puede concluir
que es verdadero o falso no es proposicin. Es cualquier agrupacin de palabras o smbolos que
tengan sentido y de la que en un momento determinado se pueda asegurar si es verdadera o falsa.
La verdad o falsedad de una proposicin es lo que se llama su valor lgico o valor de verdad. Las
proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, a, b.

Ejemplo:

Hoy es lunes. (si es proposicin ya que se puede verificar).

Hablo y no hablo.

Viene o no viene.

Carlos Fuentes es un escritor. (Simple)

 Sen(x) no es un nmero mayor que 1. (Compuesta)

El 14 y el 7 son factores del 42. (Simple)

El 14 es factor del 42 y el 7 tambin es factor del 42. (Compuesta)

El 2 o el 3 son divisores de 48. (Simple)

El 2 es divisor de 48 o el 3 es divisor de 48. (Compuesta)

Si x es nmero primo, entonces x impar. (Compuesta)

Si x > 10, entonces 2x - 3 > 16. (Compuesta)

No todos los nmeros primos son impares. (Compuesta)

Clases de proposiciones
Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES: tambien denominadas proposiciones atmicas. Son aquellas

proposiciones que no se pueden dividir.

Ejemplos:

El cielo es azul.

PROPOSICIONES COMPUESTAS: tambien denominadas moleculares. Son aquellas que estn

formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Ejemplos:

Fui al banco, pero el banco estaba cerrado.

Los lectores de este libro son jvenes o universitarios.

Si el mircoles prximo me saco la lotera entonces te regalare un auto.

Leer ms: http://www.monografias.com/trabajos100/proposiciones-simples-y-

compuestas/proposiciones-simples-y-compuestas.shtml#ixzz3phQska1h