LGICA MATEMTICA

ACTIVIDAD INDIVIDUAL

ANGELA MELISA MALDONADO

GRUPO: 90004_832
TUTORA:
YEIMY JULIETH MORENO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

COLOMBIA
ABRIL DEL 2016

INTRODUCCIN

Con la realizacin de esta actividad se pretende identificar los conceptos y

temticas a desarrollar en la unidad dos del curso, dentro de estos se encuentran
las leyes de inferencias con sus aplicaciones en situaciones vivenciales, las tablas
de verdad, el mtodo de reduccin al absurdo y del uso de software de apoyo o
simulador llamado Truth Table.

DESARROLLO DE LA ACTIVIDAD

TAREA 1
Leyes de inferencia lgica:
Una ley de inferencia es un esquema para construir inferencias o conclusiones
vlidas. Estas leyes permiten establecer relaciones sintcticas entre un conjunto
de premisas y una asercin llamada conclusin.
Estas relaciones sintcticas son usadas en el proceso de inferencia, por el que se
llega a nuevas aserciones verdaderas a partir de otras ya conocidas.
Dentro de los grupos de leyes de inferencia lgica se encuentran:
- Modus Ponendo Ponens:
Constituye un mtodo que afirma el consecuente, afirmando el antecedente de la
implicacin. Lo que quiere decir que tiene la siguiente forma:
Si A, entonces B
A, por lo tanto B.
Para comprender mejor esta relacin lgica se dan los siguientes ejemplos:
Ejemplo 1:
-

Si son las 6 am, entonces ya amaneci.

Son las 6 am. Por lo tanto, ya amaneci.

Ejemplo 2:

Si esta soleado, entonces es de da.

Esta soleado. Por lo tanto, es de da.

Ejemplo 3:
-

Si Javier esta triste, entonces est llorando.

Javier est triste. Por lo tanto, est llorando.

- Modus Tollendo Tollens:

Constituye un mtodo que negando el consecuente, se puede negar el
antecedente de la accin. Esta dado as:

Si A, entonces B
No B. Por lo tanto, no A.
Ejemplo 1:
-

Si son las 6 am, entonces amaneci.

No amaneci. Por lo tanto, no son las 6 am.

Ejemplo 2:
-

Si esta soleado, entonces es de da.

No es de da. Por lo tanto, no est soleado.

Ejemplo 3:
-

Si Javier esta triste, entonces est llorando.

Javier no est llorando. Por lo tanto, Javier no est triste.

- Silogismo Hipottico:
Esta ley se aplica a condicionales como premisas. Se compone de dos premisas
condicionales. La primera es una condicional y la segunda tiene como
antecedente el consecuente de la primera premisa y la conclusin se forma con el
antecedente de la segunda premisa.
Primera premisa: A entonces B
Segunda premisa: B entonces C
Conclusin: A entonces C
Ejemplo 1:
Proposiciones condicionales como premisas:
- Si se satisfacen las necesidades bsicas, entonces el estado recauda como
corresponde.
- Si el estado recauda como corresponde, entonces el ciudadano est consciente
del pago de sus tributos.

Se puede concluir: Si se satisfacen las necesidades bsicas, entonces el

ciudadano es consciente del pago de sus tributos.
Ejemplo 2:
Proposiciones condicionales como premisas:
-

Si t estudias lgica, conocers formas de deducir argumentos vlidos.

Si conoces formas de deducir argumentos vlidos, entonces puedes

aprender a plantear argumentos vlidos.

Se puede concluir: Si estudias lgica, entonces puedes aprender a plantear

argumentos vlidos.
Ejemplo 3:
Proposiciones condicionales como premisas:
-

Si el perro ladra durante la noche, un desconocido puede estar merodeando

cerca.

Si un desconocido est merodeando cerca, entonces es mejor colocar la

cerradura.

Se puede concluir: Por lo tanto, si el perro ladra durante la noche, entonces es

mejor colocar la cerradura.

TAREA 2
Problemas de aplicacin primera parte: