Recomendados
Más contenido relacionado
Destacado
Último
Último (16)
Modelos de razonamiento lógico e inferencia bayesiana
- 1. Modelos de razonamiento:Inferencia lógicaInferencia bayesiana Andrés Jáuregui
- 2. Inferencia lógica Consiste en pasar de un conjunto de premisas a una conclusión.
- 4. Ejemplo
- 5. Tablas de verdad Dados unos argumentos, éstos son válidos y verifican lógicamente la conclusión presentada. Se logra con una tautología
- 6. Ejemplo 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 honorarios P: 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
- 8. Diagramas de Euler Representación grafica de proposiciones
- 9. Ejemplos Persona Brazos Manos Dedos
- 10. Ejemplo Euler 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.
- 11. Cosas que hacen que vivas más Cosasquehacensentirsebien Cosasdeseables Cosascaras
- 12. Métodos formales 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.
- 13. Modus Ponens P P->Q Por lo tanto Q Concluimos como nueva fórmula: el consecuente. Q
- 14. Modus Tollens e-> ~t t Por lo tanto ~e Se puede concluir como nueva fórmula: la negación del antecedente.
- 15. Silogismo A partir de las premisas “P => Q” y “Q => R” se obtiene “P => R”.
Notas del editor
- Si a la persona quetomamas de 15 cervezaspordia se le soncideraalcoholico, y Homerotoma 33 cervezas; entoncesHomeroes un alcoholico
- Una persona tienebrazos, en los brazostenemosmanos, y enlasmanostenemosdedos.La diferencia entre los diagramas de Venn y Euler, esque de Venn tenemosquemostrartodaslasintersecciones entre conjuntos.