7/24/2019 200611-4 Trabajo colaborativo 3.pdf

1/7

PENSAMIENTO LOGICO Y MATEMATICO

TRABAJO COLABORATIVO 3

PRESENTADO POR:

CARMEN BALANTA, CODIGO: 31533116

MIGUEL PORTILLO, CODIGO: 75108041

GUILLERMO VALENCIA, CDIGO: 19298452

GRUPO 200611 - 4

TUTOR:JADITH ROVIRA

LICENCIADO EN MATEMTICAS Y COMPUTACIN

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA. UNAD

ESCUELA DE CIENCIAS BSICA TECNOLOGA E INGENIERA

SEPTIEMBRE. 2015

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

2/7

2

INTRODUCCIN

Primer aporte individual relacionado con elCaptulo 3 Principios de Lgica, del mdulo depensamiento lgico matemtico, es un tema de vital importancia, las leyes de inferencialgica que tiene sobre las proposiciones para hacerlas mas comprensibles al crear premisas

que facilitan la conclusin de una frmula que me de una deduccin de que es una verdad ouna falsedad. Al hacer la tabla de la verdad.

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

3/7

3

CONTENIDO.

El siguiente enunciado tiene como objetivo el que como grupo desarrollen y determinen la

validez del argumento y a travs de las dos formas bsicas de uso de las Tablas de

Verdad y del uso de las Leyes de Inferencia demuestren la validez o no validez del

argumento dado. El enunciado es:

1. Ana revisa las notas que lleva hasta el momento en el curso de Pensamiento Lgico y

Matemtico, y se da cuenta que debe realizar muy bien las tareas faltantes para

alcanzar a ganar el curso, observa que est a punto de abrirse el foro del trabajo

Colaborativo Tres y entonces se hace la siguiente autorreflexin: Si soy disciplinada

en mis estudios entonces entrego mis aportes significativos a tiempo o resuelvo

mis inquietudes del tema con mi tutor. Si me dedico a rumbear, pasear,

entonces no entrego mis aportes significativos a tiempo. Si en las noches veo

video-tutoriales del tema entonces no necesito resolver mis inquietudes del

tema con mi tutor. Soy disciplinada en mis estudios y en las noches veo video-

tutoriales del tema. Por lo tanto entrego mis aportes significativos a tiempo.

Solucin:

La estructura del enunciado corresponde a un razonamiento inductivo. Se Parte de lo

general, hacia lo particular para resolver el razonamiento.

Identificacin de las proposiciones simples:

p: soy disciplinada en mis estudios.

q: entrego mis aportes significativos a tiempo.

r: resuelvo mis inquietudes del tema con mi tutor.

s: me dedico a rumbear, pasear,.

t: en las noches veo video-tutoriales del tema

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

4/7

4

PREMISAS:

Premisa 1: (p(q r)

Premisa 2: (s q)

Premisa 3: (t r)

Premisa 4: (p t)

Conclusin: q

entrega a tiempo sus aportes.

Formulacin {[(p(qr)] [(s q) (t r)] (p t)} q

Leyes de inferencia:

Para aplicar las leyes de inferencia lgica, primero respondemos qu es inferencia Lgica?

Es un proceso que consiste en pasar de un conjunto de premisas a una conclusin. Sin

necesidad de elaborar tablas o cuadros muy extensos

5.Simpl (4): p (conclusin; si soy disciplinada y en las noches veo videos tutoriales escojo

cualquiera de las dos pues son ciertas, escojo p)

6. Simpl (4): t (conclusin; si soy disciplinada y en las noches veo videos tutoriales escojo

cualquiera de las dos pues son ciertas, escojo t)

7. MPP (3): [(tr) t] r (negacin de r, implicacin con la premisa cualquiera con el

antecedente t con t implicacin resulta el consecuente)

8. MTP (1-7) :( pq) r] r} = (pq) (se toma una condicional y una premisa cualquiera

y una es la negacin de la consecuente resulta la negacin del antecedente

9. MPP (8-5) :[( pq) p] = q (condicional y una premisa cualquiera da como resultado el

mismo consecuente)

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

5/7

5

Demostracin por tabla de verdad:

[(p(qr)] [(s q) (t r)] (p t) q

Una contradiccin

p q r s t q r (qr) [p(qr)][p

(q

r)]

[(s

q)(t

r)](s q) [(s q) (t r)] (t r)

qv v v v v f f v v f f f f v

v v v v f f f v v f f f v v

v v v f v f f v v f v f f v

v v v f f f f v v v v v v v

v v f v v f v v v f f f v v

v v f v f f v v v f f f v v

v v f f v f v v v v v v v v

v v f f f f v v v v v v v v

v f v v v v f v v f v f f v

v f v v f v f v v v v v v f

v f v f v v f v v f v f f v

v f v f f v f v v v v v v f

v f f v v v v f v v v v v f

v f f v f v v f v v v v v f

v f f f v v v f v v v v v f

v f f f f v v f v v v v v f

f v v v v f f v v f f f f v

f v v v f f f v v f f f v v

f v v f v f f v v f v f f v

f v v f f f f v v v v v v v

f v f v v f v v v f f f v v

f v f v f f v v v f f f v v

f v f f v f v v v v v v v v

f v f f f f v v v v v v v v

f f v v v v f v v f v f f v

f f v v f v f v v v v v v f

f f v f v v f v v f v f f v

f f v f f v f v v v v v v f

f f f v v v v f v v v v v f

f f f v f v v f v v v v v f

f f f f v v v f v v v v v f

f f f f f v v f v v v v v f

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

6/7

6

CONCLUSIONES

Para concluir podemos decir que la logica de la tabla de la verdad, es importante para el usolos simbolos que sirven para enlazar dos o mas proposiciones simples o compuestas, utilizar

las leyes de la lgica, las premisas y las leyes de inferencia como la simplificacin, mtp mpp

se requiere para plantear la solucion de los problemas de logica proposicional. Y tener un

apoyo con las premisas anticipadamente pues esta es una gran ayuda al momento de

desarrollar la tabla de la verdad.

7/24/2019 200611-4 Trabajo colaborativo 3.pdf

7/7

7

BIBLIOGRAFIA

No dio tiempo de hacerla bajo la norma apa

https://www.youtube.com/watch?v=PhrhO3L1-Lg

https://www.youtube.com/watch?v=OuHYh1Xw5no

https://www.youtube.com/watch?v=OmX1Xg6bnlk

https://www.youtube.com/watch?v=7Csb8wwnEpA

https://www.youtube.com/watch?v=PhrhO3L1-Lghttps://www.youtube.com/watch?v=PhrhO3L1-Lghttps://www.youtube.com/watch?v=OuHYh1Xw5nohttps://www.youtube.com/watch?v=OuHYh1Xw5nohttps://www.youtube.com/watch?v=OuHYh1Xw5nohttps://www.youtube.com/watch?v=PhrhO3L1-Lg