1

UNIVERSIDA NACIONAL ABIERTA Y DISTANCIA (UNAD)

PENSAMIENTO LGICO Y MATEMTICO 200611_531

ENTREGADO

MARIA ALEJANDRA ATENCIA RODRIGUEZ

CODIGO: 1.099.993.173

EXAMEN NACIONAL (POR ABP)

TUTOR:

ENRIQUE RODRIGUEZ BONILLA

EL ROBLE - SUCRE

INGENIERIA ELECTRONICA
 2

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.

 3

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

 4

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

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 110
y maestria 145

MAESTRIA
255
145 maestra y tiempo
completo
 6

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}
 7

SIMULADOR TRUTH

TABLA DE VERDAD
 8

ANEXO 3

Ejercicio N 15

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

Solucin

Identifiquemos las proposiciones

P: pago matrcula completa

Q: Me queda dinero

R: Me matriculo en todo los cursos

S: Aprendo programacin de computadores

T: Me compro un computador

Declarar premisas

1) Si pago matrcula completa no me quedar dinero

 9

2) si no pago matrcula completa no puedo matricularme en todos los cursos

3) no aprender Programacin de computadores a menos que me compre un computador, lo cual

podr hacer slo si me queda dinero.

( )

4) si no me matriculo en todas las clases no me comprar un computador

5) Como es un hecho que pago matrcula completa o no pago matrcula completa

CONCLUSION

No aprender Programacin de computadores

Declarar el razonamiento en lenguaje formal

( )^ ( ) ^( ( ))^ ( )^ ( ) =>

P Q R S T T (P (P ( (Q( (R (P (PQ)^ PQ)^ )(PQ)^ (P

P R S T TS) Q) (PR) (PR) (PR) ^(
(
Q) R) T) ^ ^(Q(T ^(Q(TS)) ^(Q(TS))^ (
Q P
S (P S))( ^ (RT (RT)^ (P P
) R
)
P
)
V V V V V F F F F F F V V V V F F F F F
V V V V F F F F F V F V V V V F F F F F
V V V F V F F F V F F V F F V F F F F F
V V V F F F F F V V F V V V V F F F F F
V V F V V F F V F F F V V V F F F F F F
V V F V F F F V F V F V V V V F F F F F
V V F F V F F V V F F V F F F F F F F F
V V F F F F F V V V F V V V V F F F F F
 10

V F V F

V V V F V F F F V V V V V F V V
V F V V F F V F F V V V V V V F V V V F
V F V F V F V F V F V V F V V F V V V F
V F V F F F V F V V V V V V V F V V V F
V F F V V F V V F F V V V V F F V V F F
V F F V F F V V F V V V V V V F V V V F
V F F F V F V V V F V V F V F F V V F F
V F F F F F V V V V V V V V V F V V V F
F V V V V V F F F F V F V V V F F F F F
F V V V F V F F F V V F V V V F F F F F
F V V F V V F F V F V F F F V F F F F F
F V V F F V F F V V V F V V V F F F F F
F V F V V V F V F F V V V V F F V V F F
F V F V F V F V F V V V V V V F V V V F
F V F F V V F V V F V V F F F F V V F F
F V F F F V F V V V V V V V V F V V V F
F F V V V V V F F F V F V V V F F F F F
F F V V F V V F F V V F V V V F F F F F
F F V F V V V F V F V F F V V F F F F F
F F V F F V V F V V V F V V V F F F F F
F F F V V V V V F F V V V V F F V V F F
F F F V F V V V F V V V V V V F V V V F
F F F F V V V V V F V V F V F F V V F F
F F F F F V V V V V V V V V V F V V V F

TABLA DE VERDAD

SIMULADOR TRUTH

LEYES DE LA INFERENCIA

En orden

1:
 11

2:

3: ( )

4:

5:

---------------

6:

Veamos si se llega a 5

7: (5) por tabla

Entonces el problema se reduce a

1:

2:

3: ( )

4:

---------------

6:

Continuemos

8: (1, contraposicin)

9: (8,2 Silogismo hipottico)

10: (3, contraposicin)

11: (4,10 Silogismo hipottico)

 12

12: (11,
contraposicin)

Conclusin

13: (12, Importacin)( )

ANEXO 4

EJERCICIO N 16

Silogismos categricos.

Silogismo es un argumento deductivo en el que se infiere una conclusin a partir de dos

premisas.

Un silogismo categrico es un argumento deductivo que consiste en tres

proposiciones categricas que contienen exactamente tres trminos, cada uno de los cuales

aparecen en dos delas proposiciones que lo constituyen.

Trmino medio
 13

Ningn hroe es cobarde.

Premisa mayor

Algunos soldados son cobardes. Premisa menor

__________________________________

Por lo tanto algunos soldados no son hroes. Conclusin

SUJETO PREDICADO

El trmino medio no aparece en la conclusin.

DIAGRAMA DE VENN

H C

Razonamiento valido
S
 14

ANEXO 5

Ejercicio N24

El proyecto de construccin hidrulica que tiene usted delante, seor Alcalde, necesita de un

importante nmero de trabajadores. Y, como usted sabe muy bien, los 400 parados del municipio

tienen puestas sus esperanzas en usted. Esta presa hidrulica, sin duda, es necesaria para nuestra

ciudad.

FALACIAS: ad populum, ad misericordiam

Ad populum: Es una falacia que implica responder a un argumento o a una afirmacin

refirindose a la supuesta opinin que de ello tiene la gente en general, en lugar del argumento

por s mismo, tambin, La falacia ad populum es la apelacin a la popularidad de una reclamacin

como una razn para aceptarla

 15

Ad misericordiam:

es una falacia que consiste en la manipulacin de los sentimientos para sostener un argumento

como vlido

Razonamiento: inductivo

CONCLUSIN

Los silogismos y las tablas de verdad son muy importantes para nuestro desarrollo intelectual. El

anterior trabajo me permiti plantear y analizar los diferentes ejercicios que fueron desarrollados

por medio de tablas de verdad, simulador TRUTH, silogismos categricos y reglas de inferencia,

lo que conlleva a tener un fcil manejo al momento de solucionar dichos problemas que se

pueden presentar en nuestra vida cotidiana.

16
 17

Referencias Bibliogrficas

wikipedia. (sf). Falacias. Obtenido de wikipedia:

https://es.wikipedia.org/wiki/Argumento_ad_misericordiam

wikipedia. (sf). wikipedia. Obtenido de la enciclopedia libre:

https://es.wikipedia.org/wiki/Argumento_ad_populum

wikipedia. (s.f.). silogismos . Obtenido de la enciclopedia libre:

https://es.wikipedia.org/wiki/Silogismo_categ%C3%B3rico