MOMENTO 3

VALIDEZ DE RAZONAMIENTOS LGICOS Y LEYES DE INFERENCIA

INGRID JOHANA FLOREZ CODIGO: 63.561.058

ABELARDO MORENO BENITEZ CODIGO 91.078.514
GREISSON WALTER PEREZ CODIGO 71.188.434
MARIA CONSUELO PINZON CODIGO 63.510.156

GRUPO: 200611_83

TUTOR
OSCAR JHONNY GOMEZ

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNADESCUELA DE CIENCIAS BASICAS, TECNOLGIA E INGENERIAS ECBTICURSO PENSAMIENTO LOGICO Y MATEMATICO
MAYO
2015

INTRODUCCION

El siguiente trabajo colaborativo presenta la ejecucin de tres ejercicios

argumentados desde las temticas en lgica proposicional, tablas de verdad en
proposiciones compuestas, razonamiento deductivo e inductivo, leyes de
inferencia que propone el curso de pensamiento lgico y matemtico que
pretende de la mejor forma identificar y utiliza las reglas de inferencia lgica
para la induccin y deduccin sobre formulacin y demostraciones de
razonamiento vlido es situaciones especficas.

As mismo, este trabajo colaborativo argumenta sobre la capacidad

interpretativa y propositiva mediante la aplicacin de la teora de conjuntos y
sus propiedades como de los procesos de razonamiento lgico que permitan el
planteamiento, el anlisis y la solucin de problemas personales, sociales y
profesionales de la cotidianidad.

Finalmente, en el desarrollo de estos problemas se trabaja con base en

la interpretacin e identificacin de las estructura y fundamentos conceptuales
a partir de los mtodos de inferencia lgica por induccin y deduccin mediante
demostraciones y razonamientos vlidos en la solucin de la lgica en relacin
al lenguaje simblico y natural en los diferentes escenarios formativos y de uso
en el contexto profesional.

DESARROLLO DE LA ACTIVIDAD

PUNTO 1.
Los estudiantes del programa de Ingeniera de Alimentos de la UNAD, al
matricular el curso de Fsica General deben asistir al componente prctico.
Marcela hace el siguiente anlisis de la situacin que se le ha presentado al
conocer las fechas en que debe asistir. Si las prcticas de laboratorio son el
prximo domingo entonces asisto a la universidad. Si realizo los experimentos
entonces entrego el informe de laboratorio. Asisto a la universidad y entrego el
informe de laboratorio entonces obtengo un puntaje sumativo para la nota. No
obtengo un puntaje sumativo para la nota. Por lo tanto no realizo los
experimentos o las prcticas de laboratorio no son el prximo domingo.

Identificacin de las proposiciones simples :

p: Si las prcticas de laboratorio son el prximo domingo
q: asisto a la universidad.
r: Si realizo los experimentos
s: entrego el informe de laboratorio.
t: obtengo un puntaje sumativo para la nota.

Premisa 1: (pq)
Premisa 2: (rs)
Premisa 3: ((q^s)t)
Premisa 4: t,
Conclusin

(r V p)

Generando una condicinal con las premisas enlazadas en una conjuncin como
antecedente y la conclusin el consecuente se obtiene una tautologa

[(pq)(rs)((qs)t)t]( r V p)

Demostracin por tabla de verdad

p q

(qs)

((qs)
t)

(rs)

(pq)

[(pq)(rs)((qs)t)t]

(rVp)

[(pq)(rs)((qs)t)t]
( r V p)

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
v
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
f
V
V
V
v
F
F
F
f
V
V
V
v
F
F
F
F

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

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

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

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

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

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

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

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

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f
V
V
V
V
V
V
V
v
V
V
V
V
V
V
V
v

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

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
v
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
v

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f
V
V
V
V
V
V
V
v
F
F
F
F
F
F
F
F

Se evidencia que es una tautologa porque sus valores de verdad es 1 para

todas sus interpretaciones

Truth Table
p

[(pq)(rs)((qs)t)t](rVp)

expression is a tautology

A continuacin se evala si las premisas son verdaderas y la conclusin falsa

en la siguiente tabla

P4

P3

P2

P1

conclus

p q

(qs)

((qs)
t)

(rs)

(pq)

(rVp)

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
v
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
f
V

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

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

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

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

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

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

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

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

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f
V

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

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f
V

F
F
F
F
F
F
F
F
F
F
F
F
F
F
F

V
V
V
V
V
V
v
F
F
F
F
F
F
F
F

V
V
v
F
F
F
f
V
V
V
v
F
F
F
F

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

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

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

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

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

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

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

V
V
V
V
V
V
v
V
V
V
V
V
V
V
v

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

En la anterior tabla se demuestra que no existe ningn caso en que las

premisas sean verdaderas y la conclusin se falsa por lo tanto el razonamiento
es valido

A continuacin demostracin por leyes de inferencia

[(pq)(rs)((qs)t)t]( r V p)

P1. pq
P2. rs
P3. (q^s)t
P4. t
C. r V p
Con la regla de MODUS TOLLENS P3 P4
P5. (q^s)
Con la ley de MORGAN p5
P6. q v s)
Con la ley de TRANSPOSICION p1 p2
P7. qp

P8.sr
Con el DILEMA CONSTRUCTIVO
P9.r v p
El razonamiento es vlido por las leyes de inferencia

PUNTO 2.

Laura est en su casa el domingo y son las ocho de la noche, cansada de un

buen da de paseo quiere revisar sus cursos en el campus antes de ir a dormir,
al entrar al curso de Pensamiento Lgico y Matemtico observa en la agenda
que le queda slo un da para hacer su aporte individual y ella an no ha
comprendido los temas, y entre su preocupacin y su cansancio por el paseo y
pensando en madrugar al siguiente da a trabajar, se sienta frente a su
computador, al ver que su tutor est conectado por skype le hace la siguiente
reflexin mental: Si hago mi aporte individual despus de la fecha
sealada en la gua entonces no puedo participar del trabajo final grupal.
Si no hago mi aporte individual despus de la fecha sealada en la gua,
entonces si resuelvo los problemas de la gua, no puedo participar del
trabajo final grupal. Si no comprendo los temas de Lgica Proposicional o
no resuelvo los problemas de la gua entonces puedo participar del
trabajo final grupal. No comprendo los temas de Lgica Proposicional.
Por lo tanto, no resuelvo los problemas de la gua. Laura piensa que est
desvariando por el cansancio y la preocupacin, y le dice a su tutor que la
excuse por las incoherencias que acaba de escribirle; pero el tutor le comenta
que en realidad, acaba de hacer una argumentacin vlida. El tutor le plantea
una oportunidad de no perder los cien puntos de dicha actividad, le dice que
demuestre a travs de las tablas de verdad y las leyes de inferencia la validez
de su argumento. Ayuda a Laura a aprovechar dicha oportunidad!!!!
p: hago mi aporte individual despus de la fecha sealada en la gua
q : puedo participar del trabajo final grupal
r: resuelvo los problemas de la gua
s: comprendo los temas de Lgica Proposicional

De lo anterior se establecen las siguientes premisas

Premisa 1: (pq)
Premisa 2: p(rq)
Premisa 3: (s v r)q
Premisa 4: s
Conclusin: r

Generando una condicional con las premisas enlazadas en una conjuncin

como antecedente y la conclusin el consecuente se obtiene una tautologa

[(pq)(p(rq))((s v r)q)s] r

Demostracin por tabla de verdad

p q

pq

rq

((p(r
q))

s v r

((sv r)q)

[(pq)(p(rq))((s v r)q)s] r

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
v
F
F
F
F
F

V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
f
V
V
V
v
F

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

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

F
F
F
F
F
F
F
f
V
V
V
V
V
V
V
V
F
F
F
F
F

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

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

V
V
V
V
V
V
V
v
f
F
F
F
F
F
F
F
V
V
V
V
V

V
V
V
V
V
V
V
V
f
F
F
F
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
v
F
F
F
F
V
V
V
V
V
V
V
V
V

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

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

V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V
V

V
V
V
V
V
V
V
V
F
F
F
F
F
F
F
f
V
V
V
V
V

F
F
F
F
F
F
F
F
F
F
F

V
V
v
F
F
F
F
F
F
F
F

F
F
f
V
V
V
v
F
F
F
F

V
F
F
V
V
F
F
V
V
F
F

V
V
V
V
V
V
V
V
V
V
v

F
F
f
V
V
V
V
V
V
V
V

V
V
V
F
F
F
F
V
V
V
V

F
V
V
F
F
V
V
F
F
V
v

V
V
V
V
V
V
V
V
V
V
V

V
V
V
F
F
F
f
V
V
V
V

V
V
V
F
F
F
F
V
V
V
V

V
V
V
F
F
V
V
V
V
V
V

V
V
V
V
V
F
F
F
F
F
F

V
V
V
V
V
V
V
V
V
V
V

Se evidencia que es una tautologa porque sus valores de verdad son

verdaderos para todas sus interpretaciones

Truth Table
p

[(pq)(p(rq))((sVr)q)s] r

T
T
T
T
T
T
T
T
F
F
F
F
F
F
F
F

T
T
T
T
F
F
F
F
T
T
T
T
F
F
F
F

T
T
F
F
T
T
F
F
T
T
F
F
T
T
F
F

T
F
T
F
T
F
T
F
T
F
T
F
T
F
T
F

T
T
T
T
T
T
T
T
T
T
T
T
T
T
T
T

expression is a tautology

PUNTO 3.

Premisas
P
Disciplina
en los
estudios

1
2
3
4

Q
Entregar aportes
significativos a
tiempo

R
S
Resolver
Dedicacin a
inquietudes rumbear y
con el tutor pasear

P(Q V R)
S-Q
T-R
P T
CONCLUSION Q

((P(Q V R)) (S-Q)

(T-R) (P T)) Q

T
Ver videotutoriales en
la noche.

PRUEBA DE VALIDEZ
TABLAS DE VERDAD-Comprobar, si las premisas tomadas como
verdaderas, generan una conclusin verdadera, si es as, la validez
es correcta, si no lo es entonces es un razonamiento invalido.
C
#
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23

P
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V

Q
F
F
F
F
F
F
F
F
V
V
V
V
V
V
V
V
F
F
F
F
F
F
F

T
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V
V
F
F
F
F
V
V
V

R
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V
V
F
F
V

S
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F
V
F

1
Q V R P(Q V R)

2
-Q S-Q

3
4
-R T-R P T

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

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

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

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

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

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

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

24
25
26
27
28
29
30
31
32

V
V
V
V
V
V
V
V
V

F
V
V
V
V

V
F
F
F
F

V
V
V
V

V
F
F
V
V

V
V
V
V
V

V
V
V
V
V

V
F
F
F
F

V
V
F
V
F

F
V
V
F
F

F
V
V
V
V

V
F
F
F
F

V F

F V

V
V
V

V V
F V
V V

V
V
V

F
F
F

F
V
F

V
F
F

V
F
F

V
V
V

F
V
V

V
F
V
F
V

Las premisas son verdaderas y la conclusin es verdadera, el

razonamiento es valido
INFERENCIA
1
2
3
4

P(Q V R)
S-Q
T-R
P T
CONCLUSION Q

5 P
4-SIMP
6 Q VR
1-MP
7 Q
7-SIMP
RAZONAMIENTO VALIDO

CONCLUSIONES

Para finalizar gracias a este trabajo nos ayud a profundizar ms sobre los
temas de la primera y segunda unidad de lgica matemtica como son los
principios de la lgica, razonamientos lgicos deductivo e inductivo, leyes de
inferencia y validez, tambin se aprendi a construir tablas de verdad,
determinar el problema entre otros, la cual fue un gran complemento para la
construccin de este trabajo.
Por lo tanto concluimos que:
-

La inferencia lgica, ayud a evaluar situaciones cotidianas para derivar

conclusiones, desarrollando as el razonamiento inductivo y que a travs
de las premisas en las tablas de verdad se determina el grado de
validez.

Una inferencia definen como las expresiones formuladas en el cual se

utiliza un lenguaje formal y tiene una relacin lgica.

Que son los razonamientos deductivos e inductivos los que nos permiten
medir la probabilidad de los argumentos presentados en un problema
que requiere de anlisis desde de razonamiento lgico, mientras que, la
lgica proposicional y su interpretacin permite razonar naturalmente y
demostrar mediante signos a travs de la construccin de las tablas de
verdad, la validez e invalides de cualquier argumento.

BIBLIOGRAFIA

Acevedo, G. (2012).
Mdulo Lgica Matemtica. Medelln, Antioquia.
Recuperado
de:
http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_AVA
_2015-01/Lectura-1.pdf

Castro, M. (2008) LA LGICA IF Y LOS FUNDAMENTOS DE LAS

MATEMTICAS. Signos Filosficos. Vol. 19, (pgs145-171). Disponible en la
Biblioteca virtual de la UNAD:
http://web.ebscohost.com/ehost/pdfviewer/pdfviewer?vid=12&sid=62c2135b9db5-45d5-a2fb-0d1d842c739d%40sessionmgr198&hid=113

Null, F. (2010). El razonamiento lgico en estudiantes universitarios. Zona

Prxima. p.40. Disponible en la Biblioteca virtual de la UNAD:
http://rcientificas.uninorte.edu.co/index.php/zona/article/viewFile/1125/702

Roth, Ch. (2005). lgebra Booleana. Mxico: Cengage Learning Editores S.A.
Disponible en la Biblioteca virtual de la UNAD:
http://bibliotecavirtual.unad.edu.co:2130/ps/pdfViewer?inPS=true&prodId=GVR
L&userGroupName=unad&docId=GALE%7CCX3002600013&contentSegment
=&isETOC=true&accesslevel=FULLTEXT