UNIDAD 3

USO DE LAS REGLAS DE INFERENCIA

Presentado a:

Nevardo Alonso Ayala

Grupo: 200611_873

Entregado por:

Emerson Rodrigo Mesa Rodrguez

Cdigo: 1.090.413.619

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD

CCUTA, 2017
 OBJETIVOS

Conceptualizar la terminologa de los diferentes tipos de demostracin en la lgica

matemtica.

Conceptualizar la terminologa de las leyes de Inferencia Lgica y dar respuesta a lo

elegido.

Realizar la tabla de verdad aplicando las leyes de inferencia lgica utilizando la

herramienta TRUTH.

Interactuar y dar solucion a la situacion problemtica de la inferencialogica de la

fase grupal segn el anexo 2.
 INTRODUCCIN

Con el uso de la regla de inferencia se quiere dar a conocer al estudiante su utilidad

referente a la logica matematica para que asi desarrolle la actividad planteada y de igual

manera demuestre participacion significativa tanto en la actividad individual como

colaborativa dandole utilidad a la tabla de verdad de la situacion problemtica de la

inferencia logica individual del anexo 1. haciendo uso del simulador TRUTH.
 USO DE LAS REGLAS DE INFERENCIA

Primera etapa

Conceptualizacin de la terminologa de demostracin en la lgica matemtica

Demostracin por contraposicin

La contraposicin se forma negando ambos trminos e invirtiendo la direccin de la

inferencia, la contraposicin de la declaracin si A, entonces B es si no es B, entonces

no A una declaracin y su contrapositiva son lgicamente equivalentes; si la afirmacin es

cierta, entonces su contrapositiva es cierto.

En la matemtica es una regla de inferencia utilizada en demostraciones, la conclusin si

A, entonces B se extrae de la premisa simple si no B, entonces no A

Ejemplos:

Si n es un entero positivo, entonces n (n+1) es divisible por 2

1) Sea n = 1, entonces
n (n+1) = 2 (verdadero).

2) Sea n= k, entonces
K ( k+1) es divisible por 2 (hiptesis de induccin)

3) Sea n= k+1, entonces:

(k+1) (k+2) es divisible por 2

4) Demostracin:
(k+1) (k+2) = k (k+1) + 2 (k+1)
K (k+1) es divisible por 2 (Por hiptesis de induccin).
2 (k+1) es divisible por 2 (Entero par)

Por lo tanto (k+1) (k+2) es divisible por 2

si n no es par, entonces n2 no es par que es equivalencia a si n es impar, entonces n2 es

impar entonces existe un entero k tal que n=2k+1. Entonces

n2= (2k+1)2=4k2+4k+1=2(2k2+2k)+1

Por tanto n2 es igual a uno ms que el doble de un entero. De aqu que n2 es impar.

La ley del tercero excluido dice: sucede Ro~R, pero no ambos, cualquier demostracin que

inicia suponiendo que la conclusin de un teorema es falsa y procede para demostrar que

esta suposicin conduce a una contradiccin se denomina demostracin por contradiccin

Segunda etapa

Conceptualizacin de las terminologas de las leyes de inferencia lgica

Dilema constructivo y absorcin.

Es una regla de inferencia valida de la lgica proposicional, que menciona que si P implica

Q y R implica S; o bien P o R es verdadero; entonces Q o S debe ser verdadero, en suma, si

dos condicionales son verdaderos, y al menos uno de sus antecedentes es verdaderos,

entonces alguno de sus consecuentes debe de ser verdadero.

El dilema constructivo puede escribirse formalmente como:

PQ, RS, P VR

QVS

La regla es que cuando aparezcan las instancias PQ, RS, y P V R en una lnea

de alguna demostracin, se puede colocar Q V S en una lnea posterior.

Ejemplo de dilema constructivo es:

Si yo gano diez millones de pesos, lo voy a donar a un orfanato.

Si un amigo gana diez millones de dlares, lo va a donar a un hogar de ancianatos.

O voy a ganar diez millones de pesos, o un amigo ganara diez millones de dlares.

Por lo tanto, o un orfanato ganara diez millones de pesos, o un ancianato ganara diez

millones de dlares.

El dilema constructivo se llama as por la transferencia de operaciones disyuntivos que

ocurre.

La regla de dilema constructivo puede escribirse en la notacin subsiguiente:

(((PQ) ^ (RS)) ^ (PVR)) (QVS)

Donde P,Q,R y S son proposiciones expresadas en algn sistema formal.

Dilema Constructivo (D.C)

(pq) ^ (rs)
Pvr
qvs

Si estudio aprendo y si duermo

Descanso
Estudie o dorm.
Luego aprend o descanse.

Adsorcin (Abs)

pq
p (q^p)
 Si estudio aprendo
Estudio, luego aprendo y estudio

Tercera etapa

Anexo 1.

Situacin problmica de la lgica proposicional fase individual

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 pablo.

q= Martha no tiene un nivel acadmico ms bajo que aura.
r= Jaime y Lina no tiene el mismo promedio.

1.) pq
2.) ~q
3.) rp
4.) ~r

[(pq)(q)(rp)] ~r ~
 Truth Table

p q r [(pq)(q)(rp)]r

T T T T
T T F T
T F T T
T F F T
F T T T
F T F T
F F T T
F F F T

Expression is a tautology

La tabla nos permite observar que es una TAUTOLOGA, por lo cual el razonamiento es
vlido.

Demostracin por leyes de inferencia:

Premisa 1: pq 1.
Premisa 2: ~ q 2.
Premisa 3: rp 3.

~ r 4.~
5~r

1,2 ley de modus tollendo tollens

3,4 ley de modus tollendo tollens
 CONCLUSION

Con la actividad desarrollada se logr adquirir conocimiento referente al uso de las reglas

de inferencia para as dar respuesta a la situacin problemtica de la lgica proporcional,

tambin se recopilo y adquiri informacin de demostracin por contraposicin y dilema

constructivo y absorcin para as dar solucin a la actividad individual.

 BIBLIOGRAFIAS

https://es.wikipedia.org/wiki/Demostraci%C3%B3n_por_contraposici%C3%B3n

http://datateca.unad.edu.co/contenidos/90004/Logica_matematica_90004_CORE_anteri
ores/EXE/EXE_Julio_31_de_2012/dilema_constructivo_absorcin__simplificacin.html

Wisniewski, P. M., & Gutirrez, B. A. L. (2011). Introduccin a las matemticas

universitarias. Mxico: McGraw-Hill Interamericana. http://www.ebrary.com.
recuperado: http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action
?docID=10473069