modelos de razonamiento
DESCRIPTION
Presentacion sobre Modelos de Razonamiento. Inferencia Logica.TRANSCRIPT
Andrés Jáuregui
Consiste en pasar de un conjunto de premisas a una conclusión.
Dados unos argumentos, éstos son válidos y verifican lógicamente la conclusión presentada.
Se logra con una tautología
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
Representación grafica de proposiciones
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.
Cosas que hacen que vivas más
Cosas que hacen sentirse bien
Cosas deseables
Cosas caras
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.
P P->Q Por lo tanto Q Concluimos como nueva fórmula: el
consecuente. Q
e-> ~t t Por lo tanto ~e Se puede concluir como nueva fórmula: la
negación del antecedente.
A partir de las premisas “P => Q” y “Q => R” se obtiene “P => R”.