PENSAMIENTO LGICO Y MATEMTICO

EVALUACION FINAL

MARIA ALEJANDRA ATENCIA

CODIGO: 1.099.993.173

GRUPO:
200611_531

ENRIQUE RODRIGUEZ
TUTOR

INGENIERA ELECTRONICA
UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA
UNAD

Diciembre de 2016

COROZAL SUCRE
 INTRODUCCIN

Mediante el desarrollo del siguiente trabajo pude realizar la conceptualizacin de la

terminologa de Lgica Proposicional seleccionada, mediante el desarrollo de los

diferentes problemas tales como operatividad entre conjuntos, uso del simulador

TRUTH , uso de tablas de verdad, al igual que la contextualizacin del

enunciado para determinar las caractersticas del silogismo que haya escogido.
OBJETIVOS.

Comprender terminologa de Lgica Proposicional.

Desarrollar tablas de verdad.

Afianzar los conocimientos obtenidos sobre diagramas de Venn.

Adquirir conocimientos en cuanto a la utilizacin del simulador TRUTH

 DESARROLLO DE LA ACTIVIDAD

BANCO DE PROBLEMAS.

ANEXO 1:

Ejercicio N 5

Del total de profesores de la UNAD se ha tomado una muestra de 335 maestros y

se tienen los siguientes datos: 215 son de tiempo completo, 190 hablan el ingls,
255 tienen por lo menos maestra, 70 son de tiempo completo y hablan ingls, 110
hablan el ingls y tienen por lo menos una maestra, 145 son de tiempo completo y
tienen por lo menos maestra; y todos tienen al menos una de las caractersticas.
Hallar el nmero de maestros que tengan las tres caractersticas anteriores.

SOLUCION:

De los datos del enunciado obtenemos:

Todos tienen alguna de las caractersticas.

Del total de la muestra 335 - 255 = 80 No tienen ninguna maestra.

De los que tienen maestra 255 - 110(los de ingls) = 145 corresponden a los
que son de Tiempo Completo

De los que tienen Tiempo Completo 215 - 70 (que hablan ingls) = 145 que tienen
maestra.

Ya sabemos que 145 tienen una maestra y adems tiempo completo.

De los que hablan ingls 110 sabemos que 70 son tambin de tiempo completo.
 De 190 que hablan ingls 110 tienen tambin una maestra.
70 son de tiempo completo

190 - 110 - 70 = 10 son slo de ingls.

DIAGRAMA DE VENN

INGLES
TIEMPO
COMPLETO 190
215 10 70 tiempo completo e ingles
70
70 tiempo completo 110 ingls y maestra
e ingles 10 solo ingles
145 tiempo completo 145 110
y maestria

MAESTRIA
255
145 maestra y tiempo
completo

110 maestra e ingles

ANEXO 2
EJERCICIO N 6

Si el perrito, el gato y el caballo, como mascotas son abandonados, entonces

son acogidos por la Protectora. Pero el perrito es abandonado, tambin el
caballo. Luego, tanto el perrito como el caballo son acogidos por la Protectora.

SOLUCION:

Declaracin de las proposiciones simples:

P: El perrito es abandonado

Q: El gato es abandonado

R: El caballo es abandonado

S: La protectora acoge animales abandonados

Declaracin de las proposiciones compuestas:

Si el perrito y el gato y el caballo, como mascotas son abandonados, entonces son
acogidos por la Protectora. Pero el perrito es abandonado, tambin el caballo.
Luego, tanto el perrito como el caballo son acogidos por la Protectora.
Declaracin de las proposiciones compuestas (lenguaje formal):
[{(P^Q)^R}>S]^{(P^R)>S}

TABLA DE VERDAD
SIMULADOR TRUTH