Documentos de Académico
Documentos de Profesional
Documentos de Cultura
2023
TEMA
LOGICA Y CONJUNTOS
1.1
PROPOSICIONES Y CONECTORES LÓGICOS
2
PROPOSICIONES Y CONECTORES LÓGICOS
3
PROPOSICIONES Y CONECTORES LÓGICOS
Definición:
Definición:
1) Una proposición simple es aquella
Al acto de generar una nueva
que no tiene presencia de conectores
proposición mediante un
lógicos, excepto en la descripción del
conector o conectivo lógico se
sujeto.
le llama Operación Lógica
2) Una proposición compuesta es
aquella que no es simple
Operación Lógica Conectivo usado
Negación ……………… ∼ Son proposiciones simples
Conjunción ……………. ∧
El Perú tiene grandes ciudades
Disyunción ……………. ∨
Juan sabe leer
Condicional …………… →
Raúl es ingeniero civil
Bicondicional …………. ↔
Juan y Sonia son esposos
Disyunción excluyente ... △
4
Ejercicio:
Señale cuales de los siguientes son proposiciones:
I. ¿Por qué no cambias Pedrito?
II. Mi auto se estrelló en pleno puente
III. ¡Soldados ataquemos¡
IV. El número 2 es menor que el número 6
V. En Sullana hay altas temperaturas
VI. Enriqueta es bonita.
5
Ejercicio:
Señale cuales de las siguientes proposiciones son compuestas:
I. Juana y Mario son compañeros en clase de álgebra.
II. Iré siempre a clases dado que saque mala nota en la práctica.
III. Pedro, el que no fue a clases dado que estaba enfermo, hoy
falleció.
IV. O mejoramos las notas o llevamos cursos en marzo
V. Juana ríe, pero esta jalada en el curso de álgebra.
VI. Enrique se pondrá triste si Roberto no va a la reunión.
6
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
Definición: Definición:
Una Fórmula Lógica es la Una Tabla de verdad nos señala el
representación simbólica de una valor de verdad de una fórmula
Proposición, indicándose en el caso lógica, para cada estado de verdad
de una proposición compuesta los que generan las proposiciones
conectivos lógicos que la generan. simples que la conforman.
7
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
p q p∧q
V V V La conjunción es Verdadera solo si
ambas proposiciones son Verdaderas
V F F
F V F
F F F
p q p∨q
V V V La disyunción es Falsa solo si
V F V ambas proposiciones son Falsas
F V V
F F F
8
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
V F
F V
9
FÓRMULAS LÓGICAS Y TABLAS DE VERDAD
p q p↔q p q p∆q
V V V V V F
V F F V F V
F V F F V V
F F V F F F
10
Ejercicio :
Elabore la tabla de verdad de la siguiente proposición compuesta:
(p∨q)
→
(p∧q)
p q (p∨q) → (p∧q)
V V V V V
V F V F F
F V V F F
F F F V F
11
Ejercicio
Señale los valores de Verdad de p, q, r, s, t si la siguiente
proposición compuesta presentada como fórmula lógica es
Falsa: [p ∧∼ q] → [r → (s ∨∼ t)]
12
EQUIVALENCIAS LÓGICAS. TAUTOLOGÍA Y CONTRADICCIÓN
Ejemplos
p q p→q ~p ∨ q p q p ∨ (p ∧ q) p
V V V F V V V V V V V V
V F F F F F V F V V F V
F V V V V V F V F F F F
F F V V V F F F F F F F
p→ q es equivalente a ~p ∨ q p ∨ (p ∧ q) es equivalente a p
p→ q ≡ ~p ∨ q p ∨ (p ∧ q) ≡ p
13
EQUIVALENCIAS LÓGICAS, TAUTOLOGÍA Y CONTRADICCIÓN
Definición: Definición:
Una Fórmula Lógica es Tautología Una Fórmula Lógica es Contradicción
si es Verdadera en cualquier estado si es Falsa en cualquier estado de
de Verdad generado por las Verdad generado por las proposiciones
proposiciones que la conforman. que la conforman.
Ejemplo Ejemplo
p q (p → q) ∨ p p q ~ (p → q) ∧ q
V V V V V V V F V F V
V F F V V V F V F F F
F V V V F F V F V F V
F F V V F F F F V F F
(p → q) ∨ p es Tautología (p → q) ∨ p es Contradicción
(p → q) ∨ p ≡ V (p → q) ∨ p ≡ V
p q (p ∧q) → p ( ~p ∨ q ) ↔( p → q ) q ∧ ~( p → q )
V V V V V F V V V V V F F V
V F F V V F F F V F F F V F
F V F V F V V V V V V F F V
F F F V F V V F V V F F F V
15
ÁLGEBRA PROPOSICIONAL
1a. p∨p≡p 1b. p∧p≡p
2a. p∨q ≡q∨p 2b. p∧q≡q∧p
3a. p ∨ (q ∨ r) ≡ (p ∨ q) ∨ r 3b. p ∧ (q ∧ r) ≡ (p ∧ q) ∧ r
4a. p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r) 4b. p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
5a. p ∨ ~p ≡ 𝐕 5a. p ∧ ~p ≡ 𝐅
6a. p∨ 𝐕≡𝐕 6a. p∧𝐕≡p
7a. p∨ 𝐅 ≡p 7a. p∧𝐅≡𝐅
Leyes de Morgan
8a. ~(p ∨ q) ≡ ~p ∧ ~q 8b. ~(p ∧ q) ≡ ~p ∨ ~q
Leyes de Absorción
9a. p ∨ (p ∧ q) ≡ p 9b. p ∧ (p ∨ q) ≡ p
16
ÁLGEBRA PROPOSICIONAL
Falsa Absorción
10a. p ∨ (~p ∧ q) ≡ p ∨ q 10b. p ∧ (~p ∨ q) ≡ p ∧ q
Condicional
11. p → q ≡ ~p ∨ q 12. p → q ≡ ~q → ~p
Bicondicional 13. p ↔ q ≡ (p → q) ∧ (q → p)
18
Ejercicio
Simplifique las siguientes fórmulas lógicas
I. ( p ∧ q ) → ( p )
II. q ∧ ~( p → q )
III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
I. ( p∧ q ) →( p II. q ∧ ~( p → q ) III. [ ( p ∧ ~q ) → q ] ∧ ( p ∨ q )
)
≡(~p ∨ ~q ) ∨ p ≡ q ∧ ~(~p ∨ q ) ≡[ (~ p ∨ q ) ∨ q ] ∧ ( p ∨ q )
≡(~p ∨ p ) ∨ ~q ≡ q ∧ (~q ∧ p ) ≡[ ~ p ∨ q ] ∧ ( p ∨ q )
≡ V ∨ ~q ≡ ( q ∧ ~q ) ∧ p ) ≡(q∨~p)∧(q∨p)
≡V ≡F∧p ≡q∨(~p∧ p)
≡F ≡q∨F
≡q
19
CONJUNTOS
Ejemplo
Función Proposicional
Obs: Solo los elementos que hacen
verdadera la función proposicional son
elementos de A
20
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO
RELACIÓN DE PERTENENCIA
Definición: Se dice que x pertenece a A (x ∈ A) si x es elemento de A
Observación: x ∉ A ⟺ ~(x ∈ A)
21
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO
22
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO
RELACIÓN DE INCLUSIÓN
ℚ ℝ\ℚ
ℤ
ℝ
ℂ
24
RELACIONES DE PERTENENCIA E INCLUSIÓN. EL VACÍO Y EL UNIVERSO
IGUALDAD DE CONJUNTOS
Concepto: Se dice que el conjunto A es igual a B (A = B) si ambos
conjuntos tienen los mismos elementos
Ejemplo Sean: A = { x ∈ ℕ /𝑥 ≤ 4}
B = {1; 2; 3;4}
Se tiene que A=B
SUBCONJUNTOS
Definición: Se dice que el conjunto A es subconjunto de B si A ⊂ B
26
Ejercicio:
Dado el siguiente conjunto A = { 2 ; 4 ; 5; 4 ; 2; 2; 4 }
Señale el valor de Verdad de las siguientes proposiciones
I. {4} ∈ A
II. {4} ⊂ A
III. {2; 5} ∈ A
IV. {2; 4} ∈ A
V. {2; 5} ⊂ A
VI. {2; {4}} ⊂ A
VII. {2; {5}} ⊂ A
VIII. { 2; 4 } ∈ A
27