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
[email protected]
Lugar
Madrid Cundinamarca
Corporacin Universitaria Minuto de Dios Rectora

BIENVENIDA
Cundinamarca
EL curso de
formacin
de
Matemtica fundamental permite indicar un proceso 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
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
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
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
Proposiciones y operaciones lgicas.
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
o
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
simple
simple
p
q
1
1
1
0
0
1
0
0
Mtodos de decisin en
Conjuncin
p&q
1
0
0
0
lgica de
Doble
Disyuncin Implicacin Implicacin
pVq
pq
pq
1
1
1
1
0
0
1
1
0
0
1
1
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
p (q)
Esta es la tabla de la
proposicin atmica
1
0
NO S
pq
p q
2
Esta es la tabla de
la conjuncin
Esta es la tabla de
la bicondicin
NO S
pq
p q
4
Esta es la tabla de
la conjuncin
5
Esta es la tabla de
la condicin
NO S
Esta es la
tabla de la
disyuncin
incluyente
Esta es la
tabla de la
disyuncin
excluyente
p Vq
pWq
NO S
Esta es la
tabla de la
prop.
"Llueve y no
hace fro"
p q
9
Esta es la tabla de la
NEGACIN
NO S
10
Esta es la
tabla de la
proposicin
"Mueres o
vives"
p Vq
p p p W p
11
Esta es la
tabla de la
proposicin
"Viene o no
viene"
12
p p pW p
Esta es la
tabla de la
proposicin
"Hablo y no
hablo"
NO S
13
14
15
16
17
Esta es la
formulacin de la
proposicin "Ella
viene y no est
contenta"
p p
Esta es la formulacin de " Si

ella no viene entonces nos vamos
al cine"
Esta es la formulacin de "Si

trabajas o estudias te preparas
mejor para el futuro"
Esta es la formulacin de "Ser bachiller o

titulado en Ciclo Superior y tener 18 aos
cumplidos son condiciones para poder
ingresar en la Universidad"
Esta es la formulacin de "Si dominas las

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

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

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

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

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

afirmacin de un extremo se formula as:
(pWq) p ] q
La primera regla de Morgan se formula as:
26
(p
p) ( p p)
La regla de reduccin al absurdo se enuncia as:

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

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

contradictorias
29
(p(q q) ] p
(pWq) p ] q
NO S
Estas dos proposiciones son tautolgicas

(pq) p
30
(p Vp) (p p)
31
Los dos
primeros
pasos de este
clculo estn
bien hechos
1 p (qr)
2 q
p r
Conclusin
3 p
Supuesto
4 qr
1
p q
r V s
s q
Conclusin
32
33
REnc 1,3
RE V 2,4
REaa 3,5
Conclusin
Este cculo est bien hecho.
El siguiente clculo no contiene errores

1
p r V n)
m p
3
4
m
r
P
P
NO S
RE aa 2,3
r V n REaa 5,1
RE V 4,6
Conclusin
Este clculo est perfectamente hecho.

1-pWq
2-q
3-zr
34
Premisas
4-z
pr
5-p
6-r
pr
Conclusin
REW 1,2
RE n c 3,4
REI 5,6
Este clculo est perfectamente hecho

1-pq
2-pVz
3- q
Premisas
4-z r
5-s
35
s r
Conclusin
6 - p
7-z
8-r
RE nc 1,3
REV 2,3
REaa 4,7
9-s r
RI7,8 Conclusin
NO S
pq
pVz
z r
Premisas
s r
36
Este clculo
por la tcnica
de reduccin al
absurdo est
mal resuelto
Conclusin
6 ( s r)
Supuesto RRA
7 s V r
R1 MORGAN 6
8 r
REV 7,5
9 p
10 z
11 r
RE nc 1,3
REV 2,9
REaa 4,10
12 r r
RI8,11
( s r)r r)
RI6-12
14 s r
RRA 13
Este clculo est bien hecho
37
p q
r W q
3
4
s r
s
P
P
s t
p t Conclusin
RE aa 5,4
r REaa 3,4
q RE W 6,2,
NO S
p RE nc 1,7
p t RIConclusin
El siguiente clculo est equivocado en la sexta lnea.

1 p q
2 r V s
3 s q P
4 r
38
RE V 2,4
6 r REaa 3,5
7 p Conclusin
El siguiente clculo es correcto.
1 p q
2 r V p)
39
3 r z
Conclusin
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
NO S
La lnea 4 de este clculo debe ser: p.

1 p V q
2 q
40
3 p z
z
4
Conclusin
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)
2 p r
3 r s
q s
41
Conclusin
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
42
3 p
P
P
q r C
4
p V q) RRA1
NO S
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
2 p s
3 s t
4 q t
t t
43
5
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.
NO S
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
APRENDIZAJE
Acuerdo
Pedaggico
Lgica y
Conjuntos
ACTIVIDADES DE APRENDIZAJE
SEMANA
Presentacin del modulo, firma de

acuerdos, entrega del PIC y asignacin de
actividades y consultas para ser
discutidas el 8 de Mayo de 2010
Trabajo en pequeos grupos para la
preparacin de la socializacin de la
temtica, y resolucin de la gua del
modulo 1, Evaluacin y control de
actividades.
1
24 de
Abril
2
8 de
mayo
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:[email protected]" ppalf[arroba]yahoo.com
Ma. Aleida Hernndez Ynez
e-mail: HYPERLINK "mailto:[email protected]"
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

Copyright:

Formatos disponibles

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

Luis Enrique Alvarado Vargas

435 29 52 CEL. 310 768 90 67

Corporacin Universitaria Minuto de Dios Rectora

Matemtica fundamental permite indicar un proceso de

interpretativas, argumentativas y propositivas y competencias ciudadanas

Pensamiento y sistemas numricos: Solucin de problemas e induccin

del trabajo en equipo para la construccin y

socializacin del conocimiento de la investigacin y accin de las prcticas.

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.

estudia la forma del razonamiento, es una

disciplina que por medio de reglas y tcnicas determina si un argumento es

acumulados, se pueden obtener nuevos inventos innovaciones a los ya

El orden en que se presenta el documento es el siguiente: Primeramente

contradiccin y contingente, y proporcionamos una lista de las tautologas

Consideramos que s el alumno aprende lgica matemtica no tendr

o Leyes del algebra de conjuntos

UNIDAD DE TRABAJO No.1

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

A travs de la lgica proposicional en que modelo de la carrera podemos

En el caso que p <-> q sea verdadera se dice p y q son equivalentes y tambin

proposicin que siempre es verdadera. Una contradiccin es una proposicin

Mtodo reduccin al absurdo

Slo sabremos si es una tautologa. Supondremos que es una contradiccin,

2. Nociones sobre Teora de Conjuntos y Lgica

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

Esta es la formulacin de " Si

Esta es la formulacin de "Si

Esta es la formulacin de "Ser bachiller o

Esta es la formulacin de "Si dominas las

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

no trabajo hasta las doce. Por

Esta es la formulacin de "Si te cuesta

La primera es tautolgica y la segunda consistente.

La Regla de la Eliminacin de la Negacin se formula as: p V p

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

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

La regla de Eliminacin de la Disyuncin excluyente mediante la

La regla de reduccin al absurdo se enuncia as:

La segunda regla de Morgan se formula as:

Estas dos expresiones son

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

Estas dos proposiciones son tautolgicas

El siguiente clculo no contiene errores

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

Este clculo est perfectamente hecho.

Este clculo est perfectamente hecho

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS

Este clculo est bien hecho

ANALIZANDO ATENTAMENTE, LOCALIZA ERRORES Y ACIERTOS