TRABAJO DE LOGICA MATEMATICA

1. Aplicar las propiedades y las operaciones con conjuntos y validar los

procesos con el uso de Diagramas de Venn para la solucin del 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?

N: 200

Cursos de Ingls y de Algebra: 120

Curso de Lgica: 68

Cursos de Lgica pero no de Ingles:

20

Curso de Ingls: 138

Cursos de Lgica pero no de Algebra:

13

Curso de Algebra: 160

Cursos de Lgica y de Algebra pero no

de Ingles: 15

(1) a+d+e+g=68

(2) c+d+f+g= 138

(3) b+e+f+g= 160

(4) g+f= 120

(5) a+e= 20

(6) a+d= 13

(7) e=15

(5) a+15= 20
a= 20-15
a= 5
(6) 5+d=13
d= 13-5
d=8
(1) 5+8+15+g=68

28+g=68
g= 68-28
g=40
(4) 40+f=120
f= 120-40
f=80
(3) b+15+80+40=160
b+135=160
b= 160-135
b=25
(2) c+8+40+80=138
c+ 128=138
c= 138-128
c=10
x=200-(a+b+c+d+e+f)
x= 200-183
x=17
No toman ningn curso= 17
estudiantes.

2. 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 pantallaso 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 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.
Proposiciones Simples
P: Acepto este trabajo.
R: Me falta tiempo.
S: Dejo de practicar el deporte que me apasiona.
T: No realizare mis sueos.
Proposiciones Compuestas
Q=RS: Dejo de practicar el deporte que me apasiona por falta de
tiempo.
Lenguaje Simblico
Si acepto este trabajo o dejo de practicar el deporte que me apasiona por falta
de tiempo, 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.
Con esto se identifica que P y S son verdaderas y adems que T es verdadera:
(((P v (RS)) T) PS) T

La tabla de verdad comprueba que es una tautologa.

3.
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.

Variables
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
(QS), y si no le queda dinero no podr comprar un computador (QS),
y por lo tanto, si compra un computador aprender programacin de
computadores (ST) 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

No aprender Programacin de computadores T

Partiendo de lo anterior:

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

Suponiendo que pague la matricula completa:

(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

Suponiendo que no pague la matricula completa:

(1) PQ
(2) PQ
(3) PR
(4) QS
(5) QS
(6) ST
(7) ST
(8) RS
(9) P
_______________
T
(10)
(11)
(12)

R
RT
T

(2), (8) MPP

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

Por medio de las reglas de inferencia se observa que el razonamiento es

coherente.

La tabla de verdad muestra que es una tautologa.

4.
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 grandes cientficos son graduados universitarios. Algunos grandes

atletas son graduados universitarios. Por lo tanto, algunos grandes atletas
son grandes cientficos.

Se tiene entonces que

S: Grandes cientficos.
P: Grandes Atletas.
Q: Graduados universitarios.
Proposiciones categricas:

Todos los grandes cientficos son graduados universitarios. Proposicin

universal afirmativa
Algunos grandes atletas son graduados universitarios. Proposicin

particular afirmativa
Algunos grandes atletas son grandes cientficos.. Proposicin particular
afirmativa

5. identificar, clasificar y explicar las diversas falacias de lenguaje contenidas

en las siguientes expresiones y el tipo de razonamiento que se utiliza.

Miguel Indurain, que ha sido el mejor deportista espaol de todos los

tiempos, afirma en un anuncio publicitario, que los productos de
repostera de los Hermanos Ortiz son como hechos en casa.

Observaciones
Para realizar las tablas de la verdad se debe de utilizar el simulador y
realizar el pantallazo del mismo. Adjunto le envi el link del simulador
y tambin como se debe de usar
Para los problema de inferencia lgica se de de realizar con el leguaje
simblico y las premisas adjunto envi la gua de ejemplo de cmo
debe de ir el ejercicio.