1Uso de reglas de Inferencia

Erika Paola Lpez

Sebastian Romero Guayara

Mayo 2017.

Universidad Nacional Abierta y a Distancia

Ecacen

Pensamiento Lgico Matemtico

Objetivo General:

Examinar y comprender Las reglas de inferencia para as poder utilizarlas correctamente

en cada uno de los problemas que se presenten a resolver con estos casos.

Objetivos Especficos:

Analizar y utilizar los diferentes tipos de leyes de inferencia a la hora de

solucionar el problema.
 Introduccin

El presente trabajo refiere al tema de Uso de las normas o reglas de

inferencia del curso Pensamiento Lgico Matemtico de la UNAD en el cual por medio del

aprendizaje basado en la solucin de problemticas buscan desarrollar un aprendizaje que

ayude a pensar y as poder solucionar de manera correcta cada una de las problemticas que

se presenten.

La caracterstica Principal de este tema es el de identificar, conceptualizar y

utilizar las diferentes reglas de inferencia que tiene la lgica matemtica tenindolas

encuenta a la hora de comprobar el ejercicio dado.

Actividad:

Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue quien
recibi la Tablet. Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como
premio el computador. Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien
recibi la Tablet. Ximena se gan el computador. Por lo tanto, Carlos no fue quien recibi
la Tablet

Declaracin de proposiciones

P= Ximena se gan el computador

Q= Johan recibi la Tablet
R= Ricardo fue quien recibi la Tablet
S= Carlos fue quien recibi la Tablet

Declaracin de premisas
Premisa 1: Si Ximena se gan el computador entonces Johan recibi la Tablet o Ricardo fue
quien recibi la Tablet.
Premisa 2: Si Johan fue quien recibi la Tablet, entonces Ximena no obtuvo como premio
el computador.
Premisa 3: Si Carlos fue quien recibi la Tablet entonces Ricardo no fue quien recibi la
Tablet.
Premisa 4: Ximena se gan el computador.
Conclusin: Carlos no fue quien recibi la Tablet.

Declarar Premisas en lenguaje formal

P1 = (PQ)R
P2=(Q~P)
P3= (S~R)
P4= P
Demostrar ~S

Declarar Razonamiento lgico en lenguaje formal

[(PQ) R^ (Q~P)^(S~R)^P] ~S

Segn las tablas de verdad de abajo esta expresin es contingencia ya que todos sus valores
resultantes no son iguales por lo tanto no se puede comprobar con las reglas de inferencia.
Tablas de Verdad
(- (- (- (- (P> (Q> (S>- (P>Q)
P Q R S (P>Q)v R ^ (Q>-P)
P) Q) R) S) Q) -P) R) vR
v v v v f f f f v f f v f
v v v f f f f v v f v v f
v v f v f f v f v f v v f
v v f f f f v v v f v v f
v f v v f v f f f v f v v
v f v f f v f v f v v v v
v f f v f v v f f v v f f
v f f f f v v v f v v f f
f v v v v f f f v v f v v
f v v f v f f v v v v v v
f v f v v f v f v v v v v
f v f f v f v v v v v v v
f f v v v v f f v v f v v
f f v f v v f v v v v v v
f f f v v v v f v v v v v
f f f f v v v v v v v v v

(P>Q)v R ^ (Q>-P) ((P>Q)v R ^ (Q>-P) ^ ((P>Q)v R ^ (Q>-P) ^ (S>-R)

^ (S>-R) (S>-R) ^ P) ^ P)=> -S
f f v
f f v
f f v
f f v
f v f
v v v
f f v
f f v
f f v
v f v
v f v
v f v
f f v
v f v
v f v
v f v
f v
Simulador truth
Conclusiones

Se utiliz lo aprendido sobre las leyes de inferencia o reglas de inferencia

analizando el caso dado y probando cada una para saber cul era.