LGICA PROPOSICIONAL, TABLAS DE VERDAD EN

PROPOSICIONES COMPUESTAS, RAZONAMIENTO

DEDUCTIVO, RAZONAMIENTO INDUCTIVO, LEYES DE
INFERENCIA, VALIDEZ.

PENSAMIENTO LOGICO Y MATEMATICO

SUSY HERRERA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

ESCUELA DE CIENCIAS BASICAS TECNOLOGIA E INGENIERIA
ADMINISTRACION EN SALUD
CEAD PALMIRA - VALLE
Abril de 2015

Objetivos

Objetivo general

Con esta actividad se busca que se conceptualice, analice y argumente de forma

adecuada los procedimientos desde la lgica proposicional utilizados para demostrar la
veracidad y validez de situaciones especficas del mundo real.

Objetivo especifico

Representar simblicamente (utilizando los conectivos lgicos) cada razonamiento y

hacer la respectiva tabla de verdad.

Utilizar las tablas de verdad y graficar la tabla con las premisas evidenciar que la tabla

que se obtiene es una tautologa o no

Identificar en el silogismo las diferentes proposiciones categricas, y proponer una
representacin mediante diagramas de ven de las diferentes relaciones entre las clases

implicadas.
Demostracin por leyes de inferncia.
Evidenciar la utilizacin del simulador TRUTH

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.

Proposiciones simples:
p: las prcticas son el domingo
q: asiste a la universidad
r: realiza los experimentos
s: entrega el informe
t: obtiene puntaje sumativo

Premisa 1: p q
Premisa 2: r s
Premisa 3: (q ^s) t
Premisa 4: ~t
Conclusin
(~r v ~p)
De modo que:{[(pq)^(rs)^(q ^s)t]~t} (~r v~p)
Proposicin compuesta
p: las prcticas de laboratorio son el domingo asisto a la universidad
q: realizo los experimentos entonces entrego el informe de laboratorio
r: asisto y entrego el informe entonces obtengo un puntaje sumativo
s: no obtengo un puntaje sumativo
t: no realizo los experimentos o practicas no son el prximo domingo
Tabla de verdad
p
v
v

q
v
v

r
v
v

s
v
v

t
v
f

~p

~r

~t

p q

r s

(q ^s)

f
f

f
f

f
v

v
v

v
v

f
f

(q ^s) t
v
f

[(q ^s) t] ~t
f
v

(~r v ~p)
f
f

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

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

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

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

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

q^s
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v

P1
pq
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v

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

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

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

Es de razonamiento inductivo
p
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
v
f
f
f

q
v
v
v
v
v
v
v
v
f
f
f
f
f
f
f
f
v
v
v

r
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v

s
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f
f
v
v
f

t
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v

~p
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
f
v
v
v

~r
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
f
f
f

P2
rs
v
v
f
f
v
v
v
v
v
v
f
f
v
v
v
v
v
v
f

P3
(q ^s) t
v
f
v
v
v
f
v
v
v
v
v
v
v
v
v
v
v
f
v

P4
~t
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f
v
f

Conclusin
~r v ~p
f
f
f
f
v
v
v
v
f
f
f
f
v
v
v
v
v
v
v

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

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
f
f
f
f
v
v
v
v
f
f
f
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
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

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
v
v
v
v
v
v
f
f
v
v
v
v

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

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

El razonamiento es valido
Leyes de inferencia:
Premisa 1: p q
Premisa 2: r s
Premisa 3: (q ^s) t
Premisa 4: ~t
____________________
Premisa 3: (q ^s) t
Premisa 4: ~t
_______________________
Premisa 5: ~(q^s) MTT
_____________________
Premisa 6: ~q v ~s L. MORGAN
Premisa 7: ~q~p
Premisa 8: ~s ~r
_________________________________
Premisa 9: ~rv ~p

CONCLUSIN: PREMISA 9:

~rV ~p

Dilema Constructivo

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

Proposiciones simples:
p: Hago mi aporte
q: trabajo final
r: resuelvo los problemas
s: comprendo los temas

Definir las premisas

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

~r

De modo que: [(p~q)^~p(r~q)^(~s v ~r)q ^~s] ~r

Proposicin compuesta

p: Aporte individual despus de la fecha sealada en la gua entonces no puedo participar del
trabajo final grupal
q: 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
r: comprendo los temas de Lgica Proposicional o no resuelvo los problemas de la gua
entonces puedo participar del trabajo
s: No comprendo los temas de Lgica Proposicional. Por lo tanto, no resuelvo los problemas

~p

~q

~r

~s

(p~q)

(r~q)

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

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

Tabla de verdad

~p(r~q)

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

(p~q)^ ~p(r~q)

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

(~s v ~r)

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

(~s v~r)q

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

[(p~q

P1

P2

P3

P4

Conclusi
n

~p

~q

~s v ~r

p~q

~p(r~q
)

(~s v ~r)q

~s

~r

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

f
f
f
f
f
f
f
f
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
v
v
v
f
v
v
v
f
v
v
v
f
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
f
f
v
v
v
v
v
v

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

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

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

El razonamiento es valido

Premisa 1: p ~q
Premisa 2: ~p(r ~q)
Premisa 3: (~s v ~r) q
Premisa 4: ~s
_______________________
P5:

~s v ~r

P6:

MPP 3,5

P7:

~p

MTT 1,6

P8:

r~q

MPP 2,7

Conclusin P9: ~r

Adj 4

MTT 6,8

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

Proposiciones simples.
p: disciplinada en mis estudios
q: aportes a tiempo
r: resuelvo mis inquietudes
s: rumbear y a pasear
t: veo video tutoriales

Definir las premisas

Premisa 1: pq v r
Premisa 2: s~q
Premisa 3: t~r
Premisa 4: p
Conclusin: q

De modo que: [p(q v r)^(s~q)^(t~r)p]q

Proposicin compuesta
p: disciplinada en mis estudios entonces entrego mis aportes
q: resuelvo inquietudes mis inquietudes con mi tutor

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

q
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

r
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

s
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

t ~p ~q (q v r)
v f
f
v
f
f
f
v
v f
f
v
p q r s t ~
f
f
f
v
p
v f
f
v
fv vf v f v vv f
vv vf v f v f v f
fv vf v f f vv f
vv vf v v f f v f
fv vf f v v vv f
vv vf f v v f v f
fv vf f v f vv f
vv vf f v f f f f
fv ff v v v v f f
vv ff v v v f f f
fv ff v v f v f f
vv vf v f f f v f
fv vf f f v vv f
vv vf f f v f v f
fv vf f f f vv f
vv vf f f f f v f
ff vv v f v vv v
vf vv v f v f v v
ff vv v f f vv v
vf vv v v f f v v
ff vv f v v vv v
vf vv f v v f v v
ff vv f v f vv v
vf vv f v f f f v
ff vf v v v v f v
vf vf v v v f f v
ff vf v v f v f v
f f v f f v
f f f v v v
f f f v f v
f f f f v v
f f f f f v

p(q v r)
v
v
v
~q t~
v
v r
f v v
f v v
f v v
f v v
f v f
f v v
f v f
f f v
v f v
v f v
v f v
v v v
v v f
v v v
v v f
v v v
f v v
f v v
f v v
f v v
f v f
f v v
f v f
f v v
v v v
v v v
v V v
v
v
v
f
v
v
v
f
v
v

(s~q) p(q v r)^(s~q)

(t~r)
f
f
v
f
f
v
P1
P2 v
P3
P4
v
v
p(q v r) (s~q) (t~r)
p
v
v
v
f
f
f
f f
v
f v
v v
f v
v
vv
f v
v
v
v
v
v
v v
v
v
v
v
v
v v
v
f
f
v
v
v f
v
f
v
v
v
v v
v
v
f
v
v
v f
v
v
v
v
f
f v
v
v
v
v
f
v v
v
v
v
v
f
f v
v
v
v
v
f
v v
v
v
v
f
f
v v
f
v
f
f
f
v f
f
v
v
v
v
v v
f
v
f
v
v
v f
f
v
v
f
f
f v
v
f
v
f
f
v v
v
f
v
v
v
f v
v
v
v
v
v
v v
v
v
v
v
v
v v
v
f
f
v
v
v v
v
f
v
v
v
v v
v
v
f
v
v
v v
v
v
v
v
v
f v
v
v
v
v
v
v v
v
v
v
v
v
f v
v
v
v
v
v
v v
v
v
v
v
v
v
f
v
v
v
v
v
v
v
f
v
v
v
v
v

(t~r)p
v
v
conclusin
v
v q
f
v v
f v
v v
v v
v v
v v
v v
f v
v f
f f
v f
v 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 f
v f
v f
f
f
f
f
f

rumbo y a paseo entonces no entrego aportes

s: en las noches veo video tutorial entonces no necesito resolver mis inquietudes
t: soy disciplinada veo los videos por lo tanto entrego mis aportes
Tabla de verdad

Razonamiento inductivo

[p(q v r)^(s~q)^(t~r
f
f
v
v
f
f
f
v
v
v
v
v
f
f
f
f
f
f
v
v
f
f
v
v
v
v
v
v
v
v
v
v

r: si

El razonamiento es valido
Leyes de inferencia
P1: pq v r
P2: s~q
P 3: t~r
P 4: p
P5: q v r MPP (1,4)