CC: 1061744721
Grupo: 200611_72
Presentado A
(UNAD)
PROGRAMA PSICOLOGA
2017
2
OBJETIVOS
Interpretar un enunciado tipo argumento de una situacin problmica del mundo real y
INTRODUCCION
Modus Ponendo Ponens y Modus tollendo Tollens. Un problema basado en situaciones del mundo
real y cotidiano.
4
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
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
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
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
Es una regla inferencial que se deriva del conectivo lgico condicional () en este caso negando
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
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
P: mi equipo gana
Q: mi equipo pierde
R: me pongo contento
S: me pongo triste
[(PR)(QS)(PvQ)](RvS)
10
Es decir
___________________________ ______
TABLA
24 = 16 filas
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
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
REFERENCIAS BIBLIOGRAFICAS
Modus ponendo ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de Certeza, Conectores
Modus Tollendo Ponens. (4 de abril 2015) Reglas de Inferencia, Tablas de Certeza, Conectores
Rodrguez, V. R. (2013). "... El ser humano vive inmerso en la naturaleza". ProQuest (Ed).
conjuntos numricos, complementos. (pp. 17-29). Madrid, Espaa: Editorial Tbar Flores. .
http://bibliotecavirtual.unad.edu.co:2077/lib/unadsp/reader.action?ppg=18&docID=10995629&t
m=1489710145734
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