Clase 1
Clase 1
Clase 1
DE MATEMÁTICA
Matemática I (MAT021)
Complemento Clase 1
Coordinación MAT021
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Tabla de Contenidos
1 Programa
3 Ejercicios
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
1. Programa
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
1 Fundamentos del lenguaje matemático: lógica y conjuntos.
2 Números naturales e Inducción:
a) Inducción.
b) Notación de sumatoria y progresiones.
c) Teorema del Binomio.
3 Trigonometrı́a.
4 Funciones exponencial y logaritmo.
5 Geometrı́a Analı́tica.
6 Números complejos.
7 Polinomios.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
2. Fundamentos del Lenguaje Matemático
Lógica
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Conceptos primitivos : proposición (aseveración),
el valor lógico V y el valor lógico F.
Ejemplo (Paradoja)
“Esta oración es falsa”
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo (Paradoja del barbero)
El barbero del pueblo afeita solo a todos los que no se afeitan a
sı́ mismos.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
La matemática usa demostraciones en lugar de observaciones.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
2. Fundamentos del Lenguaje Matemático
Conectivos Lógicos y Tablas de Verdad
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Sean p y q dos proposiciones lógicas, entonces se definen los
siguientes conectivos lógicos y sus correspondientes valores
de verdad:
V V V V V V F F
V F F V F F F V
F V F V V F V V
F F F F V V V F
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Con estas operaciones podemos formar proposiciones
compuestas de compleja estructura:
1 (p ∧ q) ⇒ r.
2 (p ∨ q) ⇔ (p ∧ q)
de las cuales también es posible determinar su valor de verdad.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Definición
Las formas proposicionales se pueden clasificar como:
1 Tautologı́a si obtiene el valor lógico V (verdadero) para
cualquier sustitución (de valor de verdad) de las
proposiciones que la componen.
2 Contradicción si obtienen el valor lógico F (falso) para
cualquier sustitución (de valor de verdad) de las
proposiciones que la componen.
3 Contingencia si no es tautologı́a ni contradicción.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
1 p∧q ⇒ p
2 p∨q
3 p∧ p
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
2. Fundamentos del Lenguaje Matemático
Propiedades básicas
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Tautologı́as fundamentales
Nombre Propiedad
Idempotencia p∧ p ≡ p , p∨ p ≡ p
Involución (p) ≡ p
Complemento p∧ p ≡ F , p∨ p ≡V
Asociatividad p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r , p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r
Distributividad p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r) , p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
Leyes de Morgan (p ∨ q) ≡ p ∧ q , (p ∧ q) ≡ p ∨ q
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
1 Determine si es V ó F:
si 2+2 =4 entonces 3+3=8, ssi 3 · 3 = 9
2 Suponga que la siguiente proposición compuesta es
verdadera:
[ (p ⇒ q) ⇔ (p ∨ r)] ∧ [p ∨ (q ∧ r)] es V.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo
3 Sin usar tablas de verdad, demuestre la siguiente
equivalencia lógica:
(p ∨ q) ∨ (p ∧ q) ∨ q ⇐⇒ (p ∧ q)
4 Se sabe que:
Si Pedro no es alumno de la UC o Juan es alumno de la
UC, entonces Juan es alumno de la USM.
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
3. Ejercitación
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
1 Considere las siguientes proposiciones simples
p : 5 es mayor que 7
q : 4 es divisible por 2
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
3 Simplifique las siguientes expresiones:
a) [p ∨ (p ∧ q)] ⇐⇒ p b) (p ∧ q) ⇒ (q ⇒ p)
c) [(p ⇒ q) ∨ p] ∧ (q ⇒ p) d) [p ⇒ (q ∧ r)] ⇒ (p ⇒ q)
(p ∨ q) ⇐⇒ (r ∨ p)
[(p ⇒ q) ⇒ (p ∧ q)] ∧ (r ⇒ q)
Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA