Programa

Fundamentos del Lenguaje Matemático

Trabajo Colaborativo

Matemática 1 MAT021
Clase 1 (Complementos)

Departamento de Matemática
Universidad Técnica Federico Santa María

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa
Fundamentos del Lenguaje Matemático
Trabajo Colaborativo

Programa

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.

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

Tabla de Contenidos

1 Programa

2 Fundamentos del Lenguaje Matemático

Lógica
Conectivos Lógicos y Tablas de Verdad
Propiedades básicas

3 Trabajo Colaborativo

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

• Conceptos primitivos : proposición (aseveración), el valor

lógico V y el valor lógico F .

• Ley del tercero excluído: cada proposición tiene un sólo valor

lógico (V o F ). Este hecho determina que nuestra lógica matemática
sea binaria.

• Paradoja del barbero:

El barbero del pueblo afeita solo a todos los que no se afeitan a sí

mismos.

• Este tipo de paradojas se conocen como paradojas de Russell.

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

La matemática usa demostraciones en lugar de observaciones.

Demostrar un teorema significa lograr deducir usando reglas, a partir

de un pequeño número de axiomas, un resultado.

∴ Es fundamental, conocer las principales leyes de la lógica

matemática, que regulan la corrección de los argumentos
matemáticos.

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

Sean p y q dos proposiciones lógicas, entonces se definen los

siguientes conectivos lógicos y sus correspondientes valores de
verdad:

Conjunción Disyunción Implicación Equivalencia Negación Disyunción

condicional bicondicional exclusiva
p y q; poq p implica q; p si y solo si q; no p solo p o solo q
tanto p como p si p entonces q p equivale a q

p q p∧q p∨q p ⇒ q p ⇔ q p pYq

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

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

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.

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.

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa Lógica
Fundamentos del Lenguaje Matemático Conectivos Lógicos y Tablas de Verdad
Trabajo Colaborativo Propiedades básicas

Tautologías fundamentales
Nombre Propiedad

Identidad p∧V ≡ p , p∧F ≡ F , p∨V ≡ V , p∨F ≡ p

Idempotencia p∧p ≡ p , p∨p ≡ p

Involución (p) ≡ p

Complemento p∧p ≡ F , p∨p ≡ V

Conmutatividad p∧q ≡ q∧p , p∨q ≡ q∨p

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

Transitividad [(p ⇒ q) ∧ (q ⇒ r)] ⇒ (p ⇒ r)

Absorción [p ∧ (p ∨ q)] ≡ p , [p ∨ (p ∧ q)] ≡ p

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa
Fundamentos del Lenguaje Matemático
Trabajo Colaborativo

Ejercicios

1 Considere las siguientes proposiciones simples

p : 4 es mayor que 2,
q : 4 es divisible por 2,
r : 3 + 2 ≥ 5.

Escriba en palabras las proposiciones compuestas p ∨ q, p ⇒ r, p ∧ r,

y (p ∧ q) ⇒ q. ¿Cuáles son sus correspondientes valores de verdad?

Coordinación 2◦ sem. 2019 Matemática 1 MAT021

 Programa
Fundamentos del Lenguaje Matemático
Trabajo Colaborativo

3 Simplifique las siguientes expresiones:

a) [p ∨ (p ∧ q)] ⇐⇒ p b) (p ∧ q) ⇒ (q ⇒ p)

4 Si p ∧ q ⇒ r es falsa, determinar el valor de verdad de

(p ∨ q) ⇐⇒ (r ∨ p)

Coordinación 2◦ sem. 2019 Matemática 1 MAT021