DESARROLLO DEL TRABAJO FINAL

BANCO DE PROBLEMAS

En los numerales (1), (2) aplicar las propiedades y las operaciones con
conjuntos y validar los procesos con el uso de Diagramas de Venn para la
solución de cada problema:
PROBLEMA 1
1. En una encuesta realizada a 150 personas, sobre sus preferencias de tres
productos A, B y C, se obtuvieron los siguientes resultados: 82 personas
consumen el producto A, 54 el producto B, 50 consumen únicamente el
producto A, 30 solo el producto B, el número de personas que consumen
solo B y C es la mitad del número de personas que consumen solo A y C, el
número de personas que consumen solo A y B es el tripe del número de las
que consumen los tres productos y hay tantas personas que no consumen
los productos mencionados como las que consumen solo C. Determina a) el
número de personas que consumen solo dos de los productos, b) el número
de personas que no consumen ninguno de los tres productos, c) el número
de personas que consumen al menos uno de los tres productos.

DATOS

A: 82 personas consumen el producto A

B: 54 el producto B
A: 50 consumen únicamente el producto A
B: 30 solo el producto B
B y C: es la mitad del número de personas que consumen solo A y C
A y B: es el tripe del número de las que consumen los tres productos
Y hay tantas personas que no consumen los productos mencionados como
las que consumen solo C.
 SOLUCION
 Como primer paso hay que hallar C
Entonces tenemos que aplicando las operaciones y propiedades
con conjuntos tenemos
(A - X) + (B - X) = 150 – X
(82 – X) + (54 – X) = 150 – X
X = 150 – 136
X = 14
C= 150 – 14
C= 136
 Como segundo paso hay que hallar “Solo” C
(A - X) + (B - X) = 150 – X
(50 – X) + (30 – X) = 150 – X
X = 150 – 80
X = 70
C= 150 – 70
C = 80

Ahora teniendo el resultado de C y Solo C desarrollamos el problema

TERCER PASO
1. Hallar solo los que consumen los tres productos ABC
ABC
(A - X) + (B - X) + (C – X) = 150 – X
(50 - X) + (30 - X) + (80 – X) = 150 – X
50 - X + 30 - X + 80 – X = 150 – X
-3X + 160 = 150 – X
160 – 150 = -X + 3X
10
=x
2
X=5 ABC = 5
2. Hallar Solo B y C
Nos dice que solo B y C es la mitad de Solo A y C
Entonces debemos que hallar BC y Solo BC y sabiendo que hay tantas
personas que no consumen los productos mencionados como las que
consumen solo C.

Para tener en cuenta

 Solo C = a las personas que no consumen los productos
mencionado
No consumen = Solo C = 80
 Para operar debemos tener al número de personas que no
consumen los productos mencionados

Hallar Solo BC = ½ (AC)

BC = (50 + 80 + 80)
BC = 210
Hallar BC
BC = (82 + 80 + 136)
BC = 298
Resta o diferencia de BC y Solo BC
298 – 210 = 88
Ahora
Solo BC = ½ (AC)
BC = ½ (88)
BC = 44
3. Hallar Solo A y B
Nos dice que solo A y B es el tripe del número de las que consumen
los tres productos
AB = 3 (ABC)
AB = 3 (5)
 AB = 15

CUARTO PASO
4. Debemos hallar Solo A y C para poder completar el diagrama de
Venn

Teniendo en cuenta el punto 2 aplicamos

Hallar A y C
AC = (82 + 136 + 80)
AC = 298
Hallar Solo A y C
AC = (50 + 80 + 80)
AC = 210
Diferencia de AC y Solo AC
298 – 210 = 88
AC = 88

DIAGRAMA DE VENN
 Nótese también que AB = 88 es su resultado y A es 82 entonces el
restante se lo agregamos a C 88 – 82 es 6

Por lo tanto
Sumando los valores dentro de ABC

10+5+73+39+13 = 140
Del total 150
Entonces la diferencia de
150 – 140 = 10

SOLUCIONANDO LAS PREGUNTAS

Determina
a) El número de personas que consumen solo dos de los productos
Solo los que consumen dos productos
AB = 10
BC = 39
AC = 73
b) El número de personas que no consumen ninguno de los tres
productos
El número de personas que no consumen nada es 10
Porque la diferencia de 150 – 140 = 10
c) El número de personas que consumen al menos uno de los tres
productos
Personas que consumen al menos uno producto de los tres
Solo C = 13 personas consumen este producto.

PROBLEMA 2

2. En una encuesta a 200 estudiantes unadistas se encontró que 68

habían tomado cursos de Lógica, 138 habían tomado cursos de Inglés
 y 160 cursos de Álgebra; 120, cursos de Inglés y de Álgebra; 20 cursos
de Lógica pero no de Inglés; 13 cursos de Lógica pero no de Álgebra;
15 cursos de Lógica y de Álgebra pero no de Inglés. ¿Cuántos de los
entrevistados no tomaron cursos de Lógica ni de Álgebra ni de Inglés?
SOLUCION
DATOS

Lógica = 68
Ingles = 138
Algebra = 160
Inglés y Algebra = 120
Lógica pero NO Ingles = 20
Lógica pero No algebra = 13
Algebra y Lógica pero No Ingles = 15

DIAGRAMA DE VENN
Nótese que dice

Lógica pero NO Ingles = 20

Lógica pero No algebra = 13
Entonces 20+13=33
SOLUCIONANDO LA PREGUNTA

¿Cuántos de los entrevistados no tomaron cursos de Lógica ni de Álgebra ni

de Inglés?

Sumando dentro del diagrama

35+18+15+25+120+18= 231

Entonces
Del Total 200 – 231 = 31

Respuesta: 31 de los entrevistados no tomaron cursos de Lógica ni de

Álgebra ni de Inglés.
PROPOSICIONES Y TABLAS DE LA VERDAD
En los numerales (3), (4) identificar todas las expresiones que considera son
proposiciones lógicas simples y también las expresiones que no son
proposiciones. El siguiente paso es identificar proposiciones compuestas. Para
lograr esta identificación, conviene reescribir el texto resaltando los conectivos
lógicos que no están explícitos en la expresión. Declarar las proposiciones
simples, asignando una de las últimas letras del alfabeto para identificarlas.
Finalmente, expresar en lenguaje simbólico las proposiciones simples,
compuestas identificadas; y construir sus tablas de verdad.
PROBLEMA 3
3. Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces
son acogidos por la Protectora. Pero el perrito es abandonado, también el
caballo. Luego, tanto el perrito como el caballo son acogidos por la Protectora.

Identificar las proposiciones simples

p: perro
q: gato
r: caballo
s: son abandonados
t: acogidos por la protectora

DECLARACION DE LAS PROPOSICIONES COMPUESTAS (Lenguaje Natural)

El perro, el gato y el caballo, son abandonados, entonces son acogidos por la
protectora. Pero el perro y el caballo, son abandonados. Entonces el perro y el
caballo son acogidos por la protectora.
DECLARACION DE LAS PROPOSICIONES COMPUESTAS (Lenguaje Formal
o Simbólico)
   {[(pΛqΛr)→s]→t}Λ[(pΛr)→s]→[(pΛr)→t] 
SIMBOLOGIA TRUTH

{[(p&q&r)>s]>t}&[(p&r)>s]>[(p&r)>t]

Truth Table
  p     q     r     s     t    {[(pΛqΛr)→s]→t}Λ[(pΛr)→s]→[(pΛr)→t] 

  T     T     T     T     T   T

T T T T F T
T T T F T T
T T T F F T
T T F T T T
T T F T F T
T T F F T T
T T F F F T
T F T T T T
T F T T F T
T F T F T T
T F T F F T
T F F T T T
T F F T F T
 T F F F T T
T F F F F T
F T T T T T
F T T T F T
F T T F T T
F T T F F T
F T F T T T
F T F T F T
F T F F T T
F T F F F T
F F T T T T
F F T T F T
F F T F T T
F F T F F T
F F F T T T
F F F T F T
F F F F T T
F F F F F T

expression is a tautology
 [(pΛqΛr)→s
   {[(pΛqΛr)→s]→t}Λ[(pΛr)→s]→[(pΛr)→t] 
p q r s t (p ^ q ^ r) (p ^ r) ] [(pΛr)→t] 
  T     T     T     T     T   T T T T T
T T T T F T T T F T
T T T F T T T F T T
T T T F F T T F F T
T T F T T F F T T T
T T F T F F F T T T
T T F F T F F T T T
T T F F F F F T T T
T F T T T F T T T T
T F T T F F T T F T
T F T F T F T T T T
T F T F F F T T F T
T F F T T F F T T T
T F F T F F F T T T
T F F F T F F T T T
T F F F F F F T T T
F T T T T F F T T T
F T T T F F F T T T
F T T F T F F T T T
F T T F F F F T T T
F T F T T F F T T T
F T F T F F F T T T
F T F F T F F T T T
F T F F F F F T T T
F F T T T F F T T T
F F T T F F F T T T
F F T F T F F T T T
F F T F F F F T T T
F F F T T F F T T T
F F F T F F F T T T
F F F F T F F T T T
F F F F F F F T T T
PROBLEMA 4

4. “¿Por qué estamos estudiando en la universidad? Solemos creer que

estamos estudiando en la universidad para tener un empleo. Si tenemos
dinero, entonces podemos adquirir bienes. ¿Son los bienes materiales lo
que más deseamos? Cuando compramos mejores equipos electrónicos, lo
que deseamos es comunicarnos mejor, escuchar y ver mejor a otros seres
humanos, esto es así, porque lo que más deseamos es el cariño sincero y
la compañía inteligente. ¿Qué es lo que ha llevado al ser humano a la
construcción de nuevo conocimiento? La respuesta es: solucionar
problemas para mejorar la calidad de vida de los seres humanos. Con este
fin estamos estudiando en la universidad. Estudiamos para servir.”

Identificación de las proposiciones simples

p: estamos estudiando
q: obtenemos un empleo
r: tenemos dinero por nuestro empleo
s: adquirimos bienes electrónicos
t: nos comunicamos mejor con nuestro seres queridos
u: mejoramos nuestra calidad de vida

DECLARACION DE LAS PROPOSICIONES COMPUESTAS (Lenguaje Natural)

Si estamos estudiando en la universidad, entonces obtenemos un empleo. Si
tenemos dinero por nuestro empleo, entonces adquirimos bienes electrónicos. Nos
comunicamos mejor con nuestros seres queridos, si y solo si tenemos dinero por
nuestro empleo y adquirimos bienes electrónicos. Por lo tanto, si estamos
estudiando, mejoramos nuestra calidad de vida.

DECLARACION DE LAS PROPOSICIONES COMPUESTAS (Lenguaje Formal

o Simbólico)
(p→q)Λ(r→s)→[t↔(rΛs)]→(p→u)
 Truth Table
  p     q     r     s     t     u    (p→q)Λ(r→s)→[t↔(rΛs)]→(p→u) 
  T     T     T     T     T     T   T
T T T T T F F
T T T T F T T
T T T T F F T
T T T F T T T
T T T F T F F
T T T F F T T
T T T F F F F
T T F T T T T
T T F T T F T
SIMBOLOGIA TRUTH
T T F T F T T (p>q)&(r>s)>[t=(r&s)]>(p>u)
T T F T F F F
T T F F T T T
T T F F T F T
T T F F F T T
T T F F F F F
T F T T T T T
T F T T T F F
T F T T F T T
T F T T F F F
T F T F T T T
T F T F T F F
T F T F F T T
T F T F F F F
T F F T T T T
T F F T T F F
T F F T F T T
T F F T F F F
T F F F T T T
T F F F T F F
T F F F F T T
T F F F F F F
F T T T T T T
F T T T T F T
F T T T F T T
F T T T F F T
F T T F T T T
F T T F T F T
F T T F F T T
F T T F F F T
F T F T T T T
F T F T T F T
F T F T F T T
F T F T F F T
F T F F T T T
F T F F T F T
F T F F F T T
F T F F F F T
F F T T T T T
F F T T T F T
F F T T F T T
F F T T F F T
F F T F T T T
F F T F T F T
F F T F F T T
F F T F F F T
F F F T T T T
F F F T T F T
F F F T F T T
F F F T F F T
F F F F T T T
F F F F T F T
F F F F F T T
F F F F F F T
NO SON PROPOSICIONES
¿Por qué estamos estudiando en la universidad?
¿Qué es lo que ha llevado al ser humano a la construcción de nuevo
conocimiento?
¿Son los bienes materiales lo que más deseamos?

LEYES DE INFERENCIA Y TABLA DE LA VERDAD

En los numerales (5), (6) identificar (del texto dado), los razonamientos lógicos
inductivos y deductivos, y en ellos el tipo de razonamiento. A partir de los
razonamientos propuestos para el texto, responder la pregunta: ¿Se verifica la
conclusión propuesta? Y presentar argumentos que permitan respaldar
veracidad a la respuesta dada. Es decir, a partir de las tablas de verdad y las
leyes de inferencia demostrar la validez o no del razonamiento.

PROBLEMA 5

5. En una actividad lúdica para los estudiantes de un colegio, realizan la

búsqueda de un tesoro, la idea es que el estudiante que participe descubra
una nota escrita por el profesor, quien por su sentido creativo estructura los
acertijos lógicos para la prueba. En la nota dice que ha escondido un tesoro
en algún lugar de la casa campestre donde se encuentran. El profesor
enumera cinco enunciados todos ellos verdaderos y reta a los estudiantes a
que descubras dónde está el tesoro. He aquí los enunciados:

a. Si la casa está cerca de una piscina, el tesoro no está en la cocina.

b. Si el árbol de la entrada es un pino, el tesoro está en la cocina.
c. La casa está cerca de una piscina.
d. El árbol de la entrada es un pino o el tesoro está enterrado debajo de la
bandera.
e. Si el árbol de la entrada es un eucalipto, el tesoro está en el garaje.
¿Dónde está el tesoro? El estudiante ganador será quien responda que está
enterrado debajo de la bandera.

1) IDENTIFICACION DE LAS PREMISAS SIMPLES “AFIRMATIVAS”

p: la casa está cerca de la piscina
q: el tesoro está en la cocina
r: el árbol de la entrada es un pino
s: el tesoro está enterrado debajo de la bandera
t: el árbol de la entrada es un eucalipto
u: el tesoro está en el garaje
2) IDENTIFICACION DE PREMISAS (Punto a Punto) y CONCLUSION
3) CONECTORES LOGICOS
SI……O……
4) ESCRIBIR LAS PREMISAS Y LA CONCLUSION
PREMISA 1: Si la casa está cerca de una piscina, el tesoro no está en la
cocina. (p→⌐q)
PREMISA 2: Si el árbol de la entrada es un pino, el tesoro está en la cocina
(r→q)
PREMISA 3: El árbol de la entrada es un pino o el tesoro está enterrado
debajo de la bandera. (r˅s)
PREMISA 4: Si el árbol de la entrada es un eucalipto y no es un pino.
(t˄⌐q)
CONCLUSION: El tesoro está en el garaje. →u
5) REDACCION DEL ARGUMENTO LOGICO FINAL

{(p→⌐q)˄(r→q)˄(r˅s)˄(t→⌐r)} →u
  p     q     r     s     t     u    {(pΛ¬q)Λ(r→q)Λ(rVs)Λ(tΛ¬r)}→u 

  T     T     T     T     T     T   T

T T T T T F T

T T T T F T T
Truth Table
T T T T F F T

T T T F T T T

T T T F T F T

T T T F F T T
La anterior tabla nos conduce a una
T T T F F F T
contingencia, es decir, al no ser una
T T F T T T T
tautología, entonces elEsta
razonamiento
tabla es una
T T F T T F T
no es válido. contingencia por lo cual
T T F T F T T damos valor de razonamiento
T T F T F F T
Inductivo
Demostración por leyes de inferencia:
T T F F T T T
PREMISA 1: (p→⌐q)
T T F F T F T
PREMISA 2: (r→q)
T T F F F T T
PREMISA 3: (r˅s)
T T F F F F T
PREMISA 4: (t˄⌐q)
T F T T T T T

T F T T T F T

T F T T F T T
6. (p→r) MTT (2), (1)
T F T T F F T
7. (q˅s) MPT (2), (3)
T F T F T T T
8. (r˅s) LA (3)
T F T F T F T
9. (p→r) SD (1), (2)
T F T F F T T

T F T F F F T
Entonces de la siguiente

T F F T T T T
podemos concluir que es una

T F F T T F F
contingencia lo cual no podremos

T F F T F T T
llegar a la conclusión.

T F F T F F T

T F F F T T T

T F F F T F T

T F F F F T T

T F F F F F T

F T T T T T T

F T T T T F T PROBLEMA 6
F T T T F T T

F T T T F F T

F T T F T T T
6. Si el estudiante unadista se
F T T F T F T
enfoca siempre por su sentido
F T T F F T T
de la responsabilidad, tiene
F T T F F F T
que renunciar al disfrute de
F T F T T T T
muchas diversiones, y si se
F T F T T F T
guía siempre por su gusto de
F T F T F T T
divertirse, a menudo olvidará
F T F T F F T
su responsabilidad. O bien el
F T F F T T T

F T F F T F T

F T F F F T T

F T F F F F T
estudiante unadista se guía siempre por su sentido de la responsabilidad, o
bien siempre se orienta por su gusto de diversión. Si el estudiante unadista
se guía siempre por su sentido de la responsabilidad, no descuidará a
menudo su responsabilidad, y si siempre se guía por su deseo de diversión,
no renunciará al disfrute de muchas diversiones. Luego, el estudiante
unadista debe renunciar al disfrute de muchas diversiones si y sólo si no
descuida a menudo su responsabilidad por aprender.
 1. IDENTIFICACION DE LAS PROPOSICIONES
p: el estudiante se enfoca por el sentido de la responsabilidad.
q: tiene que renunciar al disfrute de muchas diversiones.
r: se guía siempre por su gusto de divertirse.
s: olvidará su sentido de responsabilidad.
t: descuida su responsabilidad por aprender
2. Identificación de premisas (punto a punto) y conclusión.
3. Conectores lógicos
Si…… Luego……si y solo si
4. ESCRIBIR LAS PREMISAS Y LA CONCLUSION (Punto a Punto)

PREMISA 1: Si el estudiante unadista se enfoca siempre por su sentido

de la responsabilidad, tiene que renunciar al disfrute de muchas
diversiones, y si se guía siempre por su gusto de divertirse, a menudo
olvidará su responsabilidad. (p→q)˄(r→s)
PREMISA 2: O bien el estudiante unadista se guía siempre por su
sentido de la responsabilidad, o bien siempre se orienta por su gusto de
diversión. (p˅r)
PREMISA 3: Si el estudiante unadista se guía siempre por su sentido de
la responsabilidad, no descuidará a menudo su responsabilidad, y si
siempre se guía por su deseo de diversión, no renunciará al disfrute de
muchas diversiones. (p→⌐p)˄(r→⌐r)
CONCLUSION: Luego, el estudiante unadista debe renunciar al disfrute
de muchas diversiones si y sólo si no descuida a menudo su
responsabilidad por aprender. (q↔⌐t)
5. REDACCCION DEL ARGUMENTO FINAL
{[(p→q)˄(r→s)]˅(p˅r)˄[(p→⌐p)˄(r→⌐r)]}→ (q↔⌐t)

SIMBOLOGIA TRUTH
{([(p>q)&(r>s)]+(p+r))&[(p>~p)&(r>~r)]}>(q=~t)
  p     q     r     s     t    {([(p→q)Λ(r→s)]V(pVr))Λ[(p→¬p)Λ(r→¬r)]}→(q↔¬t) 

  T     T     T     T     T   T

T T T T F T

T T T F T T

T T T F F T

T T F T T T

T T F T F T

T T F F T T

T T F F F T

T F T T T T

T F T T F T

T F T F T T

T F T F F T

T F F T T T

T F F T F T

T F F F T T

T F F F F T

F T T T T T

F T T T F T

F T T F T T

F T T F F T

F T F T T F

F T F T F T

F T F F T F

F T F F F T

F F T T T T

F F T T F T

F F T F T T

F F T F F T

F F F T T T

F F F T F F

F F F F T T

F F F F F F
Se tiene entonces la siguiente tabla lo cual nos muestra que las premisas son
verdaderas y la conclusión sea falsa.

Sin embargo, la anterior tabla muestra que existe el caso en que las premisas son
verdaderas y la conclusión es falsa, una vez más nos damos cuenta que, por lo
tanto el razonamiento no es válido.

Demostración por leyes de inferencia:

PREMISA 1: (p→q)˄(r→s)
PREMISA 2: (p˅r)
PREMISA 3: (p→⌐p)˄(r→⌐r)

4. (p˅r) LA (2)
5. (q→s) SH (1), (2)
6. (q→s) MPP (1), (2)
7. (p→r) MTP (2), (3)

Entonces de la siguiente podemos concluir que no podremos llegar a la conclusión

p q r s t ⌐p ⌐r ⌐t (p→⌐p) (r→⌐r) (p→q) (r→s) (p→⌐p) (r→⌐r) (q↔⌐t) (p˅r) (p→q)˄(r→s) (p→⌐p)˄(r→⌐r) [(p→q)˄(r→s)]˅(p˅r) {([(p→q)˄(r→s)]˅(p˅r))˄[(p→⌐p)˄(r→⌐r)]} {[(p→q)˄(r→s)]˅(p˅r)˄[(p→⌐p)˄(r→⌐r)]}→ (q↔⌐t)

T T T T T F F F F F T T F F F T T F T F
T
T T T T F F F T F F T T F F T T T F T F
T
T T T F T F F F F F T F F F F T F F T F
T
T T T F F F F T F F T F F F T T F F T F
T
T T F T T F T F F T T T F T F T T F T F
T
T T F T F F T T F T T T F T T T T F T F
T
T T F F T F T F F T T T F T F T F F T F
T
T T F F F F T T F T T T F T T T F F T F
T
T F T T T F F F F F F T F F T T T F T F
T
T F T T F F F T F F F T F F F T T F T F
T
T F T F T F F F F F F F F F T T F F T F
T
T F T F F F F T F F F F F F F T F F T F
T
T F F T T F T F F T F T F T T T T F T F
T
T F F T F F T T F T F T F T F T T F T F
T
T F F F T F T F F T F T F T T T F F T F
T
T F F F F F T T F T F T F T F T F F T F
T
F T T T T T F F T F T T T F F T T F T F
T
F T T T F T F T T F T T T F T T T F T F
T
F T T F T T F F T F T F T F F T F F T F
T
F T T F F T F T T F T F T F T T F F T F
T
F T F T T T T F T T T T T T F F T T T T
F
F T F T F T T T T T T T T T T F T T T T
T
F T F F T T T F T T T T T T F F F T F F
F
F T F F F T T T T T T T T T T F F T F F
T
F F T T T T F F T F T T T F T T T F T F
T
F F T T F T F T T F T T T F F T T F T F
T
F F T F T T F F T F T F T F T T F F T F
T
F F T F F T F T T F T F T F F T F F T F
T
F F F T T T T F T T T T T T T F T T T T
T
F F F T F T T T T T T T T T F F T T T T
F
F F F F T T T F T T T T T T T F F T F F
T
F F F F F T T T T T T T T T F F F T F F
F