Ejercicio 1: Proposiciones:

c)

p: El Papa Francisco vino a Colombia

q: El Papa Francisco estuvo en la Guajira

r: El Papa Francisco estuvo sólo un día en Colombia

[(� ↔ �) ↔ �] → ¬�

ítems:

• Escriba la proposición compuesta propuesta en lenguaje natural:

El Papa Francisco estuvo sólo un día en Colombia si y solamente si el Papa Francisco estuvo en la
Guajira, si y solamente si el Papa Francisco vino a Colombia, entonces el Papa Francisco No estuvo
sólo un día en Colombia.

• Determinar el valor de verdad de las proposiciones simples:

p: V

q: F

r: F

• Determinar el valor de verdad de la proposición compuesta:

[(� ↔ �) ↔ �] → ¬�

[(F ↔ F) ↔ V] → ¬V

[V↔ V] → ¬V

V → ¬V

V
Ejercicio 2: Tablas de verdad
c) Empresas estadounidenses No pueden negociar con empresas chinas o Google es una
empresa estadounidense; y Si Huawei es una empresa china entonces No tiene Android de
Google.
• Definir las proposiciones simples del argumento.
p: Empresas estadounidenses pueden negociar con empresas chinas.
q: Google es una empresa estadounidense
r: Huawei es una empresa china.
s: Tiene Android de Google.
• Definir la expresión del argumento en lenguaje simbólico o formal.
(¬p v q) ∧ (r → ¬S)

• Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje simbólico

p q r s (~p ∨ q) ∧ (r→~s)
v v v v F
v v v f V
v v f v V
v v f f V
v f v v F
v f v f F
v f f v F
v f f f F
f v v v F
f v v f V
f v f v V
f v f f V
f f v v F
f f v f V
f f f v V
f f f f V

• Generar una tabla de verdad manualmente a partir del lenguaje simbólico y determinar si el
resultado es una tautología, contingencia o contradicción.

p q r s ¬p ¬s (¬p V q) (r → (¬p V q) ∧ (r →
¬s) ¬s)

v v v v f f v f f
v v v f f v v v v
v v f v f f v v v
v v f f f v v v v
v f v v f f f f f
v f v f f v f v f
v f f v f f f v f
v f f f f v f v f
f v v v v f v f f
f v v f v v v v v
f v f v v f v v v
f v f f v v v v v
f f v v v f v f f
f f v f v v v v v
f f f v v f v v v
f f f f v v v v v

El resultado es una contingencia.

Ejercicio 3: Teoría de conjuntos

• Determine la operación entre conjuntos, representada en el diagrama de venn seleccionado

(notación entre conjuntos).

U: Alumnos del colegio maría auxiliadora

A: Alumnos del colegio R que practican futbol

B: Alumnos del colegio R que practican baile

C: Alumnos del colegio R que practican comedia

3.
Operación entre conjuntos (notación):

 A∩B = {x:x∈A ∧ x∈B}

 Exprese la notación del diagrama de venn seleccionado en palabras:

La selección en el diagrama de Venn-Euler, corresponde a los alumnos del colegio Maria

auxiliadora que practican futbol y baile al mismo tiempo.

Ejercicio 4: Aplicación de la Teoría de Conjuntos:

A partir del diagrama de Venn-Euler que el estudiante haya

seleccionado, el estudiante deberá:

 Definir los nombres de los conjuntos del diagrama de venn.

Por ejemplo:
U = Atletas colombianos que participaran en los olímpicos de 2016
A= Atletas que ganaron medalla de oro
B= Atletas que ganaron medalla de plata
C= Atletas que ganaron medalla de bronce
 Con los datos dados en el diagrama de ven escogido, plantee con
sus propias palabras, un ejercicio típico de aplicación de teoría de
conjuntos, formulando los interrogantes correspondientes a las
operaciones entre conjuntos dadas a continuación y dar las
respectivas respuestas:
Para el año 2016 un grupo de atletas colombianos participaron en
los juegos olímpicos, algunos de ellos ocuparon primer, segundo o
tercer puesto en su respectiva disciplina. Por lo tanto, a partir de
la información dada en el diagrama de ven, resuelva:
c
 A ∩B
Atletas que no ganaron medalla de oro y que ganaron
medalla de plata.
A ∩ B = 9 + 16 = 25
c

 ( A−B ) ∪ ( B− A )
Atletas que ganaron medalla de oro o atletas que ganaron
medalla de plata pero que no ganaron las dos medallas (Oro
y plata) en los mismos juegos.
( A−B ) ∪ ( B− A ) = (8+0+9+16) = 33

 ( B ∪C )c
 Atletas que no ganaron medalla de plata ni de bronce o que
no obtuvieron ninguna de los tres tipos de medallas.
( B ∪C )c = 8 + 7= 15

 A ∪B ∪C
Atletas que ganaron medalla de oro o plata o bronce.
A ∪B ∪C = 8 + 12 + 2+ 0 +9 +16 + 22 = 69