PASO 3

USO DE LAS REGLAS DE INFERENCIA

GRUPO:

200611_52

TUTOR:
CRISTIAN BASALLO MEDINA

ELABORADO POR:
LEIDI MILDREC ROJAS

UNIVERSIDAD ABIERTA Y A DISTANCIA UNAD

JAG BOGOTA D,C
2017
 Objetivos

Identificar los procesos operativos a travs de la tabla de verdad.

Aprender aplicar el tema de las leyes de inferencia en los problemas cotidianos
Presentar los conceptos de sustitucin y unificacin.
Exponer las reglas de inferencia.
 Introduccin

En el clculo lgico, las reglas de la inferencia o reglas de transformacin son

aquellos esquemas formales que nos permiten derivar unas formulas bien formadas
(conclusiones) a partir de otras (premisas).
La inferencia es la forma en la que obtenemos conclusiones en base a datos y declaracin
establecidas.

Primera Etapa
 Conceptualizacin de uno de los tipos de demostracin lgica seleccionada

R//.

Demostracin Directa e Indirecta:

La demostracin:

La demostracin es un razonamiento que prueba la validez de un nuevo

conocimiento; es el enlace entre los conocimientos recin adquiridos y los conocimientos
anteriores. Los procedimientos de demostracin permiten establecer la conexin lgica
entre las proposiciones fundamentales de la teora, sus consecuencias sucesivas, hasta
deducir la conclusin o tesis que as se demuestra.
Los principales tipos de demostracin son:
La demostracin directa
La demostracin directa de una proposicin t (teorema) es un conjunto de proposiciones o
premisas que son postulados o proposiciones de validez aceptada y de las cuales se infiere t
como consecuencia inmediata.

Ejemplo 1.
Dadas las premisas:
1. p ~q
2. r q
Concluir: t. p ~r
Demostracin: Puesto que r q es equivalente a ~q ~r, por MTT se tiene la premisa:
3. ~q ~r, ahora, de las premisas 1 y 3 se puede concluir t, es decir, como
p ~q y ~q ~r, entonces, p ~r. Por SH
La demostracin indirecta
Se realiza una demostracin indirecta cuando se establece la validez de una tesis t probando
que las consecuencias de su contraria son falsas.

Ejemplo 1.
Construir la demostracin indirecta de:
Si x2 es par, entonces x es par, (con x entero)
Suponga que existe al menos un entero x tal que x2 es par y x es impar.
Por el ejemplo 2 analizado en la demostracin directa, se sabe que si x es impar, entonces
x2 es impar, luego es imposible que x sea impar y que x2 sea par.
Esta es la contradiccin buscada.
La demostracin por recursin
Cuando la tesis se prueba por medio de induccin matemtica.
Ejemplo 2.
Este tipo de demostraciones se utilizan cuando los enunciados tienen una
proposicin abierta en una variable n, y es necesario demostrar que tal proposicin se
verifica para todos los elementos n que pertenecen a un subconjunto infinito dado sobre los
nmeros enteros, el axioma de la induccin
Matemtica es el siguiente:
Dado un conjunto de nmeros enteros A = {n / n a} y una proposicin de la forma P(n),
se puede demostrar la verdad de esta proposicin estableciendo los siguientes pasos:
I. P(a) es verdadera cuando se sustituye n por a en P(n)
II. Se supone que la proposicin P(n) es verdad para todo k del conjunto A, es decir, P (k)
es verdadera, a esta proposicin, se le llama Hiptesis de Induccin.
III. Se demuestra que para el siguiente trmino al k-simo, o sea k+1, P (k+1) es verdadera

Segunda Etapa

Conceptualizacin de una de las terminologas de las leyes de inferencia

seleccionada

Silogismo Hipottico y Silogismo Disyuntivo.

Silogismo hipottico.
Tambin se puede entender que el argumento que se usa en su estructura no es
siempre valido. Para determinar si es silogismo hipottico se resalta que la primera parte de
la conclusin es el antecedente de la primera premisa y la segunda parte de la conclusin es
el consecuente de la segunda premisa.
De forma lgica
1. p -> q
2. q ->r
3. p ->r
4.
Ejemplo.
1. Todos los hombres son mamferos.
2. Todos los mamferos son animales.
Conclusin: Todos los hombres son animales

Silogismo disyuntivo.
 Esta ley se compone cuando se caracteriza cuando la primera premisa es a separada
por o y la segunda premisa es la negacin del antecedente o del consecuente de la
primera premisa, y la conclusin es la afirmacin de la primera premisa del antecedente o
del consecuente.
De forma lgica
1. p v q o pvq
2. ~p o ~q
Conclusin: q o p
Ejemplo:

1. Llueve o hace sol

2. No llueve.
Conclusin: hace sol.

Tercera etapa:

Proceso operativo a travs de la tabla de verdad y de la aplicabilidad de las leyes

de inferencia de la resolucin y demostracin de la validez del enunciado
problmico tipo argumento que haya seleccionado, con el respectivo pantallaso
como evidencia de la comprobacin a travs del simulador TRUTH

En la ciudad de Pereira se ha creado un buffet de abogados Entre cuatro amigos, del

cual Juan Arroyo y Mara Aguirre hacen parte; en cierta ocasin se gener una discordia
laboral por diferentes puntos de vista en el proceso de acompaamiento legal a una persona
sindicada de varios delitos; Juan ha asumido la defensa de Alberto quien es la fuente de
discordia con Mara. Mara ha decidido tomar acciones radicales frente a lo ocurrido con
Juan: Si el cliente de Juan gana la apelacin, entonces Mara se retira del buffet de
abogados. Mara se retira del buffet de abogados si y slo si Alberto el cliente de Juan no es
llevado a prisin. Por lo tanto, si el cliente de Juan gana la apelacin, entonces no es
llevado a prisin. Determinar con el uso de las dos formas de la tabla de verdad la validez
del razonamiento que hace Mara y hacerlo tambin con el uso de las leyes de inferencia.
Declaraciones de proposiciones simples:
P: Si el cliente de juan gana la apelacin
Q: Mara se retira del buffer de abogados
R: Si y solo si Alberto el cliente de Juan no es llevado a prisin

Declaracin de premisas compuestas proposiciones compuestos en lenguaje natural

Premisa 1: Si el cliente de Juan gana la apelacin entonces Mara se retira del buffet de
abogados.
Premisa 2: Mara se retira el buffet de abogados si y solo si Alberto el cliente de Juan no va
a prisin.
Conclusiones: Por lo tanto si el cliente de Juan gana la apelacin, entonces no es llevado a
prisin
Declaracin de premisa en lenguaje formal
1. (pq)
2. (q~r)
3. (pr)
4. (p~r)

Demostracin por tablas de verdad

 [(pq) (q~r) (pr)] (p~r)

(pq) (pq)
p q r ~r (pq) (q~r) (pr) (q~r) [(pq) (q~r)
(q~r) (pr) (pr)] (p~r)

V V V F V F V F F V
V V F V V V F V F V
V F V F F V V F F V
V F F V F V F F F V
F V V F V F F F F V
F V F V V V F V F V
F F V F V V F V F V
F F F V V V F V F V

Hacer uso del simulador TRUTH para comprobar la respectiva tabla de verdad.
 Conclusiones

La finalidad de la inferencia lgica es utilizar las reglas de inferencia de manera de

conduzcan a otras frmulas que se denominan conclusiones. El paso lgico de las premisas
a la conclusin es una deduccin. La conclusin que se obtiene se dice que es una
consecuencia lgica de las premisas si cada paso que se da para llegar a la conclusin est
permitido por una regla.
 Bibliografa

https://es.wikipedia.org/wiki/Reglas_de_inferencia
http://www.monografias.com/trabajos81/reglas-inferencias/reglas-
inferencias.shtml
https://www.zweigmedia.com/MundoReal/logic/logic5.html