1

Uso de las Leyes de Inferencia

Jessica Lorena Rodrguez Cifuentes

CC: 1061744721

Grupo: 200611_72

Presentado A

Jorge Mario Villegas

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

(UNAD)

PROGRAMA PSICOLOGA

CIUDAD BOGOT D.C

2017
 2

OBJETIVOS

Conceptualizar los procesos de demostracin lgica y clasificarlos en directas e indirectas.

Identificar los diferentes tipos de leyes de inferencia lgica y sus respectivas

representaciones en las tablas de verdad.

Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y

demostrar su validez a travs de las tablas de verdad y de las leyes de inferencia

 3

INTRODUCCION

aEn el siguiente trabajo se va a ver la interpretacin, comprensin, y solucin de los estemas

escogidos en el foro de trabajo colaborativo, dndo ejemplos de Demostracin por Contraejemplo,

Modus Ponendo Ponens y Modus tollendo Tollens. Un problema basado en situaciones del mundo

real y cotidiano.
 4

Conceptualizacin de uno de los tipos de demostracin lgica seleccionada

Demostracin por contraejemplo

Este mtodo se aplica de manera muy particular para denostar la falsedad de proposiciones cuya

hiptesis est compuesta mediante un cuantificador universal, se aplica para demostrar la falsedad

de una proposicin que tenga una conclusin referida para todos los elementos de un cierto

conjunto

Para demostrar la falsedad de proposiciones de este tipo basta con exhibir un elemento que

satisfaga la hiptesis de la proposicin pero que no satisfaga su conclusin. A dicho elemento se le

conoce con el nombre de contraejemplo

Ejemplo

x R; x2 O es falso

Ya que si X =1 quedara

12 no es 0

x , x2 + 2 > 4 es falso

Ya que si X = 1 quedara

12 + 2 < 4
 5

Generalizacin: todos los nmeros primos son impares

Contraejemplo: 2 es un nmero par y cumple la condicin para ser primo

Generalizacin: Ningn mamfero vive en el mar

Contraejemplo: las ballenas son mamferos y viven en el mar

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las terminologas de

las leyes de inferencia lgica

Modus Ponendo Ponens y Modus tollendo Tollens.

Modus ponendo ponens (P P)

Es una regla inferencial que se deriva del conectivo lgico condicional (). Nos permite pasar

de dos premisas a la conclusin esta regla se aplica siempre que se d una proposicin condicional

y se d precisamente el consecuente quedando escrita as

P q ____ premisa

P_______ premisa

.. q _____conclusin
 6

Ejemplos

Demostrar H

R H

H p p2, 1

Demostrar Q ^ R

P (Q^R)

Q^R p p2, 1

Demostrar P v Q

R P v Q

P v Q p p1, 2
 7

Modus tollendo Tollens. (TT)

Es una regla inferencial que se deriva del conectivo lgico condicional () en este caso negando

el consecuente, se puede negar el antecedente de la condicional

Quedando as

PQ

EJEMPLO

Demostrar R

RQ

R T T 2,1

Demostrar P

P Q

Q
 8

P T T 2,1

Demostrar (Q R)

(Q R) S

(Q R)

Tercera etapa

Soy un gran aficionado al ftbol 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 alegra otros minutos de ansiedad, otros de tristeza, en fin el ftbol es una pasin que

genera toda una gama de sensaciones. Hoy es el da 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 frente

a las emociones que viv en el partido de la final, hacerlo a travs de las dos maneras con la tabla

de verdad y con el uso de las leyes de inferencia

 9

Se declaran las preposiciones simples

P: mi equipo gana

Q: mi equipo pierde

R: me pongo contento

S: me pongo triste

Se declaran las premisas

1 si mi equipo gana yo me pongo contento ( PQ)

2 si mi equipo pierde me pongo triste (QS)

3 en este momento mi equipo est ganando o est perdiendo (PvQ)

Conclusin estoy contento o triste (RvS)

Se declara las premisas en lenguaje formal

[(PR)(QS)(PvQ)](RvS)
 10

Es decir

Mi equipo gana me pongo contento PR

Mi equipo pierde me pongo triste QS

Mi equipo este ganado o perdiendo PvQ

___________________________ ______

Estoy contento o triste RvS

TABLA

2n Donde n es el nmero de proposiciones

24 = 16 filas

p q r S p q (pr)^( P (pr)^(q^s) r [(pr)^(qs)^(pvq

r s qs) vq ^(pvq) vs )](rvs)

v V V V V V V V V V V

v V V F V F F V F V V

v V F V F V F V F V V

v V F F F F F V F F V
 11

v F V V V V V V V V V

v F V F V V V V V V V

V F F V F V F V F V V

V F F F F V F V F F V

F V V V V V V V V V V

F V V F V F F V F V V

F V F V V V V V V V V

F V F F V F F V F F V

F F V V V V V F F V V

F F V F V V V F F V V

f F F V V V V F F V V

f f f f v v v f f f v

Es una tautologa porque todo dio verdadero

 12

CONCLUCION

Se dio solucin a los ejercicios escogidos en el entorno de aprendizaje colaborativo dando los 3

ejemplos Modus Ponendo Ponens y Modus tollendo Tollens. El problema basado en situaciones

del mundo real y cotidiano. con el respectivo pantallazo como evidencia de la comprobacin a

travs del simulador TRUTH. Como lo propone la gua de actividades.

 13

REFERENCIAS BIBLIOGRAFICAS

Modus ponendo ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de Certeza, Conectores

Lgicos, Funciones Lgicas, Reduccin de funciones mediante lgebra de Boole. [Archivo de

video]. Recuperado de https://youtu.be/M7y5JGFN5wM

Modus Tollendo Ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de Certeza, Conectores

Lgicos, Funciones Lgicas, Reduccin de funciones mediante lgebra de Boole. [Archivo de

video]. Recuperado de https://youtu.be/a8VmA_wTWRE

Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest (Ed).

Conjuntos numricos, estructuras algebraicas y fundamentos de lgebra lineal. Volumen I:

conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa: Editorial Tbar Flores. .

http://hdl.handle.net/10596/6534 Recuperado de:

http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10995629&t

m=1489710145734

Bustamante A. A. (2009). "Un argumnto geomtrico para demostrar el Teorema de Pitgoras".

En ProQuest (Ed). Lgica y Argumentacin: De los argumentos inductivos a las lgebras de Boole.

1. Edicin. (pp. 9-54). Mxico D.F., Mxico: Editorial Pearson. Recuperado de:

http://hdl.handle.net/10596/7960
 14

Zazueta B. L. Clix L. C. (2008). "Qu es una tabla de verdad?" Lgica II. Primera Edicin.

(pp. 91 197). Mxico D.F., Mxico: Universidad Autnoma de Sinaloa. Recuperado de:

http://hdl.handle.net/10596/7963