BANCO DE PROBLEMAS

En los numerales (1), (2), (3), (4) y (5) aplicar las propiedades y las operaciones con
conjuntos y validar los procesos con el uso de Diagramas de Venn para la solucin de cada
problema:

. En una encuesta a 200 estudiantes unadistas se encontr que 68 haban tomado

cursos de Lgica, 138 haban tomado cursos de Ingls y 160 cursos de lgebra;
120, cursos de Ingls y de lgebra; 20 cursos de Lgica pero no de Ingls; 13
cursos de Lgica pero no de lgebra; 15 cursos de Lgica y de lgebra pero no de
Ingls. Cuntos de los entrevistados no tomaron cursos de Lgica ni de lgebra ni
de Ingls?

Sea
A el conjunto de los unadistas que tomaron lgica.
B el conjunto de los unadistas que tomaron ingles.
C el conjunto de los unadistas que tomaron algebra.
K el conjunto universal el cual consta de los 200 unadistas encuestados
Entonces, denotando | | como el cardinal del conjunto y para el complemento, se tiene
que:
|A|=68, |B|=138, |C|=160, |BC|=120, |AB| =20, |AC| =13, |ACB| =15, |K|= 200.
Podemos redefinir cada subconjunto en el diagrama de Venn de modo que cada nuevo
conjunto es mutuamente excluyente con los dems, es decir, la interseccin de cualquier par
de conjuntos es vacio y para los cardinales se cumplir que el cardinal de una unin de
conjuntos es la suma de los cardinales.
De ese modo, se tiene que:

A=DUEUFUG
D=ABC
E=ABC
F=ABC
G=ACB
B=EUFUHUI
H=BCA
I=BAC
J=CAB
C=JUHUFUG

Probando dichos enunciados:

A=DUEUFUG

DUEUFUG= (DUE)U(FUG)
Propiedad asociativa
=[( ABC)U(ABC)]U[(ABC)U(ACB)]
=[( ACB)U(ACB)]U[(ACB)U(ACB)]
Propiedad conmutativa
=[(AC)U(BB)]U[(AC)U(BB)]
Propiedad distributiva
=[(AC)U ]U[(AC)U ]
Complementacin
=[(AC)]U[(AC)]
Propiedad de neutralidad
=AU(CC)
Propiedad distributiva

=A

B=EUFUHUI

Complementacin y
neutralidad

EUFUHUI=[( ABC)U(ABC)]U[(BCA)U(BAC)]
Asociatividad
= [(ABC)U(ABC)]U[(BAC)U(BAC)]
Conmutatividad
= [(AB)U(CC)]U[(BA)U(CC)]
Propiedad
distributiva
= (AB) U(BA)
Complementariedad y neutralidad
= (AA) UB
Propiedad
distributiva
=B
Complementariedad y
neutralidad

C=JUHUFUG

JUHUFUG=[( CAB)U(BCA)]U[(ABC)U(ACB)]
Asociatividad
=[( CAB)U(CAB)]U[(ACB)U(ACB)]
Conmutatividad
=[( CA)U(BB)]U[(AC)U(BB)]
Ley distributiva
=(CA) U(AC)
Complemetariedad y
neutralidad
=CU(AA)
Conmutatividad y
ley distributiva
=C
Complementariedad y
neutralidad

Del enunciado se tiene entonces que:

|G|=15
|DUE|=13
|DUG|=20
|FUH|=120

Como |DUG|=|D|+|G|=|D|+15=20, entonces |D|=5

Como |DUE|=|D|+|E|=5+|E|=13, entonces |E|=8

Ahora, como |A|=|DUEUFUG|=|D|+|E|+|F|+|G|=5+8+|F|+15=68, entonces |F|=40

Se tiene que |FUH|=|F|+|H|=40+|H|=120, entonces |H|=80

Y se debe cumplir que

|B|=|EUFUHUI|=|E|+|F|+|G|+|I|=8+40+80+|I|=138, entonces |I|=10

|C|=|JUHUFUG|=|J|+|H|+|F|+|G|=|J|+80+40+15=169, entonces |J|=25

Ahora, estamos buscando el nmero de personas que no pertenecen a ninguno de estos

conjuntos, es decir |KABC|=|(AUBUC)| =200-5-15-8-40-10-80-25=17
De los entrevistados solo 17 no tomaron ninguno de los 3 cursos

En los numerales (6), (7), (8), (9) y (10) identificar todas las expresiones que considera
son proposiciones lgicas simples y tambin las expresiones que no son proposiciones.
El siguiente paso es identificar proposiciones compuestas. Para lograr esta
identificacin, conviene reescribir el texto resaltando los conectivos lgicos que no
estn explcitos en la expresin. Declarar las proposiciones simples, asignando una de
las ltimas letras del alfabeto para identificarlas. Finalmente, expresar en lenguaje
simblico las proposiciones simples, compuestas identificadas; y construir sus tablas de
verdad. Determinar si la tabla de verdad es tautologa, contradiccin o contingencia.
Adems adjuntar pantallazo del uso del simulador de Tablas de Verdad.

Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta de
tiempo, entonces no realizar mis sueos. He aceptado el trabajo y he dejado de
jugar ajedrez. Por lo tanto, no realizar mis sueos

Si acepto este trabajo o si me falta tiempo (entonces) dejo de practicar el deporte que
me apasiona, entonces no realizar mis sueos. He aceptado el trabajo y he dejado de
jugar ajedrez. Por lo tanto, no realizar mis sueos

Las proposiciones son:

P=Acepto este trabajo (Simple)
Q=RS= si por falta de tiempo dejo de practicar el deporte que me apasiona
(Compuesta)
R=Me falta tiempo (Simple)
S=Dejo de practicar el deporte que me apasiona (Simple)
T=No realizare mis sueos (Simple)
Pues las cuatro se les puede asignar un valor de verdadero o falso, en lenguaje simbolico
cada oracin puede escribirse del siguiente modo
Si acepto este trabajo o si por falta de tiempo (entonces) dejo de practicar el deporte que me
apasiona, entonces no realizar mis sueos. (P v (RS))T
He aceptado el trabajo y he dejado de jugar ajedrez. Por lo tanto, no realizar mis sueos.
Esto quiere decir que P y S son verdaderas e implica que T es verdadera.
Completo esto seria

(((P v (RS))T)PS) T

La tabla de verdad comprueba que es una tautologa.

En los numerales (11), (12), (13), (14) y (15) identificar (del texto dado), los razonamientos
lgicos 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 conclusin
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. Adems adjuntar pantallazo del uso del simulador de Tablas de Verdad.

Si pago matrcula completa no me quedar dinero. Pero si no pago matrcula

completa no puedo matricularme en todos los cursos. Por otra parte, no aprender
Programacin de computadores a menos que me compre un computador, lo cual
podr hacer slo si me queda dinero. Adems, si no me matriculo en todas las clases
no me comprar un computador. Como es un hecho que pago matrcula completa o
no pago matrcula completa entonces, con seguridad, no aprender Programacin de
computadores.

Sea P=pago matricula completa

Q= me quedara dinero
R=No me matriculo en todos los cursos.
S= comprar un computador
T=Aprender programacin de computadores.

Si pago matrcula completa no me quedar dinero PQ

si no pago matrcula completa no puedo matricularme en todos los cursos PR
Por otra parte, no aprender Programacin de computadores a menos que me
compre un computador, lo cual podr hacer slo si me queda dinero. Esto quiere
decir que si le queda dinero podr comprar un computador (Q S), y si no le queda
dinero no podr comprar un computador (QS), y por lo tanto, si compra un
computador aprender programacin de computadores (S T) y si no compra un

computador no aprender programacin de computadores (ST)

si no me matriculo en todas las clases no me comprar un computador R>S

Entonces, el problema se reduce a demostrar, partiendo de los silogismos

(1) PQ
(2) PR
(3) QS
(4) QS
(5) ST
(6) ST
(7) RS
(8) PvP
_______________
T

Esto podra demostrarse para cada caso, es decir, si P es verdadero o falso. De ese modo si
se matricula
(1) PQ
(2) PR
(3) QS
(4) QS
(5) ST
(6) ST
(7) RS
(8) P
_______________
T

(9)
(10)
(11)

Q
S
T

(1), (8) MPP

(4),(9) MPP
(6), (10) MPP

En el caso de que no se matricule se tiene entonces:

(1) PQ
(2) PR
(3) QS
(4) QS
(5) ST
(6) ST

(7) RS
(8) P
_______________
T

(9)
(10)
(11)

R
RT
T

(2), (8) MPP

(6),(7) SH
(9), (10) MPP

Demostrandose por medio de las reglas de inferencia que el razonamiento es coherente

La tabla de verdad muestra que es una tautologa

En los numerales (16), (17), (18), (19) y (20) seleccionar uno de los siguientes enunciados e
identificar en dicho silogismo las diferentes proposiciones categricas, y proponer una
representacin mediante Diagramas de Venn de las diferentes relaciones entre las clases
implicadas, segn las proposiciones categricas:

Todos los artistas son eglatras. Algunos artistas son indigentes. Por lo tanto,
algunos indigentes son eglatras.

Se tiene entonces que

S=artistas
P=eglatras
Q=indigentes
Las proposiciones son:

Todos los artistas son eglatras. Proposicion universal afirmativa

Algunos artistas son indigentes. Proposicion particular afirmativa
Algunos indigentes son eglatras. Proposicion particular afirmativa

Dados los numerales (21), (22), (23), (24) y (25), identificar, clasificar y explicar las
diversas falacias de lenguaje contenidas en las siguientes expresiones y el tipo de
razonamiento que se utiliza.

Juan ha prometido a su novia, que no va a beber alcohol, para no meterse en los.

Sus amigos le dicen que beba, para no aburrirse, insistiendo en que se lo monta muy
bien, cuando bebe. Qu tipo de falacia estn usando los amigos de Juan, para
convencerle de que beba?