Clase 1

Descargar como pdf o txt
Descargar como pdf o txt
Está en la página 1de 27

DEPARTAMENTO

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

2 Fundamentos del Lenguaje Matemático


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

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.

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.

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.

Este tipo de paradojas se conocen como paradojas de


Russell.

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo

Determine si las siguientes son o no proposiciones


1 Hoy hace frı́o
2 Estudié para el examen
3 ¡Cuidado!
4 5 es impar
5 ¿me regalas un dulce?

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
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.

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:

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

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA
Ejemplo

Determine el valor de verdad de las siguientes proposiciones


compuestas:
1 4 es par y 3 · 3 = 9

2 Si 4 es par entonces 8=9.

3 Si 4 es impar entonces 8=9.

4 Si 4 es par entonces 8=6+2.

5 Si 4 es impar entonces 8=6+2.

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

Utilizando tablas de verdad clasifique las siguientes


proposiciones:

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

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

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.

Determinar el valor de verdad de las proposiciones p, q y r.

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.

Si Pedro es alumno de la UC y Juan no es alumno de la


USM, entonces Juan es alumno de la UC.

Deduzca en qué universidad estudia Juan.

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

Escriba en palabras las proposiciones compuestas p ∨ q,


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

2 Se tienen tres cajas. Una está etiquetada “MANZANAS”, otra


está etiquetada “NARANJAS” y la última está etiquetada
“MANZANAS y NARANJAS”. Se sabe que todas están
incorrectamente etiquetadas. Si puede elegir UNA fruta de UNA
de las cajas, puede etiquetar las cajas correctamente?

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)

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

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

5 Sean p, q y r proposiciones tales que p es verdadera, q es


verdadera y r es falsa. Hallar el valor de verdad de

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

Departamento de Matemática
UNIVERSIDAD TÉCNICA FEDERICO SANTA MARÍA

También podría gustarte