Logica y Conjuntos para Ing de Sistemas Guia 1

Gua
Del estudiante
Modalidad a distancia
Modulo
MATEMTICA FUNDAMETAL PARA INGENIERA DE SITEMAS
I SEMESTRE
DATOS DE IDENTIFICACION
TUTOR Luis Enrique Alvarado Vargas
Telfono 435 29 52 CEL. 310 768 90 67
E-mail leav70@gmail.com
Lugar Madrid Cundinamarca
Corporacin Universitaria Minuto de Dios Rectora

BIENVENIDA
Cundinamarca
EL curso de Matemtica fundamental permite indicar un proceso de

formacin de ingenieros de sistemas que apropien competencias
interpretativas, argumentativas y propositivas y competencias ciudadanas
como lderes integrales en sus desempeos el curso pretende fortalecer
procesos.
Fundamentos del Pensamiento Humano: Que le permiten apropiarse del

lenguaje y herramientas lgicas para la contextualizacin de su entorno.
Pensamiento y sistemas numricos: Solucin de problemas e induccin
investiguen en la seleccin de herramientas matemticas.
Autoformacin: A partir del estudio auto programado del dialogo de

saberes como resultado del trabajo en equipo para la construccin y
socializacin del conocimiento de la investigacin y accin de las prcticas.
Trabajo Cooperativo: El curso propende por el trabajo en equipo con toda

la comunidad para el desarrollo de un proyecto de investigacin.
El propsito de formacin de este curso es facilitar al estudiante de

Ingeniera de Sistemas unas vivencias por contexto con las dems reas del
programa el desarrollo de las competencias que le permitan utilizar el
lenguaje y herramientas necesarias en las acciones propias del trabajo en
equipo.
El curso esta propuesto acorde a los principios expuestos por la universidad

del Tolima, el IDEAD y el programa de ingeniera de Sistemas los cules dan
preeminencia a los procesos de auto formacin del ser humano y el
ingeniero ya que la implementacin de herramientas didcticas y mtodos
mentales de la modalidad a distancia, que deben esforzarse a muchas horas
de estudio individual y grupal sin la presencia fsica del tutor.
INTRODUCCION
El considerable progreso habido en la ciencia y en la tecnologa durante los

ltimos 150 aos procede en gran parte del desarrollo de las Matemticas.
En el estudio de cualquier rama de la Matemtica, sea anlisis, Algebra, o

Geometra, resulta til emplear la terminologa de la Teora de conjuntos.
Esta teora fue desarrollada por Boole y Cantor a fines del siglo XIX, ha
tenido una profunda influencia en el desarrollo de las Matemticas en el
siglo XX, ha unificado muchas ideas aparentemente inconexas y ha
contribuido a reducir gran nmero de conceptos matemticos a sus
fundamentos lgicos por un mtodo elegante y sistemtico.
La LOGICA MATEMTICA estudia la forma del razonamiento, es una

disciplina que por medio de reglas y tcnicas determina si un argumento es
vlido. La lgica es ampliamente aplicada en la filosofa, matemticas,
computacin, fsica. En la filosofa para determinar si un razonamiento es
vlido o no, ya que una frase puede tener diferentes interpretaciones, sin
embargo la lgica permite saber el significado correcto. En las matemticas
para demostrar teoremas e inferir resultados matemticos que puedan ser
aplicados en investigaciones. En la computacin para revisar programas.
En general la lgica se aplica en la tarea diaria, ya que cualquier trabajo que
se realiza tiene un procedimiento lgico, por el ejemplo; para ir de compras al
supermercado una ama de casa tiene que realizar cierto procedimiento lgico
que permita realizar dicha tarea. Si una persona desea pintar una pared, este
trabajo tiene un procedimiento lgico, ya que no puede pintar si antes no
prepara la pintura, o no debe pintar la parte baja de la pared si antes no pint
la parte alta porque se manchara lo que ya tiene pintado, tambin
dependiendo si es zurdo o derecho, l puede pintar de izquierda a derecha o
de derecha a izquierda segn el caso, todo esto es la aplicacin de la lgica.
La lgica es pues muy importante; ya que permite resolver incluso

problemas a los que nunca se ha enfrentado el ser humano utilizando
solamente su inteligencia y apoyndose de algunos conocimientos
acumulados, se pueden obtener nuevos inventos innovaciones a los ya
existentes o simplemente utilizacin de los mismos.
El orden en que se presenta el documento es el siguiente: Primeramente
se establece la importancia de la lgica matemtica, despus definimos el
concepto de proposicin. Se establece el significado y utilidad de conectivos
lgicos para formar proposiciones compuestas. Ms tarde abordamos las
proposiciones condicionales y bicondicionales. Definimos tautologa,
contradiccin y contingente, y proporcionamos una lista de las tautologas
ms importantes, as mismo explicamos a que se le llama proposiciones
lgicamente equivalente apoyndonos de tablas de verdad. Para finalizar;
abordamos los mtodos de demostracin: directo y por contradiccin, en
donde incluye reglas de inferencia.
En este trabajo se trata adems de presentar las explicaciones con

ejemplos que le sean familiares. Nuestro objetivo es que el alumno aprenda
a realizar demostraciones formales por el mtodo directo y el mtodo por
contradiccin. Ya que la mayora de los libros comerciales nicamente se
quedan en explicacin y demostracin de reglas de inferencia.
Consideramos que s el alumno aprende lgica matemtica no tendr
problemas para aprender ciencias exacta y ser capaz de programar
computadoras, ya que un programa de computadora no es otra cosa que
una secuencia de pasos lgicos, que la persona establece para resolver n
problema determinado.
Es importante mencionar que en las demostraciones no hay un solo

camino para llegar al resultado. El camino puede ser mas largo o ms corto
dependiendo de las reglas de inferencia y tautologas que el alumno
seleccione, pero definitivamente deber llegar al resultado. Puede haber
tantas soluciones como alumnos se tenga en clase y todas estar bien. Esto
permite que el estudiante tenga confianza en la aplicacin de reglas y
frmulas. De tal manera que cuando llegue a poner en practica esto, el sea
capaz de inventar su propia solucin, porque en la vida cada quien resuelve
sus problemas aplicando las reglas de inferencia para relacionar los
conocimientos y obtener el resultado.
Lgica y Conjuntos.
TEMAS A DESARROLLAR EN LA UNIDAD
Lgica
o Proposiciones y operaciones lgicas.
o Conectivos lgicos y proposiciones compuestas
Operador and (y)
Operador Or (o)
Proposiciones condicionales
Proposicin bicondicional.
o Tablas de verdad.
o Tautologa y contradiccin.
o Equivalencia lgica.
o Reglas de inferencia
o Mtodos de demostracin.
o Mtodo de demostracin Directo
o Demostracin por contradiccin
Teora de Conjuntos
o definicin
o Notacin
o Conjunto Universal
o Conjunto Potencia
o Conjunto Vacio
o Diagramas de Venn
o Conjuntos finitos e infinitos
o Conjuntos disjuntos
o Operaciones Con Conjuntos
o Interseccin
o Unin
o Complemento
o Diferencia Entre Conjuntos
o Diferencia Simtrica
o Producto Cartesiano
o Leyes del algebra de conjuntos
Asociatividad
conmutatividad
distributiva
absorcin
Idempotencia
Complemento
Ley de Morgan
UNIDAD DE TRABAJO No.1
Cmo aplicar la lgica proposicional y la teora de conjuntos en la

Ingeniera de Sistemas?
A travs de la lgica proposicional en que modelo de la carrera podemos
INDICADORES
aplicar razonamientos lgicos?
El concepto
<<Lgica matemtica o tambin llamado Lgica simblica es una parte de las

matemticas que se encarga de los sistemas formales, tambin de los
conceptos tales como demostracin matemtica y computacin;>>
Historia
<< Giuseppe Peano dio el nombre de Lgica Matemtica a este apartado de

las matemticas. Est basado en la lgica filosfica de Aristteles, pero con
una visin ms moderna aplicado a la nueva notacin matemtica >>
Lgica de proposiciones
Definicin de 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. V 1 Verdadero F 0 Falso
A las proposiciones las representamos con letras minsculas
Tipos de proposiciones Conectivas. -Singulares (, No) y Binarias:
-Conjuncin (, y)
-Disyuncin inclusiva (V,o)
-Disyuncin exclusiva (, o... o... pero no ambas)
-Condicional (->,, si ... entonces ...);
-Equivalencia lgica <-> Dadas las proposiciones p,q, se define una

equivalencia p <-> q como una nueva proposicin que se lee "p si slo si q" que
es verdadera cuando la p y la q tienen a la vez los mismos valores de verdad.
En el caso que p <-> q sea verdadera se dice p y q son equivalentes y tambin
que p es condicin necesaria y suficiente de q y viceversa.
Tablas de verdad:
Representa las mltiples salidas de una funcin lgica para todas las
combinaciones posibles de los valores de entrada.
TABLAS DE VERDAD
Proposicin Proposicin Doble
simple simple Conjuncin Disyuncin Implicacin Implicacin
p q p&q pVq pq pq
1 1 1 1 1 1
1 0 0 1 0 0
0 1 0 1 1 0
0 0 0 0 1 1
Mtodos de decisin en lgica de proposicin. Una tautologa es una
proposicin que siempre es verdadera. Una contradiccin es una proposicin
que siempre es falsa. Una contingencia es proposicin que puede ser
verdadera o falsa.
Validacin de sentencias proposicionales. Sirven para decidir si una

proposicin es una tautologa, una contradiccin o una contingencia. Validacin
mediante tablas de verdad. (Bueno para pocas variables). Validacin mediante
refutacin. (Suposicin de que la sentencia es falsa)
Mtodos de demostracin:
Mtodo Directo
Para demostrar que P -> Q supondremos que la hiptesis P es verdadera y a
partir de este punto razonando como haga falta intentaremos llegar a que la
tesis Q es verdadera, con lo que quedara demostrado P > Q. Un ejemplo
clsico: Demostrar que en N todo mltiplo de 6 es tambin mltiplo de 3. Es
decir: Si x el mltiplo de 6 x tambin es mltiplo de 3. Supongamos que x el
mltiplo de 6 (hiptesis verdadera) luego x=6*m para todo m perteneciente a N,
pero sabemos que 6=3*2 luego x=3*2*m; n=2*m n pertenece a N Finalmente
tenemos que x=3n, x el mltiplo de 3 con lo que tenemos Q, por tanto P->Q.
Mtodo reduccin al absurdo

Slo sabremos si es una tautologa. Supondremos que es una contradiccin,
por tanto podemos suponer que puede ser falsa. Sin con esta suposicin se
llega a una contradiccin quera decir que esa falsedad supuesta nunca podra
darse, por tanto la proposicin sera siempre verdadera es decir una tautologa
Mtodo Inductivo
Sirve para demostrar frmulas o propiedades que son verdaderas para infinitos
nmeros naturales. Es decir para demostrar que las propiedades de la forma
P(m) se cumple casi siempre para todo nmero natural m N siendo n+ el
conjunto de los caractersticos sin el cero V n N+ (Siendo N* = N-{0}) Se trata
de demostrar P(n), V n N* El mtodo de demostracin inductivo consta de 3
pasos.
1. Paso Bsico
Demostrar que la propiedad se cumple para el primer valor de de N que nos

digan, casi siempre ser 1. Se trata de demostrar P(1).
2. Paso Inductivo
Consiste en demostrar que si se cumple para un cierto n entonces tambin se

cumple para n+1. Es decir que si se cumple para P(n) entonces se tiene que
cumplir P(n+1). Se trata de demostrar la implicacin P(n)->P(n+1).
Supondremos como hiptesis P(n) (hiptesis de induccin).
3. Conclusin
Del paso bsico y del paso inductivo se deduce que la proposicin se cumple
para todos los n naturales mayores o iguales a 1 (n>=1).
Referencias
Lgica Matemtica en Wikipedia
Fuentes
Lgica Matemtica en monografas.com
Apuntes de Algebra Ingeniera Informtica.

2. Nociones sobre Teora de Conjuntos y Lgica
Para llevar a cabo nuestro propsito de especificar formalmente los problemas
y demostrar rigurosamente la correctitud de nuestros programas,
introduciremos algunas nociones sobre Teora de Conjuntos y Lgica. Los
conceptos y notacin dados nos permitirn unificar la notacin que utilizaremos
en las especificaciones y las demostraciones de correctitud de programas.
2.1. Conjuntos,
Un conjunto es una coleccin de objetos distintos, o elementos como

normalmente son llamados. Por ejemplo: el conjunto {3,5} consiste de los
enteros 3 y 5 y es el mismo conjunto que {5,3}. { } representa al conjunto vaco,
es decir, aquel que no contiene elementos. Tambin se representa por .
La notacin anterior describe a un conjunto de manera explcita o por
extensin, listando todos sus elementos. Tambin podemos describir un
conjunto de manera implcita o por compresin:
{i: existe un natural j tal que i= 2j}.
La cardinalidad o tamao de un conjunto es el nmero de elementos del

conjunto, y se denota por A o card(A). As card ({3,5})=2.
Luego definiremos ms formalmente lo que es una operacin, sin embargo
damos algunas operaciones que todos conocemos sobre conjuntos:
Operaciones entre conjuntos: Unin, Interseccin, Diferencia.
Operaciones que producen un valor booleano (verdadero o falso): la igualdad
entre conjuntos, la pertenencia (aA), la no pertenencia (aA), la inclusin
(AB)
Operaciones que producen un nmero: Si A es un conjunto de nmeros
entonces min A es
el menor elemento de A y mx. A es el mayor elementos de A.
El conjunto de partes de un conjunto A, detonado por 2A, es el conjunto cuyos
elementos son todos los subconjuntos de A, 2A={ B : B A }. Una particin de
un conjunto A es un conjunto cualquiera P ={ A1, A2, ... , An }tal que para todo i
entre 1 y n se cumple que Ai A y cualesquiera dos elementos de P, Ai y Aj,
con i distinto de j, tienen interseccin vaca y la unin de todos es el conjunto A.
web-grafa
http://www.ldc.usb.ve/~meza/ci-2615/cap2.pdf
ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS V F NO S
p (q)
Esta es la tabla de la V F
1
proposicin atmica
1
0
p q pq
1 1 1 V F
2
Esta es la tabla de
la conjuncin 1 0 0
0 1 0
0 0 0
p q p q
1 1 1 V F
3
Esta es la tabla de
la bicondicin 1 0 0
0 1 0
0 0 1
p q pq
1 1 1 V F
4
Esta es la tabla de
la conjuncin 1 0 1
0 1 0
0 0 0
p q p q
1 1 1 V F
5
Esta es la tabla de
la condicin 1 0 0
0 1 0
0 0 0
p q p Vq
1 1 1 V F
6 Esta es la
tabla de la
disyuncin 1 0 1
incluyente
0 1 1
0 0 0
p q pWq
1 1 1 V F
7 Esta es la
tabla de la
disyuncin 1 0 1
excluyente
0 1 1
0 0 0
p q q p q
1 1 0 1 V F
Esta es la
8
tabla de la
prop.
1 0 1 1
"Llueve y no
hace fro"
0 1 0 1
0 0 1 0
p q
1 0 V F
9
Esta es la tabla de la
NEGACIN 1 0
0 1
0 1
p q p Vq
1 1 1 F
Esta es la V
10 tabla de la
proposicin
1 0 1
"Mueres o
vives"
0 1 1
0 0 0
p p p W p
Esta es la V F
11 tabla de la
proposicin
1 0 1
"Viene o no
viene"
0 1 1
12 F
V
p p pW p
Esta es la
tabla de la
proposicin
"Hablo y no
hablo" 1 0 1
0 1 1
Esta es la
formulacin de la V F
13 proposicin "Ella p p
viene y no est
contenta"
Esta es la formulacin de " Si V F

ella no viene entonces nos vamos p q
14
al cine"
Esta es la formulacin de "Si V F

15 trabajas o estudias te preparas (pq) r
mejor para el futuro"
Esta es la formulacin de "Ser bachiller o

V F
titulado en Ciclo Superior y tener 18 aos
16 (pVq)r s
cumplidos son condiciones para poder
ingresar en la Universidad"
Esta es la formulacin de "Si dominas las

V F
asignaturas y te relacionas bien con todas
17 (pVq s)
las personas del Instituto entonces no has
perdido el tiempo"
18 V F
Esta es la formulacin de "Si (pq)rrq
tengo muchos exmenes que
corregir y he descansado un
poco al medioda, trabajo hasta
las doce de la noche. Pero hoy
no trabajo hasta las doce. Por

tanto, ser que no he
descansado al "
Esta es la formulacin de "Si te cuesta F

entender las cosas , pero te esfuerzas (pq)r V
19
diariamente, seguro que no suspendes "
Esta es la formulacin
de "Si has trabajado
razonablemente y si V F
20 estabas matriculado en (pq)r
el Instituto, entonces
sacars el ttulo de
bachiller "
1 p p p W p
Esta es la
tabla de la
proposicin 1 0 1
"Ella viene o
no viene" 0 1 1
La primera es tautolgica y la segunda consistente. V F

21
2 p q p Vq
Esta es la
tabla de la 1 1 1
proposicin
1 0 1
"Te vas o
ests alegre" 0 1 1
0 0 0
V F
22 La Regla de la Eliminacin de la Negacin se formula as: p V p
La Regla de la Eliminacin de la Conjuncin se formula as:

(pq) p V F
23
(pq) q
La regla de la Eliminacin del Condicional se formula as:
SI : (p q) p ] q
V F
24
NO: (p q) q ]
p
La regla de Eliminacin de la Disyuncin excluyente mediante la

V F
afirmacin de un extremo se formula as:
25
(pWq) p ] q
La primera regla de Morgan se formula as: V F

26 (p p) ( p p)
La regla de reduccin al absurdo se enuncia as:

V F
27 (p(q p) ] p
La segunda regla de Morgan se formula as: V F

28
(p Vp) ( p p)
Estas dos expresiones son

contradictorias
V F
29 (p(q q) ] p
(pWq) p ] q
Estas dos proposiciones son tautolgicas
(pq) p V F
30
(p Vp) (p p)
1 p (qr) P
Los dos 2 q P
primeros V F
p r Conclusin
31 pasos de este
clculo estn
bien hechos 3 p Supuesto
4 qr REnc 1,3
1 p q P
2 r V s P
3 s q P
4 r P
V F
32 p Conclusin
7 s RE V 2,4
6 r REaa 3,5
7 p Conclusin
Este cculo est bien hecho.
33 El siguiente clculo no contiene errores V F
1 p r V n) P
2 m p P
3 m P
4 r P
n C
5 p RE aa 2,3
6 r V n REaa 5,1
7 n RE V 4,6 Conclusin
Este clculo est perfectamente hecho.

1-pWq
2-q
Premisas
3-zr
4-z V F
34
pr Conclusin
5-p REW 1,2

6-r RE n c 3,4
pr REI 5,6 C
Este clculo est perfectamente hecho

1-pq
2-pVz
3- q Premisas
4-z r
5-s V F
35
s r Conclusin
6 - p RE nc 1,3
7-z REV 2,3
8-r REaa 4,7
9-s r RI7,8 Conclusin
Este clculo
por la tcnica
1 pq de reduccin al
2 pVz absurdo est
3 mal resuelto
q Premisas
4 z r
5 s
s r Conclusin
6 ( s r) Supuesto RRA
V F
36 7 s V r R1 MORGAN 6
8 r REV 7,5
9 p RE nc 1,3
10 z REV 2,9
11 r REaa 4,10
12 r r RI8,11
( s r)r r) RI6-12
14 s r RRA 13
Este clculo est bien hecho

1 p q P
2 r W q P
3 s r P
4 s P
V F
37 5 s t P
p t Conclusin
5 t RE aa 5,4
6 r REaa 3,4
7 q RE W 6,2,
8 p RE nc 1,7
9 p t RIConclusin
El siguiente clculo est equivocado en la sexta lnea.

1 p q P
2 r V s P
3 s q P
4 r P V F
38
p C
5
s RE V 2,4
6 r REaa 3,5
7 p Conclusin
El siguiente clculo es correcto.

1 p q P
2 r V p) P
3 r z P
q z Conclusin
V F
4
39 r p R1 Morgan 2
5 r RE 4
6 p RE 4
7 q REaa 1,6
8 z REaa 3,5
9 q z RI 7,8 Conclusin
La lnea 4 de este clculo debe ser: p.

1 p V q P
2 q P
3 p z P V F
40
z Conclusin
4 RE V 1,2
5 z REaa 3,4 Conclusin
Este clculo empieza por algo que hay en la lnea primera.
1 (p V q) P
2 p r P
3 r s P
q s Conclusin
V F
41 4
5
6
7
8
9
10
Este clculo est bien hecho por el sistema de reduccin al absurdo.

1 (p q) P
2 p r P
V F
42 3 p P
q r C
4
p V q) RRA1
5 q REV 4,3
6 r REnc 2, 3
7 q r RE ,6
Este clculo es correcto y su conclusin es una tautologa.
1 p q P
2 p s P
3 s t P
4 q t P
t t C V F
43
5
p RE 1
6 q RE 1
7 s REnc 2, 5
8 t REaa 3,7
9 t REaa 4,6
10 t t RE ,8
ACTIVIDAD DE APRENDIZAJE 1
Resuelve los siguientes ejercicios.
1. Una persona tiene tres monedas, cada una de uno o cinco pesos. Escribir los
elementos del conjunto de las posibles sumas de capital que puede tener dicha
persona. (Por ejemplo, si fuesen tres monedas de un peso, tendra 3 pesos; si fuesen
dos de un peso y una de cinco pesos tendra 7 pesos, etc.).
2. Sean A = {1, 2, 3}, B = {1, 2, 3, 4, 5, 6}. Completar las afirmaciones que
siguen, poniendo el smbolo adecuado en el espacio correspondiente.
a) o
2____A A____C 1,2,3,____C 4_____B 0____A
b) o
A____C ____ A____B {2, 3, 1}____A
____A B____B B____C B____A
3. Sea H = {1, 2, 3, 4, 5}.

a) Escribe todos los subconjuntos de H de cardinalidad uno.
Llama C al conjunto de dichos subconjuntos.
b) Escribe todos los subconjuntos de H de cardinalidad dos.
Llama D al conjunto de dichos subconjuntos.
4. Clasifica los conjuntos siguientes segn sean finitos o infinitos.
a) N = conjunto de todos los nmeros naturales
b) P = conjunto de todos los nmeros pares
c) H = conjunto de todos los seres humanos
d) G = el conjunto de todos los nmeros naturales inferiores a 90 trillones
e) M = el conjunto de todos los nmeros naturales superiores a 90 trillones
f)
g) {, N}
1. En los siguientes ejercicios, encuentra la unin o interseccin pedidas, en dos

formas por comprensin y por extensin.
a) { x N | 0 < x < 8 } { x N | 2 < x < 6 }
b) { x N | x < 10 } { x N | 9 < x }
c) { x N | x < 10 } { x N | 9 < x }
d) { x N | x < 10 } { x N | 5 < x < 12 }
e) { 2, 4, 5 } { y N | 4 < y }
2. Describe la relacin entre A y B en cada uno de los casos siguientes:
a) A B =
b) A B = B
c) A B = A
3. Dibujar un diagrama de Venn similar a la figura para cada ejercicio y sombrear

slo el rea que represente el conjunto dado. Si el conjunto es el conjunto vaco,
decirlo.
ABC
a) A B
b) B C
c) A ( B C )
d) A ( B C )
e) A ( B C )
f) A ( B C )
g) A ( B C )
h) A ( B C )
Resuelve los siguientes ejercicios.
1. Si tienes los intervalos
U = (-4,7) A = (3,7) B = [0,6] y C = [-1,6]
Determina el intervalo solucin de ( A C ) B
22
2. Teniendo los conjuntos
A={x R/1x8}
B = { x R / -5 < x 5 }
C = { x R / -7 x < 2 }
Determina el intervalo que indica la interseccin de A, B y C.
3. Dados los conjuntos
A = { x R / -5 < x 4 }
B = { x R / (-7 x 5) (0 < x 8)}
C = { x R / (- < x < -4) (4 x < ) }
Determina A B C.
4. Si tienes los intervalos reales
A = (-4,4) B = (-2,2) C = (-3,3]
D = [-5,15) E = [-7,7] F = (0, )
Determina: { [ ( A B ) ( C D) ] ( E F ) }
5. Resuelve las siguientes desigualdades.
a) 4 < (x + 4) / (-3) 5
b) | 6x 4 | < 3
c) | x/2 + 10 | 4
23
6. Las calificaciones de un estudiante fueron 85, 57 y 78 en los tres
primeros exmenes parciales, qu puntuacin debe obtener en su prximo
examen a fin de obtener una calificacin promedio entre 70 y 80.
CALENDARIO DEL MODULO
UNIDAD DE ACTIVIDADES DE APRENDIZAJE SEMANA

APRENDIZAJE
Acuerdo Presentacin del modulo, firma de 1
Pedaggico acuerdos, entrega del PIC y asignacin de 24 de
actividades y consultas para ser Abril
discutidas el 8 de Mayo de 2010
Lgica y Trabajo en pequeos grupos para la 2
Conjuntos preparacin de la socializacin de la 8 de
temtica, y resolucin de la gua del mayo
modulo 1, Evaluacin y control de
actividades.
3
4
5
6
7
8
Bibliografa
1. Pactrick SUPPES y Shirley HILL, Introduccin a la Lgica Matemtica,

editorial Revert S. A. Bogot D. C. 1979.
2. Jagdish C. Arya/ Robin W. Lardner, Matemticas Aplicadas a la

Administracin y a la Economa. Editorial Prentice Hall. Tercera
edicin. Mxico 1989.
3. HYPERLINK "http://es.wikipedia.org/w/index.php?
title=Evandro_Agazzi&action=edit&redlink=1" \o "Evandro Agazzi
(an no redactado)" Agazzi, Evandro (1986). Lgica simblica.
Editorial Herder. ISBN 978-84-254-0130
4. Gonzlez Carlomn, Antonio (6 de 2006). Retculo completo de Boole,

lgica matemtica, teora de conjuntos, 2 edicin (en espaol),
Universidad de Oviedo. Servicio de Publicaciones, pp. 232.
HYPERLINK
"http://es.wikipedia.org/wiki/Especial:FuentesDeLibros/978848317534
7" ISBN 978-84-8317-534-7 .
5. Cantor, Georg (11 de 2005). Fundamentos para una teora general

de conjuntos: escritos y correspondencia selecta, Ferreirs
Domnguez, Jos; Gmez-Caminero, Emilio F.; Ferreirs Domnguez,
Jos, 1 edicin (en espaol), Editorial Crtica, pp. 320. HYPERLINK
3" ISBN 978-84-8432-695-3 .
6. Fernndez Laguna, Vctor (2 de 2004). Teora de conjuntos elemental,

Bachillerato, 2 edicin (en espaol), Anaya, pp. 168. HYPERLINK
6" ISBN 978-84-667-2614-6 .
7. Climent Coloma, Joan Josep (10 de 2003). lgebra: teora de

conjuntos y estructuras algebraicas, 2 edicin (en espaol), Editorial
Club Universitario, pp. 512. HYPERLINK
2" ISBN 978-84-8454-302-2 .
8. Set, Jordi (7 de 2002). Teora elemental de conjuntos, 1 edicin (en

espaol), Clag S.A, pp. 168. HYPERLINK
7" ISBN 978-84-921847-6-7 .
9. Arrieche Alvarado, Mario (7 de 2002). Iniciacin de la teora de

conjuntos, en la formacin de profesores de matemticas, 1 edicin
(en espaol), Arrieche Alvarado, Mario Jose, pp. 169. HYPERLINK
1" ISBN 978-84-607-4774-1 .
10.Gonzlez Carlomn, Antonio (9 de 2001). Retculo completo de Boole.

Lgica matemtica teora de conjuntos, 1 edicin (en espaol),
Universidad de Oviedo. Servicio de Publicaciones, pp. 204.
HYPERLINK
3" ISBN 978-84-8317-264-3 .
11.Climent Coloma, Joan Josep (6 de 2001). lgebra. Teora de conjuntos

y estructuras algebraicas, 1 edicin (en espaol), Editorial Club
Universitario, pp. 240. HYPERLINK
6" ISBN 978-84-8454-081-6 .
12.Alonso Jimnez, Jos A; Prez Jimnez, Mario de J.; Ruiz Reina, Jos L.
(9 de 1998). Teora de conjuntos, 1 edicin (en espaol), Ediciones La
, S.L., pp. 348. HYPERLINK
3" ISBN 978-84-89524-45-3 .
Trabajos citados
Jos Alfredo Jimnez Murillo.

e-mail: HYPERLINK "mailto:ppalf@yahoo.com" ppalf[arroba]yahoo.com
Ma. Aleida Hernndez Ynez
e-mail: HYPERLINK "mailto:aleidahy@yahoo.com"
aleidahy[arroba]yahoo.com
Alumnos del Centro Interdisciplinario
De Investigacin y Docencia en
Educacin Tcnica (CIIDET)
Quertaro Qro. Mxico.

Logica y Conjuntos para Ing de Sistemas Guia 1

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Logica y Conjuntos para Ing de Sistemas Guia 1

Cargado por

Copyright:

Formatos disponibles

Gua

MATEMTICA FUNDAMETAL PARA INGENIERA DE SITEMAS

TUTOR Luis Enrique Alvarado Vargas

Telfono 435 29 52 CEL. 310 768 90 67

Lugar Madrid Cundinamarca

Corporacin Universitaria Minuto de Dios Rectora

EL curso de Matemtica fundamental permite indicar un proceso de

Fundamentos del Pensamiento Humano: Que le permiten apropiarse del

Autoformacin: A partir del estudio auto programado del dialogo de

Trabajo Cooperativo: El curso propende por el trabajo en equipo con toda

El propsito de formacin de este curso es facilitar al estudiante de

El curso esta propuesto acorde a los principios expuestos por la universidad

El considerable progreso habido en la ciencia y en la tecnologa durante los

En el estudio de cualquier rama de la Matemtica, sea anlisis, Algebra, o

La LOGICA MATEMTICA estudia la forma del razonamiento, es una

La lgica es pues muy importante; ya que permite resolver incluso

En este trabajo se trata adems de presentar las explicaciones con

Es importante mencionar que en las demostraciones no hay un solo

Cmo aplicar la lgica proposicional y la teora de conjuntos en la

<<Lgica matemtica o tambin llamado Lgica simblica es una parte de las

<< Giuseppe Peano dio el nombre de Lgica Matemtica a este apartado de

Definicin de Proposicin: Es cualquier agrupacin de palabras o smbolos

A las proposiciones las representamos con letras minsculas

Tipos de proposiciones Conectivas. -Singulares (, No) y Binarias:

-Disyuncin inclusiva (V,o)

-Disyuncin exclusiva (, o... o... pero no ambas)

-Condicional (->,, si ... entonces ...);

-Equivalencia lgica <-> Dadas las proposiciones p,q, se define una

Validacin de sentencias proposicionales. Sirven para decidir si una

Mtodo reduccin al absurdo

Demostrar que la propiedad se cumple para el primer valor de de N que nos

Consiste en demostrar que si se cumple para un cierto n entonces tambin se

Lgica Matemtica en Wikipedia

Lgica Matemtica en monografas.com

Apuntes de Algebra Ingeniera Informtica.

Un conjunto es una coleccin de objetos distintos, o elementos como

La cardinalidad o tamao de un conjunto es el nmero de elementos del

Esta es la formulacin de " Si V F

Esta es la formulacin de "Si V F

Esta es la formulacin de "Ser bachiller o

Esta es la formulacin de "Si dominas las

no trabajo hasta las doce. Por

Esta es la formulacin de "Si te cuesta F

La primera es tautolgica y la segunda consistente. V F

La Regla de la Eliminacin de la Conjuncin se formula as:

La regla de la Eliminacin del Condicional se formula as:

La regla de Eliminacin de la Disyuncin excluyente mediante la

La primera regla de Morgan se formula as: V F

La regla de reduccin al absurdo se enuncia as:

La segunda regla de Morgan se formula as: V F

Estas dos expresiones son

Estas dos proposiciones son tautolgicas

Este clculo est perfectamente hecho.

5-p REW 1,2

Este clculo est perfectamente hecho

Este clculo est bien hecho

El siguiente clculo est equivocado en la sexta lnea.

El siguiente clculo es correcto.

La lnea 4 de este clculo debe ser: p.

Este clculo est bien hecho por el sistema de reduccin al absurdo.

3. Sea H = {1, 2, 3, 4, 5}.

1. En los siguientes ejercicios, encuentra la unin o interseccin pedidas, en dos

3. Dibujar un diagrama de Venn similar a la figura para cada ejercicio y sombrear