Departamento de Matemticas

Agosto 2008
Prof: Haroldo Cornejo Olivar
LGEBRA FMM0 (10/21)
LGICA Y CONJUNTOS
LGEBRA MODERNA
ESTRUCTURAS ALGEBRAICAS (GRUPO, ANILLO..)
RELACIONES.
RELAC. INVERSAS.
INECUACIONES EN EL PLANO
POLINOMIOS
FRACCIONES PARCIALES
TRIGONOMETRIA, FUNC. TRIGONOMTRICAS
GEOMETRIA ANALITICA
INDUCCIN MATEMTICA
TEOREMA DEL BINOMIO
ANLISIS COMBINATORIO
NMEROS COMPLEJOS
EVALUACIN
1 Prueba Solemne Sbado 6 Septbre 25 %

2 Prueba Solemne Sbado 18 Octubre 25 %

3 Prueba Solemne Sbado 15 Novbre 25 %

Promedio Controles Ayudanta 25 %

Examen 28 de Novbre

BIBLIOGRAFA
Zill y Dewar
lgebra y Trigonometra Mc. Graw Hill 2 Edic.

R. Barnett
Algebra y Trigonometra Mc. Graw Hill

R. Barnett
Preclculo Mc. Graw Hill 4 Edic.

Robledo A.
Lecciones de Algebra Elemental Moderna Editorial

Inocenti, Villanueva
Lecciones de Trigonometra Editorial Limusa

Disociado
Respondente
Delegador
Indulgente
Pasivo
Interesado en mnimizar exigencias
Altamente conformista
Control externo
Impulsivo
Consecuente
Automotivado
Responsable
Autoexigente
Proactivo
Interesado en aprender al mximo
Inconformista
Normas Internas
Reflexivo
LO QUE SE ESPERA DEL ALUMNO
xito profesional
y la Universidad debe crear las oportunidades para que el
estudiante pueda apropiarse, por medio de su trabajo
sistemtico de saberes y competencias que maximicen la
posibilidad de xito. La responsabilidad de la Universidad
es exprimirlos para promover un mximo desarrollo si y
solo si el estudiante decide aprovecharlo.
El estudiante debe defender su oportunidad pues es
parte del proceso el autodescarte de los que por su falta de
trabajo sistemtico quedan en el camino.

Qu producto vinieron a adquirir ?
Elementos de lgica
Objetivos generales
Presentar intuitivamente los principios del razonamiento
lgico e introducir los conceptos de teorema y demostracin
matemtica en mbitos variados; particularmente en:

la lgica simblica (o modelo de los enunciados),

la teora de conjunto (o modelo cualitativo del universo), y

en los conjuntos numricos conocidos.
INTRODUCCION
La matemtica estudia las propiedades de ciertos
objetos, tales como nmeros, operaciones,
conjuntos, etc.
Es necesario por lo tanto contar con un lenguaje
apropiado para expresar estas propiedades de
manera precisa.
Desarrollaremos aqu un lenguaje que cumpla
estos requisitos, al cul llamaremos lenguaje
matemtico.
LENGUAJE MATEMATICO
El lenguaje matemtico est formado por una
parte del lenguaje natural, al cul se le agregan
variables y smbolos lgicos que permiten una
interpretacin precisa de cada frase.

Proposiciones.
Llamaremos proposiciones a aquellas frases
del lenguaje natural, las cuales podamos
afirmar que son verdaderas o falsas.
Ejemplos de proposiciones:
Dos es par
Tres es mayor que diez
Tres ms cuatro es nueve
Se usan letras minsculas p, q, r, s,...etc., para denotar
proposiciones simples o atmicas.
Una proposicin es simple o atmica, si ninguna
parte de ella es a su vez una proposicin.
Ejemplos de proposiciones simples o atmicas:
Dos es un nmero par".
"Tres es mayor que cuatro".
"Tres ms cinco es mayor que cuatro".
La propiedad fundamental de una proposicin, es que
ella puede ser verdadera o falsa, pero no ambas cosas
a la vez.
El valor de verdad de una proposicin simple depende
exclusivamente del enunciado de la proposicin.
Dos es un nmero par".
"Tres es mayor que cuatro".
"Tres ms cinco es mayor que cuatro".

Es verdadero.
Es Falso.
Es verdadero.
Algunos enunciados o proposiciones son
compuestos, es decir, estn formados de
proposiciones simples y de conectivos que
los unen.

2 es un nmero entero y es positivo

Si llueve, el piso se moja

Si es un entero, entonces es real

Si estudio y hago los ejercicios, entonces
apruebo y paso de curso
El valor de verdad de una proposicin
compuesta depende completamente del valor
de verdad de cada proposicin simple y del
modo como se les rene o conecta para
formar la proposicin compuesta.
Conectivos
Negacin. Es aquel conectivo que niega la
proposicin, y normalmente se utiliza
anteponiendo no, o anteponiendo la frase es
falso que.
Simblicamente la negacin se puede representar en
lenguaje matemtico, de tres formas diferentes:

I.- Anteponiendo el smbolo . p significa no p.

II.- Sobreponindole una barra p

III.- Anteponiendo el smbolo ~ . ~p significa no p.

Conjuncin. Es aquel conectivo que une dos
proposiciones, incluyndolas obligatoriamente a
ambas.

Se utiliza y como conectivo de conjuncin.
"dos es par y tres es impar
Simblicamente la conjuncin y se representa en
lenguaje matemtico con el smbolo .

y .
Disyuncin. Es aquel conectivo que une dos
proposiciones ofreciendo una alternativa entre una
proposicin o la otra, as como tambin ofrece la
posibilidad que sean ambas.
"dos es mayor que siete o siete es mayor que dos".
La proposicin est compuesta por las proposiciones
simples
"dos es mayor que siete"
junto con
" siete es mayor que dos",
conectadas por la palabra "o, que constituye el
conectivo de disyuncin, y su smbolo es v
DISYUNCIN EXCLUYENTE
Es la disyuncin pero que su valor de verdad acepta una
sola proposicin como verdadera.
No pueden ocurrir las dos proposiciones al mismo tiempo.
Ejemplo: Me caso con Rosita o con Doris
Hoy a las 3 voy al Parque Arauco o al Alto Las Condes.

Su notacin es:
v
p q
v
Implicacin o Condicional
Es aqul conectivo en el que se establece una
condicin para que se cumpla la otra
proposicin.
normalmente se establece como:
Si se cumple p, entonces se cumple q
p q
Bicondicional o doble implicancia.
Es aquel conectivo de la forma:

se cumple p si y solamente si se cumple q.
Esto significa que tambin se cumple la
situacin inversa,
es decir que como se cumple q, tambin se
cumple p
p q.
p p
Valores de verdad de la negacin:

V
F
V F
p q p . q
Valores de verdad de la conjuncin:
V
F
V
F
F
V
F
V
V
F
F
F
p q p v q
Valores de verdad de la disyuncin:
V
F
V
V
F
F F
V
V
V
V
F
p q p q
Valores de verdad
Disyuncin excluyente
V
F
V
V
F
F F
V
F
V
V
F
v
p q p q
Valores de verdad de la implicancia:
F
V
V
V
F V
F F
V
F
V
V
p q p q
Valores de verdad de la bicondicional:
F
V V
V
F V
F F
V
F
F
V
Verdad lgica o Tautologa.
Son aquellas proposiciones que siempre son
verdad, sin importar los valores de verdad de
las proposiciones que la componen.
p q p . q (p.q)p
Consideremos la proposicin ((p . q) p)
F
V V
V
F V
F F
V
F
F
F
V
V
V
V
Contingencia
Son aquellas proposiciones que pueden
ser verdad o falso, dependiendo de los
valores de verdad de las proposiciones
que le componen.
Contradicciones.
Son aquellas proposiciones que
siempre son falsas, sin importar los valores
de verdad de las proposiciones que la
componen.
lgebra de proposiciones
q p q p v
p q q
V V V F V V
V F F F F F
F V V V V V
F F V V F V
q p
p q p v
Verdades lgicas usuales.
Ley de Idempotencia
p v p p
p . p p
Ley Asociativa
(p v q ) v r p v (q v r)
(p . q) . r p . (q . r)
Ley Conmutativa
p . q q . p
pv q q v p
Ley Distributiva
Ley de Identidad
p v F
p v V
p . V
p . F
q p ) q p ( v .
q p ) q p ( . v
Leyes de DeMorgan
(p . q) v (p . r)
(a b) + (a c)
a (b + c )
p v (q . r)
p . (q v r)
(p v q) . (p v r)
F
p
V
p
Implicancia
q p q p v
) p q ( ) q p ( q p .
Ley de Absorcin
p v (p . q) p
p . (p v q) p
Leyes del Complemento
p v p V
p . p F
p p
V F
F V
q p q p .
) q p ( ) q p (
) p q ( ) q p (( q p . v .
p )) q q ( p ( .
Utilizando las equivalencias lgicas
q p q p .
q p q p v
Implicancia
q p q p v
Negacin
q p q p . DeMorgan
Utilizando las equivalencias lgicas
q ) q p ( ) q p ( .
Implicancia
distribucin
) q p ( ) q p ( v . v
( ) | | p q p . v
( ) | | q q p . v v
) p p ( . ( ) p q. v ( ) q p . v ( ) q q. v
distribucin
F q q v .
) p p ( v
v ( )
V
q
F v q . ( ) v q
v q
F
v
q
((p q) . p) q
((p q) . (q r)) (p r)
((p q) . (q r)) (p r)
(p q) ( v q)
(p q) (p q) . (q p)
((p q) . (q r) . (r p)) ((p q) . (q r))
((p q) . ( q)) q
((p q) . (r q)) ((p v q) q)
((p (q . r)) ((p q) . (p r))
((p (q v r)) ((p q) v (p r))
((p . r) q)) (p (r q))
p
p
Proposiciones lgicamente verdaderas
Modus Ponendo Ponens
p (p q) q
Si llueve la calle se moja. Llovi, entonces la calle se moj
Si el impuesto a la bencina baja, gastamos menos
dinero en transportarnos.
El impuesto baj, entonces gasto menos dinero.
El condicional o implicacin es aquella operacin que
establece entre dos enunciados una relacin de causa-
efecto. La regla ponendo ponens significa, afirmando
afirmo y en un condicional establece, que si el
antecedente (primer trmino, en este caso p) se afirma,
necesariamente se afirma el consecuente (segundo
trmino, en este caso q).
Modus Tollendo Tollens
(p q) ~ q ~ p
Tollendo tollens significa negando, niego, y se
refiere a una propiedad inversa de los condicionales, a los
que nos referamos en primer lugar.
Si de un condicional, aparece como premisa el
consecuente negado (el efecto), eso nos conduce a
negar el antecedente (la causa), puesto que si un
efecto no se da, su causa no ha podido darse.
Si aumenta el I.V.A. los precios suben.
Los precios no han subido, por lo tanto el I.V.A. no ha
aumentado.
MODUS TOLLENDO PONENS (TP)
si uno de los miembros de una disyuncin es negado, el
otro miembro queda automticamente afirmado, ya que
uno de los trminos de la eleccin ha sido descartado.
Si ( p v q ) . ~ q p
Fue al cine o de compras.
No fue de compras, entonces fue al cine