Académique Documents
Professionnel Documents
Culture Documents
TRABAJO COLABORATIVO 3
LGICA PROPOSICIONAL, TABLAS DE VERDAD EN
PROPOSICIONES COMPUESTAS, RAZONAMIENTO
DEDUCTIVO, RAZONAMIENTO INDUCTIVO, LEYES DE
INFERENCIA, VALIDEZ.
Presentado por:
EDISON VIANNEY CARDONA MONTOYA
CAROLINA MESA
ALVARO IVAN RAMIREZ
WILSON JAIME BENINCORE
LEIDY JULIETH RAMIREZ
DAGOBERTO JULIO
INTRODUCCION
El presente trabajo se realiza para profundizar sobre los temas de la tercera unidad del
curso de pensamiento lgico matemtico en donde hemos aplicado los conceptos
estudiados en el reconocimiento y validacin de las diferentes leyes de inferencia as
como de las formas de razonamiento inductivo y deductivo.
CONTENIDO GENERAL
1.
2.
3.
4.
5.
El alza en los precios del petrleo es imparable. Esto obligar a disminuir los niveles de
consumo mundial de petrleo o a incrementar la produccin de biocombustibles. Todo
indica, sin embargo, que el mundo no est dispuesto a disminuir los niveles de consumo
de petrleo. La otra cara de la moneda es que el incremento en la produccin de
biocombustibles obliga a dedicar cada vez ms tierras a cultivos aprovechables para
produccin de biocombustibles. Esto traer como consecuencia alzas exageradas en los
precios de alimentos bsicos para consumo humano. Lo anterior muestra que el mundo
experimentar alzas exageradas en los precios de los alimentos bsicos para la especie
humana.
r:
q:
p:
s:
t:
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
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
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
{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
V
V
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
[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
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
{P ^
(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
[p => (q v r)] ^ q ^
v r) ^ q ^
V V F F F
V V F F F
V V F F F
V V F F F
V F F F F
V F F F F
V F F F F
V F F F F
V V V V V
V V V V V
V V V V V
V V V V F
F F F V F
F F F V F
F F F V F
F F F V F
V V F F F
V V F F F
V V F F F
V V F F F
V F F F F
V F F F F
V F F F F
V F F F F
V V F V F
V V F V F
V V F V F
V V F V F
F F F V F
F F F V F
F F F V F
F F F V F
(r =>
(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
V
V
V
V
V
F
V
V
V
V
V
V
F
F
V
V
V
V
V
V
F
F
V
V
V
V
(s=>
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)}
^
F
F
F
F
F
F
F
F
V
F
V
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
F
=> t
(s =>
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
V
V
V
F
F
V
F
V
t)}
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
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
t
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
Representacin Simblica:
{p ^ [p => (q v r)] ^ q ^ (r => s) ^ (s=> t)} => t
Premisas de la representacin simblica:
P1:
P2:
p=> (q v r)
P3:
P4:
r => s
P5:
s => t
Conclusin:
P
P => (q v r)
q
r => s
s => t
t Mtodo indirecto, negacin de la conclusin.
s Modus tollendo tolens entre 5 y 6.
r Modus tollendo tolens entre 4 y 7.
q ^ r Conjuncin entre 3 y 8.
(q v r) Ley de Morgan de 9.
p Modus tollendo tolens entre 2 y 10.
p = t Conclusin.
p=t
a) Segn las tablas de verdad es una tautologa y siempre sern correctas
b) Todo argumento al final puede tener la estructura de la deduccin.
c) Las inferencias nos indican argumentos que siempre sern correctos.
CONCLUSIONES
Se llama razonamiento lgico al proceso mental de realizar una inferencia de una
conclusin a partir de un conjunto de premisas. Ser deductivo o inductivo ambas son
formas de inferencia, ambas alcanzan el mismo propsito. La conclusin puede no ser
una consecuencia lgica de las premisas y aun as dar lugar a un razonamiento, ya que
un mal razonamiento an es un razonamiento. Cuando vamos de lo particular a lo general
tomando todas las premisas, podemos concluir que es inductivo debido a que llegamos
al fin general que es la necesidad del ser humano. Los razonamientos pueden ser vlidos
correctos o no vlidos incorrectos.
Referencias Bibliogrficas
Universidad nacional abierta y a distancia, Escuela de ciencias bsicas, tecnologa e
ingeniera, Modulo de Lgica matemtica ciencias bsicas, Georffrey Acevedo
Gonzlez, Medellin 2012.