Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
NOTAS DE CLASE
POPAYÁN 2017
CONTENIDO
1 LÓGICA
1.1 PROPOSICIONES LÓGICAS
1.2 TIPOS DE PROPOSICIONES
1.2.1 PROPOSICIONES SIMPLES
1.2.1.1 VALORES DE VERDAD
1.2.1.2 NEGACIÓN
1.2.2 PROPOSICIONES COMPUESTAS
1.2.2.1 CANTIDAD DE VALORES DE VERDAD
1.2.2.2 OPERACIONES LÓGICAS
1.2.2.2.1 CONJUNCIÓN
1.2.2.2.2 DISYUNCIÓN
1.2.2.2.3 DISYUNCIÓN EXCLUSIVA
1.2.2.2.4 CONDICIONAL
1.2.2.2.5 BICONDICIONAL
1.2.2.3 TABLAS DE VERDAD
1.3 CUANTIFICADORES
1.3.1 CUANTIFICADOR UNIVERSAL ∀
1.3.2 CUANTIFICADOR EXISTENCIAL Ǝ
2 CONJUNTOS
2.1 REPRESENTACIÓN DE UN CONJUNTO
2.2 DETERMINACIÓN DE UN CONJUNTO
2.3 TIPOS DE CONJUNTOS
2.4 RELACIONES ENTRE ELEMENTOS Y CONJUNTOS
2.5 RELACIONES ENTRE CONJUNTOS
2.6 OPERACIONES ENTRE CONJUNTOS
2.6.1 UNIÓN
2.6.2 INTERSECCIÓN
2.6.3 COMPLEMENTO
2.6.4 DIFERENCIA
2.6.5 DIFERENCIA SIMÉTRICA
2.6.6 PRODUCTO CARTESIANO
2.7 PROBLEMAS DE APLICACIÓN
LÓGICA Y CONJUNTOS
LÓGICA
LÓGICA MATEMÁTICA
PROPOSICIONES LÓGICAS
Una proposición lógica es un enunciado del cual podemos afirmar que es verdadero (V)
o falso (F).
Ejemplos:
TIPOS DE PROPOSICIONES
PROPOSICIONES SIMPLES
Son aquellas que constan de enunciados simples, sin incluir referencias a otros
enunciados con palabras tales como y, o , si…entonces…, si y solo si, etc.
Ejemplos:
Hoy es lunes.
Gerardo A. Cajas G. 1
LÓGICA Y CONJUNTOS
VALORES DE VERDAD
Una proposición simple p solamente puede tener uno de dos valores posibles: o es
verdadera o es falsa:
p
V
F
NEGACIÓN
Una proposición simple p se puede negar, de tal forma que si p es verdadera su negación
será falsa y si p es falsa entonces su negación será verdadera. La negación se representa
con el símbolo ~ (virgulilla).
p ~p
V F
F V
PROPOSICIONES COMPUESTAS
Son aquellas que se forman a partir de proposiciones simples unidas por palabras tales
como: o, y, si…entonces…si y solo si, etc.
Ejemplos:
OPERACIONES LÓGICAS
Con las proposiciones es posible definir varias operaciones, entre las más utilizadas
están las siguientes:
Gerardo A. Cajas G. 2
LÓGICA Y CONJUNTOS
p
V
F
V p q
V V V
F
V F
V F V
F
F F F
p q r
V V V
V V F
V F V
V F F
F V V
F V F
F F V
F F F
Gerardo A. Cajas G. 3
LÓGICA Y CONJUNTOS
TABLAS DE VERDAD.
Entre dos proposiciones simples se aplican las operaciones teniendo en cuenta las
siguientes tablas de valores de verdad:
Conjunción:
p q pʌq
V V V
V F F
F V F
F F F
Disyunción:
p q pvq
V V V
V F V
F V V
F F F
Disyunción exclusiva:
p q pvq
V V F
V F V
F V V
F F F
Condicional:
p q p→q
V V V
V F F
F V V
F F V
Gerardo A. Cajas G. 4
LÓGICA Y CONJUNTOS
Bicondicional:
p q p↔q
V V V
V F F
F V F
F F V
EJERCICIOS
Gerardo A. Cajas G. 5
LÓGICA Y CONJUNTOS
CÁLCULO PROPOSICIONAL.
Haciendo uso de estas tablas de verdad es posible evaluar el valor de verdad de una
proposición compuesta.
Ejemplos:
1) p v ~p
Solución:
p v ~ p
V V F V
F V V F
2) q ↔ ~q
Solución:
q ↔ ~ q
V F F V
F F V F
Gerardo A. Cajas G. 6
LÓGICA Y CONJUNTOS
3) ~ (p ʌ q)
Solución:
~ (p ʌ q)
F V V V
V V F F
V F F V
V F F F
EJERCICIOS
Gerardo A. Cajas G. 7
LÓGICA Y CONJUNTOS
CUANTIFICADORES
CUANTIFICADOR UNIVERSAL ∀
Cuando todos los elementos cumplen una proposición p podemos expresarlo mediante
el cuantificador universal así:
∀𝑥(𝑝) Para todo x se cumple p
Ejemplo:
∀𝑥 ∈ ℕ, 𝑥∈ℤ
CUANTIFICADOR EXISTENCIAL Ǝ
Ejemplo:
Ǝ𝑥 ∈ ℝ, 𝑥∉ℚ
Ejemplo:
Ǝ! 𝑥 ∈ ℤ, 𝑥 𝑒𝑠 𝑝𝑎𝑟 ʌ 𝑥 es primo
Gerardo A. Cajas G. 8
LÓGICA Y CONJUNTOS
Ejemplo:
∃𝑥(𝑝) ⇔ ~ [∀𝑥(~𝑝)]
Ejemplo:
TEOREMAS DE DEMORGAN
~∀𝑥(𝑝) ⇔ ∃𝑥(~𝑝)
~∃𝑥(𝑝) ⇔ ∀𝑥(~𝑝)
Ejemplo 1:
Ejemplo 2:
Gerardo A. Cajas G. 9
LÓGICA Y CONJUNTOS
CONJUNTOS
Elemento es cada una de las unidades que forma parte del conjunto.
TIPOS DE CONJUNTOS
REPRESENTACIÓN DE UN CONJUNTO
Los conjuntos generalmente se nombran con letras mayúsculas y los elementos con
letras minúsculas, números o símbolos.
Ejemplo: V={a,e,i,o,u}
Ejemplo:
U
V
a
e
i
o
u
Gerardo A. Cajas G. 10
LÓGICA Y CONJUNTOS
DETERMINACIÓN DE UN CONJUNTO
Ejemplo: V={a,e,i,o,u}
Ejemplo:
EJERCICIOS
A= {x∈ ℕ | 2≤ 𝑥 ≤ 5}
B= {x∈ ℤ | -4 < 𝑥 ≤ 3}
Pertenencia
No pertenencia
Gerardo A. Cajas G. 11
LÓGICA Y CONJUNTOS
Inclusión
Para indicar que un conjunto A está incluido dentro de otro conjunto B, es decir que A
es subconjunto de B, se escribe: 𝐴 ⊂ 𝐵
No inclusión
Para indicar que un conjunto A está incluido dentro de otro conjunto B, es decir que A
es subconjunto de B, se escribe: 𝐴 ⊄ 𝐵
B B
A A
A⊂B A⊄B
UNIÓN
Gerardo A. Cajas G. 12
LÓGICA Y CONJUNTOS
INTERSECCIÓN
A ∩ 𝐵 = {5}
COMPLEMENTO
𝐴̅ = {𝑥|𝑥 ∈ 𝑈 ∧ 𝑥 ∉ 𝐴}
𝐴̅ = {1,3,5,7,9}
EJERCICIOS
Gerardo A. Cajas G. 13
LÓGICA Y CONJUNTOS
DIFERENCIA
B−𝐴 = {𝑥|𝑥 ∈ 𝐵 ∧ 𝑥 ∉ 𝐴}
A-B={0,1,2,3} B-A={6,7,8,9}
DIFERENCIA SIMÉTRICA
A△B ={0,1,3,4,5,6,7,8,9}
Gerardo A. Cajas G. 14
LÓGICA Y CONJUNTOS
PRODUCTO CARTESIANO
A B
1
2
3
4
5
EJERCICIOS:
Gerardo A. Cajas G. 15
LÓGICA Y CONJUNTOS
Ejemplo 1:
Solución:
J I
60 30 70
0
150
EJERCICIOS:
1. En un zoológico hay 45 aves que son a la vez de corral y ornamentales, hay 70 aves
de corral y 130 aves ornamentales; también hay 310 aves que no son de corral ni
ornamentales. ¿Cuántas aves hay en el zoológico?
Gerardo A. Cajas G. 16
LÓGICA Y CONJUNTOS
Ejemplo 2:
M E
3 4
2
4 5
1
2
B
EJERCICIOS
Gerardo A. Cajas G. 17
LÓGICA Y CONJUNTOS
SÍMBOLOS MATEMÁTICOS
Operaciones lógicas:
SÍMBOLO SIGNIFICADO
~ Negación
ʌ Conjunción
v Disyunción
v Disyunción exclusiva
→ Condicional
↔ Bicondicional
Cuantificadores
SÍMBOLO SIGNIFICADO
∀ Cuantificador Universal
∃ Cuantificador Existencial
∃! Cuantificador Existencial exclusivo o único
SÍMBOLO SIGNIFICADO
⋃ Unión
∩ Intersección
̅ Complemento
- Diferencia
△ Diferencia simétrica
x Producto cartesiano
Conjuntos numéricos:
SÍMBOLO SIGNIFICADO
ℂ Números complejos
ℕ Números naturales
𝕀 Números imaginarios
ℕ𝟎 Números cardinales (naturales y 0)
ℚ Números racionales
ℚ′ Números irracionales
ℝ Números reales
ℤ Números enteros
Gerardo A. Cajas G. 18