18/11/13

LOS CONJUNTOS

DEFINICIÓN DE CONJUNTO: 
una colección de objetos o elementos bien definidos los cuales se representa de por medio de esquemas o también llamados diagramas de venn. estos esquemas están compuesto generalmente por una región cerrada el cual representa el conjunto universal y por uno o varios círculos que representan los conjuntos a graficar.  generalmente los conjunto se identifican con letras mayúsculas y sus elementos con minúsculas.
las formas de determinar un conjunto son:

Por extensión:
Un conjunto está determinado por extensión cuando se describe el conjunto
nombrando cada uno de sus elementos.
A = {2, 4, 6, 8}
B = {0, 1, 2, 3, 4, 5, 6, 7, 8, 9}
C = {1, 3, 5, 7, 9, 11, 13, 17, 19,…}
D = {a, e, i, o, u }

por comprension:
Un conjunto está determinado por comprensión cuando se nombra una propiedad, una
regla o una característica común a los elementos del conjunto. Por ejemplo:
C = {Números impares menores que 10}
D = {Vocales}
B = {Dígitos}

Como definir un conjunto  finito, infinito, vacio, unitario, universal, y de partes.

Conjuntos infinitos
Existen conjuntos como por ejemplo:
A = {x Î R / 0 x < 9} ó Z = {x Î N / x es par}
Los cuales se leen: A = todos los números reales mayores que cero y menores que
nueve.
Z = todos los números naturales que sean pares.
Este tipo de conjuntos no se pueden expresar por extensión debido a que nunca se
terminaría de escribir la lista de los números reales que pertenecen al conjunto A, o, los
naturales que pertenecen a Z, este tipo de conjuntos, reciben el nombre de INFINITOS;

Conjuntos finitos
Mientras que otros conjuntos, como por ejemplo:
C = {x / x es vocal} ó D = {x / x es dígito par}
Son ejemplos de conjuntos que están formados por cierto número de elementos
distintos, estos conjuntos reciben el nombre de conjuntos FINITOS.

Conjunto Vacío
Un conjunto que carece de elementos se denomina conjunto vacío.

Unitario
Se denomina conjunto unitario al conjunto formado por un sólo elemento.
Ejemplo 2:
E = {x / x es número primo par}
El único número que cumple las dos condiciones (ser primo y a la vez par) es el
número 2, por lo tanto E = {2} se llama conjunto unitario.

Conjunto Universal
Cuando se habla o se piensa en los conjuntos, es conveniente establecer la naturaleza
de sus elementos, por ejemplo:
Los elementos del conjunto A = {a, e, i} pertenecen al conjunto de las vocales, V = {a,
e, i, o, u}, es decir, A Ì V, este conjunto V constituye el universo del conjunto A, por
esta razón se dice que V es un conjunto Universal.





DILEMA CONSTRUCTIVO (D.C), ABSORCIÓN (A.B.S.) SIMPLIFICACION (SIMP.), CONJUCION (CONJ), ADICION (AD)

DILEMA CONSTRUCTIVO:

Si estudio aprendo y si duermo
descanso.
Estudié o dormí.
Luego Aprendí o descansé.

( p  q) ˄ (r s )
˅ r
\˅ s

ABSORCION:  
Si estudio aprendo

Estudio, luego aprendo y estudio

p  q
\ (q ˄  p)

SIMPLIFICACION:
Estudio y aprendo

Luego, estudio

˄ q
\p


CONJUCION:
Estudio
Trabajo
Luego, etudio y trabajo
p
q
\˄ q

ADICION:
Estudio

Luego, etudio ó trabajo

p

\ p ˅  q

SILOGISMO HIPOTETICO (S:H) y SILOGISMO DISYUNTIVO (S.D) O MODUS TOLLENDO PONENS (MPP)

SILOGISMO  HIPOTETICO: esta ley habla de la reacción a una posible suceso. y es un argumento que se expresa simbólicamente así :

( p  q ) ˄ (q  r )   ( p  r )

 q Se lee : si p entonces q
 r Se lee : si q entonces r
\ p  r Se lee : de donde
si p entonces r

Premisa 1. Si el agua se hiela, entonces sus moléculas forman cristales.
Premisa 2. Si las moléculas forman cristales, entonces el agua aumenta de
volumen.
Conclusión. Si el agua se hiela, entonces el agua aumenta de volumen.

Simbólicamente:
p: El agua se hiela
q: Sus moléculas forman cristales
r: El agua aumenta de volumen



SILOGISMO DISYUNTIVO: Si una disyunción es verdadera y una de sus proposiciones simples es falsa, entonces necesariamente la otra proposición será verdadera.

su expresión simbólica es: ( p ˅ q ) ˄ ¬p  q o ( p ˅q ) ˄ ¬q  p

 q
~ p
\q

Premisa 1: O la energía interna de un átomo puede cambiar con continuidad o
cambia sólo a saltos.
Premisa 2: La energía interna de un átomo no puede cambiar con continuidad
Conclusión: La energía interna de un átomo cambia sólo a saltos.
Simbólicamente:

p: La energía de un átomo puede cambiar con continuidad
q: La energía de un átomo sólo cambia a saltos

Premisa 1: p v q
Premisa 2: ~ p
Conclusión: p





MODUS TOLLENS (M.T) O MODUS TOLLENDO TOLLENS (MTT)

Esta regla de inferencia dice que si una implicación es verdadera y su consecuente es falso, entonces su antecedente será necesariamente falso; simbólicamente se expresa así:

( p q ) ˄ ¬q ˄ ¬p

 q Se lee : si p entonces q
~ q Se lee : ocurre ~q
\ ~ p Se lee : de donde ~p

POR EJEMPLO:
#1
si hay sol entonces hace calor
no hay sol
no hace calor 

#2
Premisa 1: Si un ángulo de un triángulo es mayor de 90º, entonces la suma
de los otros dos ángulos es menor de 90º.
Premisa 2: La suma de los otros dos ángulos no es menor de 90º.
Conclusión: Un ángulo de un triángulo no es mayor de 90º.Simbólicamente:


p: Un ángulo de un triángulo es mayor de 90º.
q: La suma de los otros dos ángulos es menor de 90º.

Premisa 1: p  q
Premisa 2: ~ q
Conclusión: ~ p

(INFERENCIAS LOGICAS) MODUS PONENS (M.P) O MODUS PONENDO PONENS (MPP)

¿Cómo interpretar esta ley?
observa el siguiente ejemplo:
Daniel escucha la siguiente afirmación “Si llueve hace frío”
En la siguiente “escena”, Daniel observa llover, es decir “llueve”

¿Qué puede concluir Daniel? 
Que hará frío, es decir “hace frío” Para obtener tan “obvia” conclusión, Daniel ha utilizado la más común de lasinferencias lógicas, la cual denominaremos MPP ó Modus Ponendo Ponens.En este ejemplo, las proposiciones simples son:
p = llueve
q = hace frío
Ejemplo 1
Las proposiciones así declaradas, nos permiten expresar en lenguaje natural lo
expresado en lenguaje simbólico así:
 q que equivale a: Si llueve hace frío

Así que nuestro ejemplo puede ser representado en el lenguaje simbólico de la
siguiente manera:

 q Se lee : si p entonces q
p Se lee : ocurre p
\q Se lee : de donde q

El símbolo (de donde) representa la conclusión de las premisas dadas;es decir que la conclusión, en este caso, es la proposición q
Modus Ponens (M. P)

1-Si llueve hace frío
2-llueve
3-luego Hace frío

LEYES DEL ÁLGEBRA DE PROPOSICIONES


TAUTOLOGIA

es una función lógica que es verdadera para
todas las combinaciones posibles de los valores de verdad de sus premisas  por ejemplo: 
la proposición( p˄q)p es una tautología, para demostrarlo,debemos construir la tabla de verdad y verificar que efectivamente la función lógica es

verdadera para todos los casos:

p
q
(p ˄q)
→p 
V
v
V
v
V
f
F
v
f
v
f
v
f
F
f
v

TAUTOLOGIA TRIVIAL: Esta tautología establece que cualquier proposición es equivalente a sí misma, esto es  p . Veamos la tabla de verdad correspondiente.

p
P↔p
V
V
F
V
DOBLE NEGACIÓN: Demostraremos que las proposiciones p y la proposición ¬(¬p) son lógicamente
equivalentes. Para lograrlo construiremos la tabla de verdad de la proposición P¬(¬p)

p
¬P
¬(¬P)
p«¬(¬p)
V
F
V
V
F
V
F
V