USO DE LAS REGLAS DE INFERENCIA

Trabajo realizado por:

Michel Sebastian Vargas Martinez
Grupo 200610_846

Presentado al Tutor:
ALVARO JAVIER ROJAS BARACALDO

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

PENSAMIENTO LOGICO MATEMATICO
TUNJA
2016
 ETAPA 1
Demostraciones Directas e Indirectas
Los procedimientos de demostracin permiten llegar a lo lgico entre las proposiciones
fundamentales de la teora esto debido con sus consecuencias sucesivas, hasta deducir la
conclusin o una idea. La demostracin directa de una proposicin, es un conjunto de
proposiciones de validez aceptada de las cuales se infiere un teorema como una
consecuencia inmediata en cambio la demostracin indirecta es la que da valides a una
idea, pero probando las consecuencias de su contraria son falsas.
Ejemplos:
1. Dadas las proposiciones:

a) ~
b)
Concluir
. ~

Solucin:
Ya que es igual a decir que ~ ~ por MTT (modus tollendo tollens), teniendo
esta nueva proposicin podemos decir que
c) ~ ~
Decimos que de las proposiciones a y c ya podremos concluir t
~ y ~ ~, entonces, ~ por SILOGISMO HIPOTETICO

2. Construir una Indirecta de:

Si 2 es par, entonces es par, (con x entero)

Se supone que existe un entero x tal que 2 es par y x es impar

Analizando con la demostracin directa, decimos que, si x es impar, entonces 2 es

impar, luego es imposible decir que x sea impar y que 2 sea par, se encontr la
contradiccin.
 ETAPA 2
Ley de Adicin y Tollendo Ponens.
Ley de Adicin:
Se puede adicionar proposiciones simples con el termino de enlace disyuncin, aplicando
la ley de la adicin. Su abreviatura es LA (Ley de la Adicin) Deducciones o deduccin
proposicional Son la combinacin de reglas de inferencia lgica que se puede aplicar a
un conjunto de premisas para llegar a la demostracin y obtencin de la conclusin.
Primero presentamos los tipos de inferencia, la inferencia vlida en computacin y
matemticas y al final una serie de reglas que se utilizan para la inferencia deductiva. La
inferencia es la forma en la que obtenemos conclusiones en base a datos y declaraciones
establecidas.
Tollendo Ponens:
La disyuncin, que se simboliza con el operador V, representa una eleccin entre dos
enunciados. Ahora bien, en esa eleccin, forma parte de las posibilidades escoger ambos
enunciados, es decir, la verdad de ambos enunciados no es incompatible, si bien, ambos
no pueden ser falsos. A partir de lo anterior, se deduce la siguiente regla, denominada
tollendo ponens (negando afirmo): si uno de los miembros de una disyuncin es negado,
el otro miembro queda automticamente afirmado, ya que uno de los trminos de la
eleccin ha sido descartado.

Ejemplos:
Tollendo Ponens:
1.

2. Demostrar
1. p
2. p
3. p
4. p

5. MTT 3,4
6. MTP 1,5
7. MPP 2,6
8. A (L. adjuncion) 7,4
 ETAPA 3

4. En un colegio de la ciudad se est buscando brindar un premio al estudiante con el

mejor promedio acadmico; para lo cual se quiere exonerar a dicho estudiante de los
exmenes finales. Es as que en la reunin acadmica se hace el siguiente anlisis: Si
Jaime posee un promedio ms alto que Pablo, entonces Martha posee un promedio ms
bajo que Aura. Martha no tiene un nivel acadmico ms bajo que Aura. Si Jaime y Lina
tienen el mismo promedio, entonces Jaime est con un promedio ms alto que Pablo. Por
consiguiente, Jaime y Lina no tienen el mismo promedio. Con el uso de las dos maneras
de la tabla de verdad y con el uso de las leyes de inferencia comprobar la validez del
razonamiento hecho.

p Jaime posee un promedio ms alto que el de Pablo.

q - Martha posee un promedio ms bajo que Aura.
r - Jaime y Lina tienen el mismo promedio
~q Martha no tiene un nivel acadmico ms bajo que Aura.
~ r Jaime y Lina no tienen el mismo promedio

[( ) (~) ( ) (~)]
p q r ( ) ~q ( ) (~) ( ) ~r ( )
(~)
V V V V F F V F F
V V F V F F V V V
V F V F V F V F F
V F F F V F V V V
F V V V F F V F F
F V F V F F F V V
F F V V V V F F V
F F F V V V F V V

Demostracin en simulador: