Lógica proposicional

Teoría de conjuntos
Profesor:
Ernesto García Alvino

2023
 Lógica proposicional Ejemplos:
p: César Vallejo fue Chileno
Conceptos previos q: 2 + 3 = 5
r: El 2 es un número impar
Enunciado
Es toda frase u oración utilizado en nuestro Negación de una proposición
lenguaje diario. Esta proposición cambia el valor de una
Ejemplos: proposición.
Símbolo: ~p
• ¿Cuándo acabara esta pandemia?
Se lee: "Es falso que p", "no p"
• Ojala no te infectes de Covid 19. Tabla de verdad:
• No salgas de tu casa.
• En el mes de abril aumentaron los infectados de
Covid 19 en el Perú.

Proposición Ejemplo:
Es un enunciado u oración que tiene el carácter de p: París es la capital de Perú
ser verdadero o falso. Se denota por letras ~p: Es falso que París sea la capital de Perú
minúsculas tales como: p, q, r, s, ... etc.
Conectivos lógicos y tablas de Conjunción
verdad Símbolo: ∧
Se lee: "y"; "pero"; "a la vez"; "sin embargo"
Disyunción Tabla de valores:
Símbolo: ∨
Se lee: o
Tabla de valores:

Ejemplo:
p: 6 es un número primo (F)
q: 16 + 2 = 18 (V)
Ejemplo:
p ∧ q: 6 es un número primo y 16 + 2 = 18 (F)
p: 6 es menor que 9 (V)
q: 7 es menor que 2 (F)
p ∨ q: 6 es menor que 9 o 7 es menor que 2 (V)
Conectivos lógicos y tablas de Bicondicional
verdad Símbolo: ↔
Se lee: "si y solo si"; "cuando y solo cuando"
Condicional Tabla de valores:
Símbolo: →
Se lee: "Si ... entonces ... " ; "implica que"
Tabla de valores:

Ejemplo:
p: 2 < 4 (V)
q: 2 + 6 < 4 + 6 (V)
p ↔ q: 2 < 4 si y solo si 2 + 6 < 4 + 6 (V)
Ejemplo:
p: 7 es un cuadrado perfecto (F)
q: 4 + 5 = 9 (V)
p → q: Si 7 es un cuadrado perfecto entonces
(4 + 5 = 9 ) (V)
Conectivos lógicos y tablas de Proposiciones
verdad lógicamente equivalentes
Dos proposiciones se llaman EQUIVALENTES
Disyunción exclusiva (o lógicamente equivalentes) si sus tablas de
Símbolo: ∆ o ↮ verdad son idénticas, en cuyo caso se
Se lee: "o bien ... o bien ..."; "o ... o ..." simboliza: ≡
Tabla de valores: Ejemplo:

Ejemplo:
p: 18 es un número par (V)
q: 18 es un cuadrado perfecto (F)
p ∆ q: "o 18 es un número par o 18 es un cuadrado
perfecto" (V)
Tautología Leyes del álgebra proposicional
Es aquella proposición simple o compuesta
A. Ley de Idempotencia:
cuyo valor es siempre verdadero.
p∨p≡p
p∧p≡p
Contradicción B. Ley Conmutativa:
Es aquella proposición simple o compuesta p∨q≡q∨p
cuyo valor es siempre falso. p∧q≡q∧p
C. Ley Asociativa:
(p ∨ q) ∨ r ≡ p ∨ (q ∨ r)
Contingencia (p ∧ q) ∧ r ≡ p ∧ (q ∧ r)
Si la matriz principal de una proposición D. Ley Distributiva:
tiene al menos un valor VERDADERO y al p ∨ (q ∧ r) ≡ (p ∨ q) ∧ (p ∨ r)
menos un valor FALSO, se dice que dicha p ∧ (q ∨ r) ≡ (p ∧ q) ∨ (p ∧ r)
proposición es una contingencia. E. Ley de la Doble Negación:
∼ (∼ p) ≡ p
F. Leyes de Identidad:
p∨V≡V;p∨F≡p
p∧V≡p;p∧F≡F
G. Leyes del Complemento:
p∨∼p≡V
p∧∼p≡F
H. Ley del Condicional:
p→q≡∼p∨q
I. Ley de la Bicondicional:
p ↔ q ≡ (p → q) ∧ (q → p)
p ↔ q ≡ (p ∧ q) ∨ (∼ p ∧ ∼ q)
p ↔ q ≡ ∼ (p ∆q)
J. Ley de Absorción:
p ∨ (p ∧ q) ≡ p
p ∧ (p ∨ q) ≡ p
p ∨ (∼ p ∧ q) ≡ p ∨ q
p ∧ (∼ p ∨ q) ≡ p ∧ q
K. Leyes de "De Morgan"
∼ (p ∨ q) ≡ ∼ p ∧ ∼ q
∼ (p ∧ q) ≡ ∼ p ∨ ∼ q
 Teoría de conjuntos
Idea de conjunto
Se entiende como la colección de objetos bien
definidos, llamados elementos y pueden ser reales,
abstractos o imaginarios.
Relación de pertenencia
Para indicar que un objeto "a" es un elemento del
conjunto "M" se utiliza el símbolo ∈, llamado
símbolo de pertenencia y se escribe:
a ∈ M (a pertenece a M)
La relación de pertenencia se da solamente de
elemento a conjunto.
Relación de inclusión
Se dice que un conjunto A está incluido en B o que
A es un subconjunto de B, si todo elemento de A
es elemento de B, el cual se denota por A ⊂ B.
Simbólicamente se escribe así:
A⊂B⇔x∈A⇒x∈B
Determinación de conjuntos
Por extensión
Es la forma explícita o enumerativa, nombrando
individualmente a todos sus elementos.
Ejemplo:
I. Determine por extensión el conjunto de 5
departamentos del Perú.
P = {Lima, Trujillo, Ica, Tumbes, Amazonas}
Por comprensión
Se consideran las propiedades comunes que
caracterizan a los elementos del conjunto
considerado. Ejemplos:
I. Determinar por comprensión los impares menores
que 81
C = {2x + 1 / x < 40; x ∈ N}
Cardinal de un conjunto
Dado un conjunto, el cardinal es el número de
elementos del conjunto; lo que denotaremos por
n(A). Así, si A tiene "x" elementos:
Cardinal de A = Número de elementos de A
= n(A) = x
Conjuntos numéricos
Igualdad de conjuntos
Dos conjuntos son iguales, si tienen los mismos
elementos. Es decir, todo elemento del primer conjunto
es también elemento del segundo conjunto.
Simbólicamente se define:
A=B⇔A⊂B∧B⊂A
Ejemplo:
{–3; 1} = {1; –3} ó {m; r } = {m; r; r }
Subconjunto de un conjunto
Dados los conjuntos A y B, se dice que A es un
subconjunto de B, si todos los elementos de A son
también elementos de B.
Teorema.
Dado un conjunto finito A, el número de subconjuntos
de A viene dado por:
#Subconjuntos de A = 2𝑛(𝐴)
Operaciones entre conjuntos Intersección de conjuntos
Unión o reunión de conjuntos

Recuerda que …
• Dos conjuntos A y B son comparables si uno de
ellos es subconjunto del otro.
• Dos conjuntos A y B son disjuntos si no tienen
ningún elemento en común.
Operaciones entre conjuntos Diferencia simétrica
Diferencia de conjuntos

Complemento
Conjunto potencia o potencia de un conjunto
Dado un conjunto A, el conjunto potencia de A, denotado por ℘(𝐴) o Pot(A), es aquel conjunto formado por
todos los subconjuntos de A.
Ejemplo:
A = {1; 2; a; b} Subconjuntos propios

℘(𝐴) = { ; {1}; {2}; {a}; {b}; {1; 2}; {1; a}; {1; b}; {2; a}; {2; b}; {a; b}; {1; 2; a}; {1; 2; b}; {1; a; b}; {2; a; b}; A}

Subconjuntos no nulos
Teorema:
Dado el conjunto finito A, el cardinal de la potencia de A viene dado por

n[℘(𝐴)] = 2 𝑛(𝐴)

Además

#Subconjuntos propios = #Subconjuntos no nulos = 2𝑛(𝐴) –1

Problemas propuestos
Problema 1
De los enunciados siguientes:
2
I. 7 es un número racional.
2 2
II. 3a + 2b = 36
III. El producto de dos números irracionales es un
irracional.
IV. Malala Yousafzai es la única mujer pakistaní
en recibir el premio Nobel de la Paz, por ser una
gran activista mundial en defender de los
derechos de la mujer musulmana.
3 3 3
V. Si a – b – c = 0 entonces a + b + c = 3abc.
VI. Me gusta el color azul.
¿Cuáles son proposiciones?
A) 1 B) 4
C) 2 D) 5
Problema 2 Fuman No fuman Total
En una reunión el 44% de los asistentes toman y Toman 11k 44k
el 37% fuman. Si el 25% de los que toman No toman 26k 30k = 84 56k
también fuman y 84 personas no toman ni
fuman, hallar el número total de asistentes a la Total 37k 63k 100k
reunión.
A) 350 B) 280
C) 240 D) 120
Problema 3
Si tenemos las siguientes proposiciones:
p: 0,23 es un número racional.
q: π es un número irracional.
r: El cubo es un prisma.
s: 78 es un número primo.
Determina el valor de verdad de los siguientes
esquemas lógicos:
• (p ↔ ~q) Δ r ( )
• ~r → ~(q ∨ ~s) ( )
• (~s ∨ ~p) ↔ (r ∧ ~q) ( )
• (q → ~p) Δ ~(r → ~s) ( )
A) VVFF B) FVFV
C) VFVV D) FVFF
Problema 4
En un grupo de 80 estudiantes, se encuentra que
las cantidades que estudiaban las diversas
lenguas eran en número de 72, distribuidas de la
siguiente manera:
• Alemán solamente 25
• Español solamente 12
• Francés, pero no alemán ni español, 15
• Alemán y francés 10
• Alemán y español 8
Además, los que estudiaban español y francés
eran tantos como los que estudiaban alemán y
español. Determinar cuántos estudiaban 2
lenguas solamente o estudiaban las 3 lenguas.
A) 14 B) 8
C) 20 D) 18
Problema 5 Simbolizamos
p: Te compro un carro.
Si la proposición: “Te compro un carro si y solo si q: Consigo el contrato.
consigo el contrato; o si no consigo el contrato r: Nos vamos de viaje.
entonces nos vamos de viaje”, es falsa; ¿cuál de Simbolizamos
las siguientes proposiciones es verdadera?
A) Si consigo el contrato entonces te compro un (p ↔ q) ˅ (∼q → r) ≅ F
carro.
B) Nos vamos de viaje.
C) Te compro un carro y nos vamos de viaje.
D) Consigo el contrato y nos vamos de viaje.
Problema 6
El conjunto M tiene 3 elementos menos que el
conjunto N, y el conjunto N posee 896
subconjuntos más que el conjunto M. Determina
la cantidad de subconjuntos propios de N.
A) 15 B) 128
C) 511 D) 1023
Problema 7
Se tienen los conjuntos

Determina la suma de cardinales de los conjuntos

K y L.
A) 17 B) 11
C) 14 D) 18
Problema 8
Si los conjuntos C y D son iguales, hallar la suma
de los elementos del conjunto E.
a b+2
C = {5 – 1; 4 }
D = {124; 64}
3
E = {x / x ∈ N, b ≤ x ≤ a}
A) 36 B) 27
C) 100 D) 80
Problema 9 Simbolizamos
p: Dora trabaja.
De la proposición: “Si Dora trabaja entonces hoy q: Hoy es jueves.
es jueves, pero ve televisión ya que hoy es jueves. r: Dora ve TV.
En consecuencia, hoy no es jueves”. Señale una [(p → q) ˄ (r ˄ q)] → ∼q
proposición equivalente a la anterior. [(∼p ˅ q) ˄ (r ˄ q)] → ∼q
A) Si hoy es jueves entonces Dora no ve ∼[(∼p ˅ q) ˄ (r ˄ q)] ˅ ∼q
televisión. ∼(∼p ˅ q) ˅ ∼(r ˄ q) ˅ ∼q
B) Hoy es jueves ya que Dora ve televisión. [(p ˄ ∼q) ˅ ∼q] ˅ (∼r ˅ ∼q)
C) Dora no ve televisión. ∼q ˅ (∼r ˅ ∼q)
D) Hoy no es jueves o Dora ve televisión. ∼q ˅ ∼r
q → ∼r
Problema 10 [~(p → q) → ~(q → p)] ∧ (q ∨ p)]
Simplifica el siguiente esquema lógico: [(p → q) ∨ ~(q → p)] ∧ (q ∨ p)
[~(p → q) → ~(q → p)] ∧ (q ∨ p)] [(~p ∨ q) ∨ ~(~q ∨ p)] ∧ (q ∨ p)
A) p B) ~p ∨ q [~p ∨ {q ∨ (q ∧ ~p)}] ∧ (q ∨ p)
C) q D) p ∧ q (~p ∨ q) ∧ (q ∨ p)
[(~p ∨ q) ∧ q] ∨ [(~p ∨ q) ∧ p]
q ∨ (q ∧ p)
q
Problema 11
A una ceremonia asistieron 24 señoritas con
cartera, 28 varones con corbata, 40 portaban Casaca No casaca Total
casaca, 17 varones con corbata no tenían casaca,
Corbata 17 28
9 señoritas portaban casaca, pero no tenían
cartera. ¿Cuántos varones con casaca no llevaron Varones
corbata, si 16 señoritas no llevaron cartera ni No corbata
casaca y 28 señoritas no llevaron casaca?
A) 8 B) 9 Cartera 24
C) 11 D) 12 Mujeres
No cartera 9 16

Total 40
Problema 12
Una universidad requiere cubrir 29 cargos
docentes en las áreas de Matemática, Física y
Estadística de la siguiente manera: 13 docentes
en matemática, 13 en Física y 15 en Estadística.
Para cubrir el dictado de dichos cursos se
requiere que 6 dicten Matemática y Física; y 2
dicten Física y Estadística, y 5 docentes dicten
matemática y Estadística. ¿Cuántos docentes se
requiere para el dictado de matemática
únicamente?
A) 2 B) 3
C) 4 D) 6