01 introducción enunciados

207 views

Published on

Presentación del curso, recursos que utilizaremos, contenidos, enunciados, verdad y falsedad, argumentos, forma estándar.

Published in: Education
0 Comments
0 Likes
Statistics
Notes
  • Be the first to comment

  • Be the first to like this

No Downloads
Views
Total views
207
On SlideShare
0
From Embeds
0
Number of Embeds
7
Actions
Shares
0
Downloads
1
Comments
0
Likes
0
Embeds 0
No embeds

No notes for slide

01 introducción enunciados

  1. 1. LÓGICA FORMAL Clase 01Verano 2014 Leonel Morales Díaz litomd@ufm.edu leonel@ingenieriasimple.com Lissette Fleck de Umaña afleck@ufm.edu 02/Junio/2014 1
  2. 2. Datos importantes  Catedrático:  Ing. Leonel Morales Díaz  litomd@ufm.edu - @litomd  Auxiliar:  Lic.Ana Lissette Fleck de Umaña  afleck@ufm.edu  Días de clase:  Lunes, Miércoles yViernes Aula D-506  10:00 a 11:20  Eventualmente en el laboratorio 2 de 18
  3. 3. Datos importantísimos Página del curso:  http://oli.cmu.edu  http://oli.cmu.edu/courses/free-open/logic-proofs- course-details/ Versión gratuita 3 de 18
  4. 4. Otros datos Página auxiliar:  http://sites.google.com/site/logicaingcd/  http://prezi.com/user/morispolanco/prezis/  http://twitter.com/LogicaSimbolica Cada 2 clases hay tarea 4 de 18
  5. 5. The Logic zone  www.thelogiczone.plus.com
  6. 6. Lógica  Estudio de las reglas del razonamiento  Estudio de los argumentos  Enunciados o proposiciones (statements)  Pueden ser verdaderos o falsos 6 de 18
  7. 7. Enunciados  Enunciado:“estar aquí”  “Estuve aquí”  “Estaré aquí”  “Estoy aquí”  Ni falsas ni verdaderas  Interrogaciones (oraciones interrogativas)  ¿Quién está aquí?  Exclamaciones (oraciones exclamativas)  ¡Qué bien se siente estar aquí!  Órdenes o mandatos (oraciones imperativas)  Ven aquí 7 de 18
  8. 8. Argumentos  Constan de dos tipos de enunciado:  Premisas  Conclusión  Premisas  Razones para aceptar conclusión  Conclusión  Nuevo conocimiento verdadero en función de la verdad de las premisas 8 de 18
  9. 9. La conclusión  La conclusión no siempre va al final  ¿Cómo encontrarla?  Preguntarse  ¿Qué es lo que se desea probar?  ¿Cuál es el punto?  Forma estándar de argumentar:  Premisa 1  Premisa 2  …  Conclusión 9 de 18
  10. 10. La conclusión  La conclusión no siempre va al final  ¿Cómo encontrarla?  Preguntarse  ¿Qué es lo que se desea probar?  ¿Cuál es el punto?  Forma estándar de argumentar:  Premisa 1  Premisa 2  …  Conclusión 10 de 18 Caminar bajo la lluvia es bueno para la salud pues activa los músculos y estimula la circulación, aumenta el ritmo cardíaco y la oxigenación del cerebro, por ello es bueno que hoy lloviera y me haya tocado parquear tan lejos pues eso me obligó a caminar más y más rápido porque además venía tarde
  11. 11. Identificar premisas y conclusión  Palabras o frases indicadoras de premisas:  Dado que  Puesto que  Si  En cuanto  Palabras o frases indicadoras de conclusión:  Por lo tanto  Entonces  Por consiguiente  De esto se sigue que  Esto implica que  Consecuentemente  Como consecuencia 11 de 18 Caminar bajo la lluvia es bueno para la salud pues activa los músculos y estimula la circulación, aumenta el ritmo cardíaco y la oxigenación del cerebro, por ello es bueno que hoy lloviera y me haya tocado parquear tan lejos pues eso me obligó a caminar más y más rápido porque además venía tarde
  12. 12. A la forma estándar  Para escribir un argumento en forma estándar:  Localice la conclusión  Coloque las premisas en el orden original  Puede que no parezca el mejor orden 12 de 18
  13. 13. Argumentos razonables  Un buen argumento (sound argument)  Las premisas son verdaderas  La conclusión respeta las reglas de razonamiento  La conclusión es verdadera  Requisitos:  La forma lógica  La verdad del contenido 13 de 18
  14. 14. Lógica y verdad  “Ex vero non sequitur nisi vero, ex non vero sequitur quodlibet”  ¿Qué es la verdad?  Adecuación del intelecto con la realidad  Se comprueba la verdad confrontando con la realidad  Tautologías:  Verdaderas necesariamente  “Un automóvil está detenido o en movimiento”  “Ganaremos, perderemos o empataremos”  “Mañana lloverá o no llovera” 14 de 18
  15. 15. Argumentos  Deductivos o válidos  La verdad de las premisas garantiza la verdad de la conclusión  Inductivos  La verdad de algunas premisas induce una conclusión  Conclusión probable  Conclusión muy probable  Inductivamente fuerte 15 de 18
  16. 16. Lógica  Lógica deductiva  Argumentos válidos  Materia de este curso  Lógica inductiva  Argumentos probables  Inductivamente fuertes 16 de 18
  17. 17. Pruebas  Pruebas o demostraciones  Tipo de argumento  Muestra que la conclusión se sigue de las premisas  Necesariamente  Siguiendo pasos lógicos  Rigurosidad 17 de 18 Demuestre que hoy es martes Demuestre que los números primos son infinitos
  18. 18. Lógica formal o simbólica  Los enunciados son abstractos  Representados por una letra  Llamada variable  M y no S  R  S o Q  Q 18 de 18

×