LÓGICA Y TEORÍA DE

CONJUNTOS
Docente: Carolina Gómez Bravo
1. Lógica
• La lógica es la rama del conocimiento que aborda los métodos de razonamiento mediante
reglas y técnicas, con el fin de determinar si un argumento es válido.
• El lenguaje, en sentido estricto es un sistema convencional de signos, sirven para afirmar o
negar.

• Operaciones con proposiciones.

• Así como en aritmética se estudian las operaciones entre números, la lógica estudia las
operaciones entre proposiciones.
• Una proposición es un enunciado u oración declarativa de la cual se puede afirmar que es
falsa o verdadera, pero no ambas cosas a la vez.
• La veracidad o falsedad de una proposición es lo que se denomina su “valor de verdad”, es
decir si la proposición es falsa o verdadera.
• Ejemplo:
• p : el ser humano es mortal q : El día tiene 24 horas
• Si una proposición es verdadera, diremos que su valor de verdad es V y si es falsa, diremos
que su valor de verdad es F.
• Función Proposicional o proposición abierta: proposición en que el sujeto está
dado en forma simbólica y puede ser reemplazado por algunos de los elementos
de un conjunto fijado anteriormente.

• Ejemplo: p(x) : x es un número primo con 𝑥 ∈ 𝐼𝑁

• Cada vez que la variable “x” sea reemplazada por un elemento del conjunto, en
este caso IN, la función p(x) pasa a ser una proposición y tiene su valor de verdad.
• Si x = 2 “2 es un número primo” es V.
• Si x = 4 “4 es un número primo” es F.

• Las funciones proposicionales pueden tener más de una variable.

1.1 Conectores Lógicos
• Negación: La negación de una proposición es aquella que
modifica la proposición dándole el sentido contrario. Se
obtiene anteponiendo la palabra “no” a la proposición p.
• La negación de p se simboliza “–p, ¬p, ~p” y se lee “no p”.
Podemos resumir esta conclusión en la tabla de verdad a la
derecha.
• Ejemplo:
• p : 10 es mayor que 4
• ~p : 10 no es mayor que 4
• ~p : es falso que 10 es mayor que 4
• Las proposiciones simples definidas pueden dar origen a
otras proposiciones (compuestas) utilizando diversos
conectores lógicos
1.1 Conectores Lógicos
• Conjunción: conjunción o producto lógico, que resulta de
reunir dos proposiciones para obtener una tercera. Solo
es verdadera si ambas proposiciones lo son. Su tabla de
verdad es:

• Disyunción inclusiva: De la misma manera que antes

pero relacionando las proposiciones con una “o ”, se
tiene la disyunción inclusiva o suma lógica débil, que se
simboliza p ∨ q, y que se lee “p o q ”. La proposición p ∨
q es falsa solamente si las dos proposiciones p y q son
falsas, siendo verdadera en todos los demás casos. Su
tabla de verdad es:
1.1 Conectores Lógicos
• Disyunción exclusiva. La disyunción exclusiva o suma
lógica fuerte entre las proposiciones p y q se simboliza p
∨ q. La veracidad de esta proposición es falsa si las
proposiciones componentes son ambas verdaderas o
ambas falsas, y verdadera si ellas tienen distinto valor de
verdad. La proposición p ∨ q equivale a decir “p o bien q
”. Su tabla de verdad es:

• Condicional o implicación. Otra operación muy

importante entre proposiciones es el condicional o
implicación que se simboliza p ⇒q. En el lenguaje
hablado tiene la forma “si p, entonces q ” o también “p
implica q ”. Ésta es falsa solamente cuando p es
verdadera y q falsa. Su tabla de verdad es:
1.1 Conectores Lógicos

• Bicondicional o doble implicación. El bicondicional o

doble implicación p ⇔ q se define como (p ⇒ q) ∧ (q ⇒
p), es decir, la conjunción de dos condicionales, y es
verdadera cuando p y q tienen el mismo valor de
verdad. La expresión coloquial es “p si y sólo si q ”. Su
tabla de verdad:
• Ejemplo de proposición compuesta

Proposición: La UTEM y UMCE son universidades estatales

Separación:
p: La UTEM es universidad estatal
q: La UMCE es universidad estatal

Lenguaje lógico matemático: 𝑝∧𝑞

• Tautología: una tautología es una proposición compuesta cuyo valor
de verdad es siempre verdadero(V) para cualquier combinación de los
valores de verdad de las proposiciones simples que la componen.
• Contradicción: una contradicción es una proposición compuesta cuyo
valor de verdad es falso (F) para cualquier combinación de los valores
de verdad de las proposiciones simples que la componen.
• Contingencia:
Ejercitando:
1) Determinar cuáles de las siguientes expresiones del lenguaje son proposiciones y cuál
es su valor de verdad:
a) Un día tiene 24 horas
b) ¿Qué hora es?
c) Voy a salir, vuelvo más tarde
d) El caballo pertenece al reino animal
f) Cierra la ventana
g) Covid19 es un virus
h) Mañana es martes
i) ¿Qué hace Pedro Pascal para sobrevivir?
k) Argentina se ubica en el continente europeo.
l) Cinco es un número impar.
Ejercitando:
1) Determinar cuáles de las siguientes expresiones del lenguaje son proposiciones y cuál
es su valor de verdad:
a) Un día tiene 24 horas V
b) ¿Qué hora es?
c) Voy a salir, vuelvo más tarde
d) El caballo pertenece al reino animal V
f) Cierra la ventana
g) Covid19 es un virus V
h) Mañana es martes F (porque hoy es jueves)
i) ¿Qué hace Pedro Pascal para sobrevivir?
k) Argentina se ubica en el continente europeo. F
l) Cinco es un número impar. V
2) María escribe 3 proposiciones lógicas en su cuaderno, donde se sabe que dos de ellas
son falsas. Si las proposiciones son:
• Mi papá juega fútbol
• Mi madre juega tenis
• Mi papá no juega fútbol

¿Cuál de las siguientes proposiciones podemos asegurar que es verdadera?

a) Mi papá juega fútbol.
b) Mi papá no juega fútbol.
c) Mi madre juega tenis.
d) Mi madre no juega tenis.
2) María escribe 3 proposiciones lógicas en su cuaderno, donde se sabe que dos de ellas
son falsas. Si las proposiciones son:
• Mi papá juega fútbol
• Mi madre juega tenis
• Mi papá no juega fútbol

¿Cuál de las siguientes proposiciones podemos asegurar que es verdadera?

a) Mi papá juega fútbol.
b) Mi papá no juega fútbol.
c) Mi madre juega tenis.
d) Mi madre no juega tenis.

P: Mi madre juega tenis (F) por lo tanto su negación ¬p : Mi madre no juega tenis (V)
3) Considere las siguientes proposiciones en el conjunto de los números naturales:
p: 5 es menor que 10
q: 25 es divisible por 4
¿Cuál o cuáles de las siguientes proposiciones tiene un valor de verdad Falso?
A) ~p
B) ~q
C) p ∧ q
D) ~p ∧ ~q
E) p ⟹ q
F) q ⟹ p
G) p ∨ q
H) ~p ∨ ~q
3) Considere las siguientes proposiciones en el conjunto de los números naturales:
p: 5 es menor que 10 V
q: 25 es divisible por 4 F
¿Cuál o cuáles de las siguientes proposiciones tiene un valor de verdad Falso?
A) ~p
B) ~q
C) p ∧ q
D) ~p ∧ ~q
E) p ⟹ q V⟹F F
F) q ⟹ p F⟹V V
G) p ∨ q

H) ~p ∨ ~q
Ejercicios
1.- Determine si las siguientes expresiones son o no proposiciones. Si lo son,
determine su valor de verdad.

a) p : Rembrandt es un pintor famoso

b) q : La velocidad se define como distancia recorrida en un tiempo dado.
c) r : El 25% de 400 es 200
d) s : Las gallinas son mamíferos
e) t : Vengan a tomar el té
f) u : 13 es un número par.
g) v : Pintemos esa casa
h) w : 25 es la décima parte de 250.
Desarrollo ej 1:
1.- Determine si las siguientes expresiones son o no proposiciones. Si lo son, determine
su valor de verdad.

a) p : Rembrandt es un pintor famoso Proposición V

b) q : La velocidad se define como distancia recorrida en un tiempo dado. Proposición V
c) r : El 25% de 400 es 200 Proposición F
d) s : Las gallinas son mamíferos Proposición F
e) t : Vengan a tomar el té. No es proposición
f) u : 13 es un número par. Proposición F
g) v : Pintemos esa casa. No es proposición
h) w : 25 es la décima parte de 250. Proposición V
2.- Determine cuáles de las siguientes expresiones son proposiciones
y cuáles son funciones proposicionales.

a) El conjunto de los números naturales es parte de los números reales

b) Un número racional se puede escribir de muchas maneras.
2 5
c) Los racionales 𝑦 son equivalentes.
3 8
3
d) x perteneciente a Q es equivalente a .
4
e) El número entero x se puede escribir como un racional.
f) α es un ángulo agudo.
g) 60° es el suplemento de 120°.
h) Los enteros x e y son factores de 15
• Respuestas ej 2

• a) Proposición V
• b) Proposición V
• C) Proposición F
• D) Función Proposicional
• E) Proposición
• F) Función Proposicional
• G) Proposición V
• H) Función Proposicional
3.- Sea A el conjunto de todos los seres humanos. Sean las siguientes proposiciones.

a) 𝑝 ∶ ∀ℎ1 ∈ 𝐴, ∃! ℎ2 ∈ 𝐴 / ℎ2 𝑒𝑠 𝑝𝑎𝑑𝑟𝑒 𝑑𝑒 ℎ1 .
b) q ∶ ∃ℎ3 ∈ 𝐴, ∀ ℎ4 ∈ 𝐴 / ℎ3 𝑒𝑠 ℎ𝑒𝑟𝑚𝑎𝑛𝑜 𝑑𝑒 ℎ1 .
c) 𝑟 ∶ ∀ ℎ ∈ 𝐴, ℎ 𝑒𝑠 𝑚𝑜𝑟𝑡𝑎𝑙.
d) s ∶ ∃ℎ ∈ 𝐴, ℎ 𝑒𝑠 𝑚𝑜𝑟𝑡𝑎𝑙.
• Respuestas ej 3
a) Para todo ser humano existe un único padre V
• Para todo hombre existe un único padre
a) Existe un hermano para todo ser humano
• Existe un hermano para todas las personas
• Todo ser un humano tiene un hermano. F
a) Todo ser humano es mortal V
• Todos los humanos son mortales
a) Existen seres humanos mortales. V
• Existe un ser humano que es mortal
 4.- Sean las siguientes funciones proposicionales:
P(x) : x es mayor que -3 y menor que 2
Q(x) : x es mayor que -1 y menor que 4
R(x) : x es mayor que 0 y menor que 1
1. S(x) : x es mayor que 3 y menor que 5
Para las siguientes proposiciones, determine el valor de verdad y dé un ejemplo de las
verdaderas.
• Finalmente encontrar el valor deseado
• Luego completamos las intersecciones
Para esto realizamos la operación:
250 – ( 70 + 40 + 10 + 30 + 50 + 0 + 0)= 50
Por lo tanto, la respuesta sería que 24 niños no toman helado.