modelos de razonamiento

15
Andrés Jáuregui

Upload: andres

Post on 06-Jul-2015

2.596 views

Category:

Spiritual


1 download

DESCRIPTION

Presentacion sobre Modelos de Razonamiento. Inferencia Logica.

TRANSCRIPT

Page 1: Modelos de razonamiento

Andrés Jáuregui

Page 2: Modelos de razonamiento

Consiste en pasar de un conjunto de premisas a una conclusión.

Page 3: Modelos de razonamiento
Page 4: Modelos de razonamiento
Page 5: Modelos de razonamiento

Dados unos argumentos, éstos son válidos y verifican lógicamente la conclusión presentada.

Se logra con una tautología

Page 6: Modelos de razonamiento

Considere el siguiente argumento 1: Si me contratan para hacer un plano arquitectónico y lo hago bien, entonces me pagan los honorarios.

Me contratan para hacer un plano arquitectónico y lo hago bienConclusión: Me pagan los honorariosP: me contratan para hacer un plano arquitectónico Q: Hago bien el plano arquitectónico R: Me pagan los honorarios por el trabajoEl argumento anterior se convierte en:Premisa 1: P∧ Q→RPremisa 2: P∧ QConclusión: R

Page 7: Modelos de razonamiento
Page 8: Modelos de razonamiento

Representación grafica de proposiciones

Page 10: Modelos de razonamiento

Argumentos:Todas las cosas caras son deseablesTodas las cosas deseables hacen que te sientas bienTodas las cosas que hacen que te sientas bien hacen que vivas más

Conclusión:Todas las cosas caras hacen que vivas más.

Page 11: Modelos de razonamiento

Cosas que hacen que vivas más

Cosas que hacen sentirse bien

Cosas deseables

Cosas caras

Page 12: Modelos de razonamiento

Son reglas o leyes, que se utilizan en verificación de argumentos, la transformación de fórmulas proposicionales y los métodos tradicionales de demostración Matemática.

Page 13: Modelos de razonamiento

P P->Q Por lo tanto Q Concluimos como nueva fórmula: el

consecuente. Q

Page 14: Modelos de razonamiento

e-> ~t t Por lo tanto ~e Se puede concluir como nueva fórmula: la

negación del antecedente.

Page 15: Modelos de razonamiento

A partir de las premisas “P => Q” y “Q => R” se obtiene “P => R”.