EDGARDO ALFONSO ESCORCIA

TUTOR

INGRID PUMAREJO

CC: 49605417

ESTUDIANTE

GRUPO: 200611A_360

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

PSICOLOGIA

VALLEDUPAR- CESAR

2017
 Objetivos

General

Identificar los procedimientos y operaciones necesarias para desarrollar actividades del uso de

las Mtodo teora de conjuntos, falacia, tablas de verdad, silogismo catgrico, Proceso

operativo, aplicabilidad de las leyes de inferencia y simulador TRUTH

Especficos

Conocer los conceptos necesarios para desarrollar actividades conceptualizacin de la

terminologa de la Lgica Matemtica.

Desarrollar actividades de planteamiento y solucin.

 Introduccin

A travs del presente trabajo se pretende apropiar al estudiante de todos los conceptos necesarios

para el desarrollo de problemas aplicando los procedimientos necesarios para establecer la

operaciones y conceptualizacin de la terminologa de la Lgica Matemtica teoras expuestas

para que el estudiante desarrolle las actividades y se apropie de los conocimientos necesarios de

acuerdo a la metodologa y objetivos del curso de pensamiento lgico y matemtico.

1. 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:

Clasificacin de los enunciados segn el tipo de falacia

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?

Solucin:

Analizamos los datos

L=68 A=160

I=138 A y I = 120

L-I=20 L-A=13

(L y A)-I=15 L-A-I=?

U =200
Grupo U = 200 estudiantes.

Lgica = 68

13 + 15 + 20 + x = 68

48 + x = 68

x = 20

Ingls = 138

20 + 13 + C+A = 138; pero C=120-X, sea C=100

20+13+100+A = 138

A = 138-133

A=5

Algebra = 160

20 + 15 + B+100= 160

135 + B = 160
 B= 25

Hacemos el diagrama final.

Y obtenemos que el nmero de estudiantes que no tomaron ninguna de las clases, fue de:

200 - (20 + 5 + 25 + 13 + 20 + + 100 + 15) = 200 - 198 = 2

RTA) 2 de los estudiantes entrevistados no tomaron las clases de algebra, ni de ingls, ni de

lgica

2. Uso de las tablas de verdad

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 el incremento en las penas de prisin, entonces fuera suficiente para disminuir los

niveles de delincuencia, y el ndice de secuestros ira en disminucin. Entonces Pero es un hecho

que, en lugar de disminuir, el nmero de secuestros va en aumento.

Solucin:

Preposiciones simples.

P: Se incrementa las penas de presin

Q: disminucin de los niveles de delincuencia

R: El ndice de secuestros disminuye

Premisas:

Premisa 1: PQ; Si se incrementan los niveles en las penas de prisin, entonces se disminuirn

los niveles de delincuencia.

Premisa 2: (PQ) R; Si se incrementan los niveles en las penas de prisin, entonces se

disminuirn los niveles de delincuencia, y el nmero de secuestros ira en disminucin.

Conclusin ~ R ; El nmero de secuestros aumenta.

Razonamiento

{(P Q) R} ~ R

Demostracin con tablas de verdad

Si n= nmero de preposiciones simples, entonces:

n=3;

Ahora 2 = No de valores de verdad, entonces

23 = 8

[[P Q] R]
P Q R ~R (P ) [P Q] R
~R

V V V F V V F

V V F V V F V

V F V F F F V

V F F V F F V

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

F F V F V V F

F F F V V F V

3. Representacin grfica de silogismos categricos

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

Solucin:

Proposiciones simples:

P: pago la matrcula completa

Q: Me queda dinero

R: Me matriculo en todo los cursos

S: Aprendo programacin de computadores

T: Me compro un computador

Premisas:

Premisa 1: P~Q: Si pago matrcula completa no me quedar dinero

Premisa 2: ~P~R; Si no pago matrcula completa no puedo matricularme en todos los cursos

Premisa 3: Q (TS); No aprender Programacin de computadores a menos que me compre

un computador, lo cual podr hacer slo si me queda dinero.

Premisa 4: ~R~T; si no me matriculo en todas las clases no me comprar un computador

Premisa 5: P~P; Como es un hecho que pago matrcula completa o no pago matrcula

completa

Conclusin: ~S; no aprender Programacin de computadores

Veamos si se llega a 5

7: (5) por tabla PPV

Entonces el problema se reduce a

1: PQ

2: PR

3: Q(TS)

4: RT

6: S

Razonamiento

PQ

2: PR

3: Q(TS)

4: R T
 {[[( q)][(p r)][(q (t s))][(r t)]]} s

Demostracin con tablas de verdad

Si n= nmero de preposiciones simples, entonces:

n=5;

Ahora 2 = No de valores de verdad, entonces

25 = 32

{[[(

q)][(p

(q r)][(q
( (p (t (r
P Q R S T ~P ~Q ~R ~S ~T (t (t *
q) r) s) t)
s)) s))][(r

t)]]}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Es una contradiccin

Continuemos

8: (1, contraposicin) QP

9: (8,2 Silogismo hipottico) QR

10: (3, contraposicin) TQS

11: (4,10 Silogismo hipottico) RQS

12: (11, contraposicin) QRS

Conclusin
13: (12, Importacin)(QR)S

4. Uso de las reglas de inferencia en la demostracin de la validez de un razonamiento

lgico

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.

Solucin:

P: Todos los grandes cientficos son graduados universitarios.

S: Algunos grandes atletas son graduados universitarios.

M: Por lo tanto, algunos grandes atletas son grandes cientficos.

P: grandes cientficos

S: grandes atletas

M: graduados universitarios
 El silogismo es invlido dado que no tenemos la certeza de que la conclusin sea falsa, sino

que solamente no est implicada en las premisas.

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

siguientes expresiones y el tipo de razonamiento que se utiliza.

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.

Solucin:
Es una falacia ad populum, ya que es un razonamiento o discurso en el que se omiten los motivos

adecuados y se exponen razones no vinculadas con la conclusin, pero que se sabe sern

aceptadas por el auditorio, despertando sentimientos y emociones. Es una argumentacin

demaggica o seductora.
 Conclusiones

En conclusin esta actividad permiti que como estudiantes afianzramos a un ms nuestros

conocimientos, y colocar en prctica lo comprendido, todo lo relacionado con, conceptualizacin

de la terminologa de la Lgica Matemtica, y poner en prctica todo lo comprendido.

 Bibliografas

Argoty, L. (2015).Teora de conjuntos. Recuperado de

http://erenriquez.net/largoty/Ova02MD/

Guerrero, S. L. M. (2005). Matemticas. Sus fundamentos en secuencia ptima. Crdoba, AR: El

Cid Editor. (pp. 24 34). Recuperado de:

http://hdl.handle.net/10596/6537

Villalpando, B. J. F. (2000). Matemticas discretas: aplicaciones y ejercicios. Larousse - Grupo

Editorial Patria. (pp. 19 - 29). Recuperado de:

http://hdl.handle.net/10596/6551

Bustamante A. A. (2009). Lgica y Argumentacin: De los argumentos inductivos a las lgebras

de Boole. 1. Edicin. Mxico: Editorial Pearson. (pp. 63-81). Recuperado de:

http://hdl.handle.net/10596/7959

Rodrguez, V. R. (2013). Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra

lineal. Volumen I: conjuntos numricos, complementos. Madrid, ES: Editorial Tbar Flores. (pp.

17-29). Recuperado de: http://hdl.handle.net/10596/6534

Giraldo, J. (2016) Uso de las Leyes de Inferencia en la demostracin de la validez de un

argumento. Recuperado de http://hdl.handle.net/10596/7964