1457762-2131 Mosquera

LIBRO 1
(Conjuntos)

Los conjuntos se abarcan como un tema importante en la enseanza de la matemtica
elemental, porque las ideas geomtricas y aritmticas pueden ser formuladas de forma clara
en funcin de conjuntos, de esta forma pueden ser enseados a nios, utilizando conceptos
bsicos para que en la educacin superior ya se tenga una idea concisa de estos.
Los conjuntos se expresan generalmente con una letra mayscula y con llaves *{ } y sus
elementos se separan por comas *, o se puede nombrar el conjunto con una frase descriptiva.
Si a el conjunto no se le asigna un elemento se le llama conjunto vacio o nulo y se representa
as: o { }; El smbolo que denota pertenece, es miembro de o es elemento de y en la
matemtica / suele indicar negacin as que indica que no pertenece.
Igualdad De Conjuntos
La igualdad de conjuntos indica que dos conjuntos tienen exactamente los mismos elementos y
se expresa con el signo igual, as: A = B (que nos indica que el conjunto A es igual al conjunto
B).En esto no influye el orden de los elementos.
Subconjuntos
Muestra que un conjunto esta contenido dentro de otro conjunto, de esta forma se dice que un
conjunto cuyos elementos estn dentro de otro conjunto ser un subconjunto de este. Se
puede deducir el numero de subconjuntos de un conjunto mediante una formula as por
ejemplo si un conjunto tiene n elementos entonces los subconjuntos sern 2n. Un subconjunto
propio son en los que hay por lo menos un elemento que no es miembro del subconjunto o del
conjunto contenido.
Conjuntos universales
Son los conjuntos que abarcan una poblacin o grupo en general del cual partir una discusin
cualquiera como ejemplo el conjunto formado por las letras del alfabeto entonces este ser
nuestro conjunto universo simplemente universo. Generalmente se simboliza con la letra U.
Diagramas de Venn o de Euler
Son la forma representada de los conjuntos en las que se utiliza un rectngulo que sera el
universo y dentro de este los conjuntos.
CARDINALIDAD Y EL PROCESO DE CONTAR
Correspondencia biunvoca
Es la asociacin de los elementos dos conjuntos, casi como el apareamiento de los dos
conjuntos en el que se busca que un elemento se enlace con un solo miembro del otro
conjunto.
Conjuntos equivalentes
Son los que pueden apararse o tener una correspondencia biunvoca pero no necesariamente
son iguales ni sus elementos representan lo mismo
Orden de conjuntos
Se trata de acomodar los conjuntos y decir cual debe estar ante que el otro.
Conjuntos estndar y cardinalidad
Los conjuntos estndar son conjuntos de smbolos, en el que cada elemento es un numeral.
Algunas veces se le llama al nmero de u conjunto la cardinalidad.
Nmeros y numerales
Se puede decir que el nmero es una abstraccin y puede distinguirse entre un nmero y su
nombre as como 1 y uno.
Nmeros cardinales y el proceso de contar
Ya que los nmeros cardinales estn ordenados y pueden decirnos cuntos elementos posee
un conjunto. Se le llama contar al proceso de asociar objetos con conjuntos estndar.
Conjuntos finitos e infinitos
Es infinito aquel conjunto que no tiene fin, tomando como ejemplo el conjunto de los nmeros
cardinales. Cualquier conjunto no vacio en los que sus elementos puedan tener una
correspondencia biunvoca son finitos, lo que significa que sus elementos pueden contarse.
El eje numrico
Se utiliza una recta para aparear elementos numricos con puntos asignados arbitrariamente
en la recta y ya que la recta no tiene un comienzo se le asignara uno en cualquier punto debido
a que los nmeros si estn ordenados de menor a mayor.
OPERACIONES CON CONJUNTOS
Unin
Como su nombre lo dice es la unin o suma de dos conjuntos contenidos dentro de un mismo
universo, se puede explicar o representar bien en diagramas de venn. En la unin no interviene
el orden en el que se consideren los conjuntos, tambin se pueden unir ms de 2 conjuntos
expresndose de la siguiente forma: AUBUC. La propiedad de la operacin para obtener la
unin de conjuntos se llama propiedad asociativa.
Interseccin
La interseccin de conjuntos se logra cuando algunos elementos de 2 conjuntos diferentes
pertenecen a ambos conjuntos a la vez, dentro de un mismo universo. A dems la operacin
para formar la interseccin es conmutativa y el smbolo de la interseccin es una U hacia abajo.
Cuando dos conjuntos no vacios no tienen una interseccin se denominan conjuntos disjuntos

Combinacin de operaciones con conjuntos
Cuando se combinan operaciones con conjuntos se suele usar los diagramas de Venn para
visualizar los resultados con mayor facilidad, se pueden combinar varias operaciones con
conjuntos por ejemplo: A U (B C).


Productos cartesianos
Es otra operacin con conjuntos en la que obtenemos un nuevo conjunto que no es parte del
universo *U. Para poder realizar esta operacin se debe tener en cuenta la definicin de par
ordenado, que es el orden por importancia en el que se organizan dos elementos que son
apareados, se debe aclarar que el orden puede o no ser importante en un caso determinado,
como si a una comida se le adiciona primero la sal o la pimienta (esto no tiene importancia) a
diferencia de si se pone primero el zapata o el calcetn (En esta si tiene importancia el orden).
Se define: dos pares ordenados son iguales si, y solo s, dichos pares tienen las primeras
componentes idnticas e idnticas las segundas componentes. Las combinaciones que se
pueden lograr entre dos conjuntos que pertenecen al mismo U y otro que no. Y las
combinaciones logradas se llaman productos cartesianos.

APORTES

La lectura del libro me indico la importancia de los conjuntos y de todo lo que abarcan.
Me mostro como es el proceso de contar y adems me enseo el eje numrico y productos
cartesianos
El libro me amplio la idea sobre los conjuntos y las operaciones con ellos.

LIBRO 2
(Lgica)

La lgica es el estudio del proceso sistemtico del razonamiento cientfico, mas no es un
sustituto del razonamiento preciso. Los mtodos de la lgica pueden clarificar nuestros tipos de
pensamientos, guarno y ayudarnos a evitar errores. La lgica simblica nos ayuda a reducir
procedimientos verbales complejos a unos simples smbolos.


PROPOSICIONES
Proposiciones simples
Para asegurar una proposicin simple se utiliza el lenguaje comn y corriente, en general es
aclarativa tiene un sujeto y un predicado. Exijamos que todas las proposiciones simples puedan
clasificarse como verdaderas o falsas para todo reemplazo si hay alguno. Para esta exigencia
tendramos un conjunto remplazos y estos reemplazos no deben tener trminos no apropiados
para poder utilizarlos en el conjunto. Una proposicin simple puede o no tener un valor de
verdad depende del contexto.
Proposiciones compuestas
Son preposiciones simples o atmicas unidas por una conjuncin, y depende de esto se
determinara su grado de verdad o falsedad. Aunque *no no es una conjuncin se utiliza, y
puede dar un valor positivo o negativo; se simboliza as: .
La *y se utiliza para afirmar dos proposiciones, es muy til para las proposiciones que
contienen variable utilizar el diagrama de Venn, entonces si queremos llamar a una P y a la otra
Q las negaciones de esta proposiciones serian P y Q.
En espaol hay muchas formas de que la conjuncin* y pueda parafrasearse ya que podemos
utilizar tanto P como Q, o P pero Q para significar lo mismo. Se llama lgicamente equivalente
a 2 proposiciones que coinciden siempre en su clasificacin as como *P y P.
La conjuncin *o tiene en espaol dos significados, el *O exclusivo o disyuntivo o el *O
inclusivo o distributivo. En matemtica se utiliza el *O inclusivo (Representado romano como
Vel) as el smbolo de *O es , entonces una proposicin P Q indica que si una es verdad o
ambas son verdad, la proposicin es verdadera
Conjuncin *si. Entonces esta se usa con proposiciones simples para formar unas
compuestas de la forma *si P entonces Q en la que esta est asociada como las
consecuencias. Se simboliza as PQ donde P se llama antecedente de la ampliacin y Q
consecuente.
Composiciones compuestas
Una compuesta muy til es *Si, y solo si, () o *P es una condicin necesaria y suficiente para
Q. La frase *si y solo si, es poco frecuente usada fuera de las matemticas.
Otro compuesto que podemos hacer con una sentencia de varias proposiciones, que primero
se convierten en proposiciones simples y luego se van agrupando en pares ya que ninguna
conjuncin agrupa ms de 2 proposiciones entonces se utilizan los parntesis y las llaves. No
hay necesidad alguna de colocar llaves o parntesis a * porque se entiende que solamente va
con la que acompaa (A&B). No se deben sobre utilizar los recursos de las llaves y los
parntesis ya que se crearon para aclarar y no para confundir.
Valores de verdad y tablas de verdad
Ya que los diagramas rectangulares son muy tiles pero a la vez muy complicados para
analizar proposiciones compuestas, para este propsito se utilizan las tablas de verdad.
V representa verdadero y F representa falso, entonces todas las posibilidades para dos
elementos de una proposicin compuesta estn incluidos en el conjunto {VV, VF, FV, FF} etas
cuatro corresponde a las cuatro casilla del diagrama que tambin son utilizados en forma
vertical para las tablas de verdad
Equivalentes lgicos; tautologas
Los smbolos & y estn estrechamente relacionados con los de conjuncin y U
respectivamente. Se usa el smbolo que debe interpretando igualdad de conjuntos
REGLAS DE INFERENCIA
A partir de algunas proposiciones simples o compuestas que se nos dan debemos llegar a
unas premisas y a un argumento lgico.
Modus ponens
Mtodo de de obtencin mediante la asercin. Naturalmente si hay algo equivocado en las
premisas podemos llegar a una conclusin falsa.
Algunas reglas del modus ponens
1. Cualquier premisa puede usarse en cualquier etapa de la argumentacin
2. Cualquier tautologa puede usarse en cualquier lugar en un argumento.
3. Un equivalente lgico puede sustituirse por el enunciado en una derivacin
4. Cuando usemos el MP, por ejemplo, los enunciados 2y 3 escribiremos MP 2 y 3
Modus tolens
El mtodo de negar (el antecedente) mediante la negacin (del consecuente)

COMO CONSTRUIR NUESTRAS PROPIAS REGLAS DE INFERENCIA
Si en una argumentacin se usa una regla que el lector no ve intente:
1. Compruebe que el argumento trabaja con enunciados o proposiciones como unidades.
2. Escrbase el modelo de la inferencia.
3. Comprubese si la argumentacin se pondr por medio de una equivalencia lgica
directamente en MP o MT.
4. Comprubese si se puede introducir una tautologa
Negaciones contrarecprocas y reciprocas
Podra pensarse que negar es solo una cuestin de negar ambas proposiciones pero si esto se
somete a una tabla de verdad se demuestra que no. Las proposiciones de equivalencia lgica
se llaman leyes de Morgan y su proceso se puede resumir de esta forma:
Para negar una expresin con y u o se niegan ambos componentes y se cambia la
conjuncin es decir se niegan ambos componentes y luego se remplaza y por o, y o por
y.
Cuando no sea conveniente es permisible dar la vuelta a cualquier implicacin si negamos
cada componente.
LGICA DE PREDICADOS

Trminos y predicados
SE puede decir que un predicado es algo que puede ser el resto de una proposicin simple que
tiene un trmino como sujeto.
Cuantificadores
Es el que ejerce influencia sobre una proposicin compuesta. Regla de instanciacin: en
cualquier proposicin precedida de un cuantificador universal la variable indica por el
cuantificador puede remplazarse en toda la proposicin por cualquier trmino.
Negacin y existencia
Se debe tener mucho cuidado con el uso de los negativos en conexin con los cuantificadores.

Aportes

Este libro amplio mucho ms mi conocimiento sobre lgica, con lo cual me doy cuenta de que
tienen muchos temas que no se tratan en colegio. A dems supe que la lgica tiene una
relacin con los conjuntos.
Me aporto muchos significados de los smbolos utilizados y tambin significados alternativos.
Aprend a usar diagramas en lgica.