1

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA (UNAD)

PENSAMIENTO LOGICO Y MATEMATICO

USO DE LAS REGLAS DE INFERENCIA

TUTOR
OSCAR EDUARDO VIDAL

ESTUDIANTE
DEYVI ALEJANDRO BUSTOS PEÑA

NUMERO DE GRUPO
200611_657

NEIVA

2016
 2

INTRODUCCIÓN

Gracias a la solución de este trabajo en el cual se comprometen temas, operaciones y ejercicios

relacionados con matemática y lógica podemos apropiar de una manera más elocuente la solución
de problemas matemáticos como lo son las leyes de inferencia, lo cual ayuda a nuestra vida
personal y profesional ya que es necesario que como futuros profesionales en psicología y en
cualquier otra área o carrera se manejen temas básicos de matemática y otros.
 3

OBJETIVOS

 Socializar y contextualizar la terminología de demostración, contraposición y Modus

Ponendo Ponens y Modus tollendo Tollens mediante la realización de ejercicios.

 Describir y conocer las leyes de inferencia y su aplicación en el campo de la lógica

matemática.

 Desarrollar y realizar el ejercicio escogido utilizando las leyes de inferencia dejando

como evidencia un pantallazo en el simulador Truth.
 4

Contreaposicion

Primera etapa

La contraposición de una declaración condicional se forma negando ambos términos e invirtiendo

la dirección de la inferencia. Explícitamente, la contraposición de la declaración "si A, entonces
B" es "si no es B, entonces no A." Una declaración y su contrapositiva son lógicamente
equivalentes: si la afirmación es cierta, entonces su contrapositivo es cierto, y viceversa.

1. Si x² es par, entonces x es par

Si x no es par entonces χ² no es par

Supongamos que x no es uniforme. Entonces x es impar el producto de dos números impar es

impar, por lo tanto x² = x.x es impar . por lo tanto x² no es par.

2. si c es un numero impar la ecuación es n² zn 3c

si es impar es de la forma 2K z1
susutituimos
2K Z1 2K Z1 3C
4K² Z 6K Z2
C seria entonces par, lo que está excluido.
3. Si pg q son números reales positivos tales que

p+ q
√ pq f 2

Pfq

Si n es entero meyor que 2 no hay ningún entero con m n+m n.m

Segunda etapa

Modus Ponendo Ponens y Modus tollendo Tollens.

Es una forma de argumento válido y una regla de inferencia en lógica proposicional. Se puede
resumir como "si P implica Q; y P es verdad; entonces Q también es verdad." La historia del
modus ponendo ponens se remonta a la antigüedad.

El modus ponendo ponens pueden establecerse formalmente como:

 5

P→Q,P
∴Q

Donde la regla es cuando "P → Q" y "P" aparezcan por sí mismos en una misma línea de una
prueba lógica, Q puede ser escrito válidamente en una línea subsiguiente. Nótese que la premisa
de P y la implicación se "disuelven", siendo su único rastro el símbolo Q que se mantiene para su
uso posterior, por ejemplo, en una deducción más compleja.

Modus Ponendo Ponens y Modus tollendo Tollens.

1) Si esta soleado entonces es de dia

No es de dia
Por lo tanto no es de dia no esta soleado.

2) Si tiene permiso de conducir entonces es mayor de edad

No tiene permiso para conducir
Por lo tanto no es mayor de edad

llueve
3) Llueve → mojado
mojado

p→(q→r)

p
p→r

Anexo 1:

La numero 2

Soy un gran aficionado al fútbol y mi equipo ha pasado a disputar la final del torneo y algo que
he aprendido es que en 90 minutos del juego se viven y se sienten muchas emociones, hay
minutos de intensa alegría otros minutos de ansiedad, otros de tristeza, en fin el fútbol es una
pasión que genera toda una gama de sensaciones. Hoy es el día del partido de la final y voy a
narrar lo que viví en el transcurrir de los 90 minutos: “Si mi equipo gana yo me pongo contento.
Si mi equipo pierde me pongo triste. En este momento mi equipo está ganando o está perdiendo.
Por consiguiente, estoy contento o triste. Comprobar la validez del razonamiento que he hecho
 6

frente a las emociones que viví en el partido de la final, hacerlo a través de las dos maneras con la
tabla de verdad y con el uso de las leyes de inferencia.

Tabla de verdad

P→ q ¬p→¬q p˅ ¬p q˅¬q
V→v F→f V˅f V˅f
v V v V

Verdadera tautología

p= gana ¬p= pierde

q= contento ¬q= triste

1) Si mi equipo gana yo me pongo contento

2) Si mi equipo pierde yo me pongo triste
3) En este momento mi equipo está ganando o está perdiendo
4) Estoy contento o triste
 7

CONCLUSIONES

 Identificación, interpretación y desarrollo de problemas matemáticos como ayuda de

desarrollo intelectual y profesional para el personal de estudiantes de la Unad.

 Luego de terminada la actividad se logró resolver los ejercicios dispuestos en cada uno de
los temas como lo son Demostración por Contraposición Modus Ponendo Ponens y
Modus tollendo Tollens y uso de las tablas de verdad.
 8

BIBLIOGRAFÍA

Wikipedia, (S.F) Demostración Por Contraposición. Recuperado de:

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

Wikipedia, (S.F) Modus Ponendo Ponens. Recuperado de:

https://es.wikipedia.org/wiki/Modus_ponendo_ponens

Giraldo, J.  (2016) Uso de las Leyes de Inferencia en la demostración de la validez de un

argumento. Recuperado de: http://hdl.handle.net/10596/7964