Proceso de solucin de una situacin problmica de la teora de conjuntos

Enunciado:
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?

DIAGRAMA DE VENN

Estudiantes que tomaron cursos de lgica y de lgebra pero no de ingls = 15

20 estudiantes tomaron cursos de lgica pero no de ingls = 20 15 = 5
13 estudiantes tomaron cursos de lgica pero no de lgebra = 13 5 = 8
68 estudiantes tomaron cursos de lgica = 68 5 15 8 = 40
120 estudiantes tomaron cursos de ingls y de lgebra = 120 40 = 80
138 estudiantes tomaron cursos de ingls = 138 8 40 80 = 10
160 estudiantes tomaron cursos de lgebra = 160 15 40 80 = 25
200 estudiantes presentaron la encuesta = 200 15 5 8 40 80 10 25 = 17

Por lo tanto la cantidad de estudiantes entrevistados que no tomaron ninguno de los tres cursos
es igual a 17.
 Proceso de solucin de una situacin problmica del uso de las tablas de verdad en la
interpretacin del lenguaje natural

Enunciado:
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

En lenguaje formal:

A= Acepto el trabajo
B= Dejo de practicar el deporte que me apasiona (ajedrez)
C= Realizar mis sueos

{[(AV~B)~C](A~B)C}

Tabla procedimental en Excel:

Tabla de verdad en Truth:

Para todas las asignaciones de valores de verdad, la expresin es verdadera, por lo tanto es una
tautologa.
Proceso operativo a travs de la tabla de verdad y de la aplicabilidad de las leyes de inferencia
de la resolucin y demostracin de la validez del enunciado problmico tipo argumento

Enunciado:
Si el Rector no pudo dar el discurso o los diplomas no llegasen a tiempo, entonces la fiesta de
graduacin tendra que cancelarse y los estudiantes se enojaran. Si la fiesta se cancelara, habra
que devolver el dinero. No se devolvi el dinero. Por lo tanto, el Rector pudo dar el discurso.

Premisas en lenguaje formal:

A= El rector pudo dar el discurso

B= Los diplomas llegan a tiempo
C= La fiesta de graduacin se cancela
D= Los estudiantes se enojan
E= El dinero se devuelve

Planteamiento del razonamiento en lenguaje formal:

{[(~AV~B)(CD)](CE)~E}A}

Tabla de verdad procedimental en Excel:

Tabla de verdad en Truth:

Para todas las asignaciones de valores de verdad, la expresin es verdadera, por lo tanto es una
tautologa.

Demostracin por leyes de inferencia lgica: