PENSAMIENTO LOGICO Y MATEMATICO

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

TUTOR ALVARO IVAN RAMIREZ

Grupo 200611A_222

Escuela de Ciencias de la Educacin

Universidad Nacional Abierta y a Distancia
Medelln 31 Mayo 2015
 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. Desarrollo de la problemtica. Pag. 4

2. Tabla de la verdad Pag. 5
3. Representacin simblica. Pag. 6
4. Conclusiones. Pag 7
5. Referencias. Pag 8
A continuacin se plantean tres problemticas estructuradas, en los cuales deben utilizar
los conceptos, propiedades analticas de las leyes de inferencia para dar una adecuada
interpretacin al enunciado, poder argumentar la estructura de planteamiento del
problema y la resolucin de cada situacin, segn sea el caso, de si es un razonamiento
deductivo o un razonamiento inductivo. Los problemas son:

Decidir utilizando las tablas de verdad y la aplicacin de las leyes de inferencia si el

argumento es o no vlido:

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: Incrementar la produccin de biocombustibles.

q: Disminuir los niveles de consumo mundial de petrleo.
p: Alza en los precios del petrleo es imparable.
s: Dedicarn cada vez ms tierras a produccin de biocombustibles.
t: Alzas exageradas en los precios de los alimentos bsicos.

{P ^ [p => (q v r)] ^ q ^ (r => s) ^ (s=> t)} => t

 {P ^ [p => (q v r)] ^ q ^ (r => s) ^ (s=> t)} => t
p q r s t
{P ^ [p => (q v r) ^ q ^ (r => s) ^ (s => t)} => t
V V V V V V V V V V V V F F F V V V F V V V V V
V V V V F V V V V V V V F F F V V V F V F F V F
V V V F V V V V V V V V F F F V F F F F V V V V
V V V F F V V V V V V V F F F V F F F F V F V F
V V F V V V V V V V V F F F F F V V F V V V V V
V V F V F V V V V V V F F F F F V V F V F F V F
V V F F V V V V V V V F F F F F V F F F V V V V
V V F F F V V V V V V F F F F F V F F F V F V F
V F V V V V V V V F V V V V V V V V V V V V V V
V F V V F V V V V F V V V V V V V V F V F F V F
V F V F V V V V V F V V V V V V V F V F V V V V
V F V F F V V V V F V V V V F V F F F F V F V F
V F F V V V F V F F F F F V F F V V F V V V V V
V F F V F V F V F F F F F V F F V V F V F F V F
V F F F V V F V F F F F F V F F V F F F V V V V
V F F F F V F V F F F F F V F F V F F F V F V F
F V V V V F F F V V V V F F F V V V F V V V V V
F V V V F F F F V V V V F F F V V V F V F F V F
F V V F V F F F V V V V F F F V F F F F V V V V
F V V F F F F F V V V V F F F V F F F F V F V F
F V F V V F F F V V V F F F F F V V F V V V V V
F V F V F F F F V V V F F F F F V V F V F F V F
F V F F V F F F V V V F F F F F V F F F V V V V
F V F F F F F F V V V F F F F F V F F F V F V F
F F V V V F F F V F V V F V F V V V F V V V V V
F F V V F F F F V F V V F V F V V V F V F F V F
F F V F V F F F V F V V F V F V F F F F V V V V
F F V F F F F F V F V V F V F V F F F F V F V F
F F F V V F F F V F F F F V F F V V F V V V V V
F F F V F F F F V F F F F V F F V V F V F F V F
F F F F V F F F V F F F F V F F V F F F V V V V
F F F F F F F F V F F F F V F F V F F F V F V F

El argumento es valido si vemos la tabla de verdad y aplicamos las leyes de

inferencia por tal razn es Tautologa.
Representacin Simblica:

{p ^ [p => (q v r)] ^ q ^ (r => s) ^ (s=> t)} => t

Premisas de la representacin simblica:

P1: p

P2: p=> (q v r)

P3: q

P4: r => s

P5: s => t

Conclusin: t

Demostracin reglas de inferencia:

1 P
2 P => (q v r)
3 q
4 r => s
5 s => t
6 t Mtodo indirecto, negacin de la conclusin.
7 s Modus tollendo tolens entre 5 y 6.
8 r Modus tollendo tolens entre 4 y 7.
9 q ^ r Conjuncin entre 3 y 8.
10 (q v r) Ley de Morgan de 9.
11 p Modus tollendo tolens entre 2 y 10.
12 p = t Conclusin.
13 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.