Академический Документы
Профессиональный Документы
Культура Документы
para MATG
Por
Ing. Carlos Cifuentes Cruz
5/19/17 Ing. 1
PROGRAMA MATG-2017
UNIDADES HORAS DOCENCIA
1. LOGICA Y CONJUNTOS 12
2. EXPRESIONES ALGEBRAICAS 15
3. GEOMETRIA 12
4. FUNCIONES DE VARIABLE REAL 9
BIBLIOGRAFIA
BASICA FUNDAMENTOS DE MATEMATICAS PARA
BACHILLERATO , 2016. ESPOL
COMPLEMENTARIA PRECALCULO, JAMES STEWART,2007 QUINTA
EDICION
5/19/17 Ing. 2
Lgica
Ciencia que trata sobre los principios formales del razonamiento
Posee lenguaje exacto (no hay dudas) y simblico donde nos
ayuda a comprender el lenguaje matemtico.
No hay ninguna rama de la matemtica, por abstracta
que sea, que no pueda aplicarse algn da a los
fenmenos del mundo real
Nikoli Lobachevski
El mundo orgnico es tan matemtico como
el inorgnico, la base matemtica de los
seres vivos, sin embargo, es mas sutil, mas
flexible y esta profundamente oculta.
D Arcy Wentworth Thompson
5/19/17 Ing. 3
Proposicin y su Definicin
Es una oracin (unidad semntica) a la cual se le
puede asignar un valor de certeza sea FALSO (F) o
VERDADERO (V).
1796 -
Construccin de tablas de verdad. 1874
Las proposiciones tienen dos principios
fundamentales al cual obedecen: principio de no
contradiccin y el principio del tercero excluido.
Quetelet conceptualiz la influencia de
la probabilidad en los acontecimientos
humanos.
5/19/17 Ing. 4
Proposicin y sus Principios
Principio de no
Principio del tercero
contradiccin: excluido:
La proposiciones no Las proposiciones no
pueden ser falsas o pueden ser discutibles
verdaderas al mismo Entre el ser y no ser no
tiempo ni bajo el mismo hay trmino medio
respecto. pp
(pp)
5/19/17 Ing. 5
Proposiciones y su clase
Cada proposicin tiene su forma lgica donde hay dos
clases de proposiciones :
Simples (Atmicas)
* oracin completa, es la forma bsica
* no tiene trminos de enlace (operadores lgicos)
* pensamiento en el cual se afirma o se
niega algo.
Compuestas (Moleculares)
* Combinacin de proposiciones atmicas enlazadas
con operadores lgicos
5/19/17 Ing. 6
Operadores Lgicos
Los operadores lgicos se los denominan tambin, conectivos o
trminos de enlace, existen 6 clases de conectivos:
NOMBRE CONECTIVO SIMBOLO
1. Conjuncin y
2. Disyuncin o
3. Condicional Si
entonces
4. Bicondicional si y solo si
5. Negacin No o~
6. Disyuncin exclusiva Ov
5/19/17 Ing. 7
Tablas de Certeza
CONJUNCIN
a b ab Para que una conjuncin sea verdadera es
0 0 0 necesario que las dos proposiciones sean
verdaderas.
0 1 0 a pero b. Nern era malvado pero cruel.
1 0 0
1 1 1
Para que una disyuncin sea falsa es
necesario que las dos proposiciones sean
DISYUNCIN INCLUYENTE
o DBILES falsas caso contrario es verdad.
a b ab
Ir de vacaciones a menos que tengas
dinero.
0 0 0
0 1 1 La obesidad es una enfermedad crnica, compleja
pero multifactorial prevenible.
1 0 1
1 1
5/19/17 1 Ing. 8
En nuestro lenguaje la conjuncin podemos emplear como:
p pero q An cuando p no obstante q
p Sin embargo q Al igual que p aunque q
Adems Tanto como Ms an
A la vez Siempre Tambin
ambos..con..
Incluso ..con..los dos a la vez Es compatible
con
As como No solosino As mismo
tambin
Del mismo p a pesar de q De la misma
modo forma que
5/19/17 Ing. 9
En nuestro lenguaje la disyuncin inclusiva o dbil podemos emplear como:
p a menos que q O En todo caso
O sino Alternativamente
5/19/17 Ing. 10
DISYUNCIN La disyuncin exclusiva (excluyente) se refiere a lo
EXCLUSIVA o
FUERTES
uno o a lo otro pero no los dos a la vez, para que sea
verdadero es necesario que tengan valores de certeza
a b av diferentes.
b
0 0 0
0 1 1
1 0 1
1 1 0
NEGACIN La negacin de
a a algo verdadero es
falso y viceversa.
0 1
Mondico
1 0
5/19/17 Ing. 11
En nuestro lenguaje la disyuncin exclusiva o fuerte podemos emplear como:
O o no equivale a
5/19/17 Ing. 16
Condicin necesaria y suficiente
Figuras geomtricas
Paralelogramos
Cuadrados
5/19/17 Ing. 17
Traducciones de la condicional Es fcil darse cuenta de la
() tiene las siguientes formas equivalentes: importancia cuantitativa del Ca
si se piensa que el cuerpo de un
q si p q se deduce de p
recin nacido contiene unos 28
p solo si q p por lo tanto q gr. de dicho metal.
p es suficiente para q Bioqumica de la nutricin.
p por Por: Francisco Grande Covian
q es necesaria para p
consiguiente
p por ende q q Coleccin Ensayos Fundacin
q con la condicin que p Juan March (Madrid)
q cuando p p por conclusin
Desde la aparicin del hombre
q siempre que p q
Dado que p por sobre la tierra, el tipo de alimentos
q debido a que p eso
q q vez que p
cada
que ste ha tenido que ingerir para
su sustento, ha variado a travs del
Cuando p, q tiempo, debido a que se vio obligado
q dado que p
q puesto que p a adaptar a aquellos que tena ms
q porque p q se concluye de p prximos y le era ms fcil obtener
con las escasas herramientas que
q pues p q supone que p posea.
q ya que p De, Wikipedia, la enciclopedia
q sigue de p libre, Nutricin.
5/19/17 Ing. 18
Variaciones de la
condicional
Dada la condicional p q, se
definen:
1. La recproca: qp
2. La inversa: p q
3. La contra recproca: q p
Ley de la contra
reciproca
Una proposicin puede ser remplazada
por su contrarrecproca sin que se afecta
su valor de verdad.
5/19/17 Ing. 19
Tautologa, implicacin y equivalencia
una deduccin.
Tautologa Forma Simblica
1. Tautologa trivial p p
2. Ley de la doble negacin p (p)
3. Ley del medio excluido p (p)
4. Razonamiento directo [( p q) p] q
5. Razonamiento indirecto [( p q) q] p
6. Ley de transitividad [(p q) (q r)] (p r)
7. Ley de la contra recproca (p q) (q p)
8. Silogismo disyuntivo [(p q) p] q
9. Implicacin y disyuncin (p q) (p q)
10. Ley de no contradiccin [p (p)]
5/19/17 Ing. 21
MTODOS DE DEMOSTRACIN
Una demostracin (razonamiento vlido) por el proceso deductivo puede
realizarse de 2 maneras:
5/19/17 Ing. 24
Criterios para pasar al lenguaje formal:
1. Identificar las premisas o
hiptesis y la conclusin. Por
lo general las premisas se
encuentran separadas por
puntos, si hay varios de ellos;
o por un punto y coma, o
palabras como: y, ms, pero.
La conclusin se encuentra
despus de expresiones como:
en conclusin, por
consiguiente, es as que, por
lo tanto, de ah que, entre
otras.
2. Asignar a las proposiciones
atmicas letras del alfabeto
5/19/17 Ing. 25
de aqu que generalmente se
3. Simbolizar las hiptesis y la tesis con las
variables proposicionales asignadas en el
paso anterior.
4. Estructurar el razonamiento siguiendo la
caracterstica mencionadas anteriormente.
5. Aplicar cualquier mtodo de
p1 p2 p3 ... pn q
demostracin.
5/19/17 Ing. 26
Conjuntos
Un conjunto es cualquier agregado o
coleccin bien definidos de objetos o entes
de cualquier ndole, con o sin relacin entre
ellos.
Hay dos mtodos:
1. Mtodo de enumeracin (tabulacin o
extensin)
2. Mtodo descriptivo o comprensin.
5/19/17 Ing. 27
Cardinalidad
Dos conjuntos
cualesquiera son
equivalentes
(coordinables) si entre
sus elementos puede
efectuarse una
correspondencia
biunvoca.
Adems si estos
conjuntos son finitos,
decimos que tienen el
mismo nmero de
elementos o que tienen
5/19/17 Ing. 28
Cuantificador
universal es
Cuantificador
Lo representa
Expresiones
comunes:
Para cada x
Cada
Para todo x
Valor de verdad
Cuantificador
existencial
Lo representa x
Expresiones
comunes:
Existe un x tal que
...
Hay un x tal que...
Cuando menos uno...
5/19/17 Ing. 29
Valor de verdad
Axioma de extensionalidad
cardinalidad.
A = B (xA x B) (x B x A)
A = B (x A x B).
Representacin grfica de conjuntos.
John Venn (1834 1923)
Matemtico y lgico Ingls, fu ministro
Augustus De Morgan
anglicano. (1806 1871)
Subconjunto: (A B)
en lenguaje formal (A B) ( A B)
Subconjunto propio: A B
lenguaje formal:
(A B) (A B) (B A)
Conjunto potencia: P(A)
Lenguaje formal: 2n(A) = {/ A}
XP(A) X A
Conjunto finito .- Aquel que se puede contar hasta
llegar a su ltimo elemento.
Conjunto infinito.- aquel que se pude poner en
correspondencia biunvoca con un subconjunto de
s mismo.
5/19/17 Ing. 31
Conjunto potencia de A, es la coleccin de todos
los subconjuntos de A.
PROPIEDADES DEL CONJUNTO
POTENCIA
1) P ()={}
2) A B P (A) P(B)
4) Si n es el nmero de elementos de A,
entonces P(A) tiene 2n subconjuntos.
5/19/17 Ing. 32
Dar el valor de certeza de las siguientes
proposiciones
A
5 5
4 1,4 ; 2,4
IRe
2,4 2 ; 4
1,2,a,b
3 3,5
5/19/17 M.Sc. Carlos Cifuentes Cruz Ing. 33
Operaciones con Conjuntos
Unin de conjuntos (A Interseccin de conjuntos (A
B) B)
(A B) ( A) ( B) o (A B) (A) ( B ) o
(A B) = { /( A) (B)} (A B) = { /( A) ( B)}
Propiedades Propiedades
1. (A B) = (B A) 1. (A B) = (B A)
2. A = A, Para todo A 2. AB intersecantes
3. A A = A, Para todo A 3. AB= disjuntos
4. AB= A= B= 4. A = para todo A
5. A (B C) = (A B) C 5. A IRe = A para todo A
6. A B C K 6. A A = A para todo A
7. A (B C) = (A B) C
8. ABC K
9. (A B) (A B)
5/19/17 Ing. 34
Operaciones con Conjuntos
Complementacin Ac
Diferencia de conjuntos (A
B)
IRe A = Ac (A B) ( A) ( B) o
(A B) = { /( A) ( B)}
Propiedades
Ac = {/( IRe) ( A)} 1. (A B) (B A)
2. (A B) A y (B A) B
Propiedades 3. (A B ) (B A) =
4. (A B) (A B) =
1. c = IRe IReC = (A B) (A B) =
(B A) (A B) =
2. (Ac)c = A . Diferencia simtrica
3. A AC = A U A = IRe
C
A B ={ / ( A) ( B)}
O
A B = (A B) U (B A)
5/19/17 Ing. 35
LEYES DEL ALGEBRA DE CONJUNTOS
UNION INTERSECCIN
Conmutativida
d
Asociatividad
Identidad
Absorcin
Propiedades distributivas
5/19/17 Ing. 36
Cardinalidad de conjuntos y aplicaciones
La Cardinalidad es el numero de elementos que tiene un conjunto como
resultado del proceso de contar.
PROPIEDADES DE LA
CARDINALIDAD
5/19/17 Ing. 37
5/19/17 Ing. 38
"La persona que no est en paz consigo misma, ser una
persona en guerra con el mundo entero".
5/19/17
Mahatma Gandhi Ing. 39