Cap1 Logica
Cap1 Logica
Cap1 Logica
30 de marzo de 2006
2
Índice general
1. Lógica 5
1.1. Introducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2. Tablas de Verdad . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Conectores Lógicos . . . . . . . . . . . . . . . . . . . . . . . . 6
1.4. Polinomios Booleanos . . . . . . . . . . . . . . . . . . . . . . . 8
1.5. Tautologı́a, Contingencia y Contradicción . . . . . . . . . . . . 8
1.5.1. Tautologı́as de uso frecuente . . . . . . . . . . . . . . . 9
1.6. Equivalencia e Implicación . . . . . . . . . . . . . . . . . . . . 10
1.7. Cuantificadores universal y existencial . . . . . . . . . . . . . 11
1.7.1. Negación de Cuantificadores . . . . . . . . . . . . . . . 12
1.8. Métodos de Demostración . . . . . . . . . . . . . . . . . . . . 13
1.8.1. Método Directo (H ⇒ T ) . . . . . . . . . . . . . . . . 13
1.8.2. Contrarecı́proco (∼ T ⇒∼ H) . . . . . . . . . . . . . . 13
1.8.3. Método Indirecto (H ⇒ T ) . . . . . . . . . . . . . . . . 14
1.8.4. Contraejemplo . . . . . . . . . . . . . . . . . . . . . . . 14
2. Conjuntos 15
2.1. Propiedades de inclusión e igualdad de conjuntos . . . . . . . 16
2.2. Definiciones de las Operaciones Básicas con Conjuntos . . . . 17
2.2.1. Leyes del Algebra de Conjuntos . . . . . . . . . . . . . 19
2.3. Diagramas de Venn . . . . . . . . . . . . . . . . . . . . . . . . 19
2.4. Conjuntos Potencia y Cardinalidad . . . . . . . . . . . . . . . 21
2.4.1. Conjunto Potencia . . . . . . . . . . . . . . . . . . . . 21
2.4.2. Cardinalidad . . . . . . . . . . . . . . . . . . . . . . . 21
2.5. Producto Cartesiano . . . . . . . . . . . . . . . . . . . . . . . 21
3
4 ÍNDICE GENERAL
3. Relaciones y Funciones 23
3.1. Relaciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
3.1.1. Propiedades de las relaciones . . . . . . . . . . . . . . . 26
3.2. Funciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.3. Funciones Reales . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4. Algebra de funciones . . . . . . . . . . . . . . . . . . . . . . . 34
3.5. Composición de funciones . . . . . . . . . . . . . . . . . . . . 36
3.6. Función Inversa . . . . . . . . . . . . . . . . . . . . . . . . . . 37
4. Inducción Matemática 39
4.1. Números Naturales . . . . . . . . . . . . . . . . . . . . . . . . 39
4.2. Inducción . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
4.2.1. Principio de Inducción Matemática . . . . . . . . . . . 40
4.2.2. Inducción Matemática . . . . . . . . . . . . . . . . . . 41
4.3. Teorema del Binomio . . . . . . . . . . . . . . . . . . . . . . . 44
4.3.1. Teorema del Binomio . . . . . . . . . . . . . . . . . . . 46
Capı́tulo 1
Lógica
1.1. Introducción
Def: Lógica Proposicional
Parte de la lógica que estudia las relaciones con proposiciones.
Def: Proposición:
Ordenación de ideas susceptibles de atribuirle en un cierto contexto uno
solo de los valores verdadero(V) o falso(F).
Ejem:
Hoy es un dı́a caluroso (V).
Los peces vuelan (F).
10 = 5 + 6.
Not: Las proposiciones las designaremos con letras minúsculas “p, q, r, s,etc.”,
y al conjunto de todas las proposiciones lo designaremos por P.
5
6 CAPÍTULO 1. LÓGICA
p p′
V F
F V
Ejemplo:
2. Conjunción lógica: ∧
Sean p y q dos proposiciones. Se llama conjunción lógica de p y q a la
proposición “p ∧ q”, y se lee “p y q”.
p q p∧q
V V V
V F F
F V F
F F F
Ejemplo:
p: 2 + 3 = 5.(V)
q: 2 es un número primo.(V)
r: 2 es un número impar.(F)
a) p ∧ q : (V)
b) q ∧ r : (F)
3. Disyunción lógica: ∨
Sean p y q dos proposiciones. Se llama disyunción lógica de p y q a la
proposición “p ∨ q”, y se lee “p o q”.
1.3. CONECTORES LÓGICOS 7
p q p∨q
V V V
V F V
F V V
F F F
Ejemplo:
p: 2 + 3 = 5.(V)
q: 2 es un número primo.(V)
r: 2 es un número impar.(F)
a) p ∨ q : (V)
b) q ∨ r : (V)
4. Condicional lógico: −→
Sean p y q dos proposiciones. Se llama condicional lógico de p y q a la
proposición “p → q”, y se lee “ si p entonces q.”
p q p→q
V V V
V F F
F V V
F F V
Ejemplo:
5. Bicondicional lógica: ↔
Sean p y q dos proposiciones. Se llama bicondicional lógica de p y q a
la proposición “p ↔ q”, y se lee “p si y sólo si q.”
8 CAPÍTULO 1. LÓGICA
p q p↔q
V V V
V F F
F V F
F F V
Ejemplo:
p: 2 · 3 = 6.(V)
q: 6 es un número par.(V)
r: 2 es un número impar.(F)
a) p ↔ q : (V)
b) p ↔ r : (F)
* Si p ↔ q es verdadera, entonces las proposiciones p y q son equi-
valentes.
1. P(p, q) : p∧q
2. P(p, q) : p ∧ q′
p p p∧p
V V V Contingencia
F F F
2. p ∨ p′
p p′ p ∨ p′
V F V Tautologı́a
F V V
p q r (p ∧ q) (q ∧ r) (p ∧ q) ∧ r [(p ∧ q) ∧ r] ↔ [p ∧ (q ∧ r)] p ∧ (q ∧ r)
V V V V V V V V
V V F V F F V F
V F V F F F V F
V F F F F F V F
F V V F V F V F
F V F F F F V F
F F V F F F V F
F F F F F F V F
Def:
Ejemplos:
1. p : (∀x)(x ∈ R)(x2 ≥ 0)
∼ p : (∃x)(x ∈ R)(x2 6≥ 0) ∨ (∃x)(x ∈ R)(x2 < 0)
Usando otra notación
p : (∀x)(x ∈ R ⇒ x2 ≥ 0)
∼ p : (∃x)(x ∈ R ∧ x2 < 0)
1.8.2. Contrarecı́proco (∼ T ⇒∼ H)
Consiste en suponer que la tesis es falsa (e. d. ∼ T es verdadera), y se
debe concluir que la hipótesis es falsa (e. d. ∼ H es verdadera).
Ejem: Sea p(x): Si x ≥ 0, entoces x + 1 ≥ 0.
H : x ≥ 0, ası́ ∼ H : x < 0
T : x + 1 ≥ 0, ası́ ∼ T : x + 1 < 0
1.8.4. Contraejemplo
Este método es usado sólo para demostrar la falsedad de una proposición
y no su certeza.
Consiste en buscar un ejemplo en el cual se verifica la hipótesis, pero no
la tesis (e. d. la tesis es falsa).