2. Datos importantes Catedrtico: Ing. Leonel Morales Daz
[email protected] - @litomd Auxiliar: Lic.Ana Lissette Fleck de Umaa
[email protected] Das de clase: Lunes, Mircoles yViernes Aula D-506
10:00 a 11:20 Eventualmente en el laboratorio 2 de 18 3. Datos
importantsimos Pgina del curso: http://oli.cmu.edu
http://oli.cmu.edu/courses/free-open/logic-proofs- course-details/
Versin gratuita 3 de 18 4. Otros datos Pgina 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. The Logic zone www.thelogiczone.plus.com 6. Lgica Estudio de las
reglas del razonamiento Estudio de los argumentos Enunciados o
proposiciones (statements) Pueden ser verdaderos o falsos 6 de 18
7. Enunciados Enunciado:estar aqu Estuve aqu Estar aqu Estoy aqu Ni
falsas ni verdaderas Interrogaciones (oraciones interrogativas)
Quin est aqu? Exclamaciones (oraciones exclamativas) Qu bien se
siente estar aqu! rdenes o mandatos (oraciones imperativas) Ven aqu
7 de 18 8. Argumentos Constan de dos tipos de enunciado: Premisas
Conclusin Premisas Razones para aceptar conclusin Conclusin Nuevo
conocimiento verdadero en funcin de la verdad de las premisas 8 de
18 9. La conclusin La conclusin no siempre va al final Cmo
encontrarla? Preguntarse Qu es lo que se desea probar? Cul es el
punto? Forma estndar de argumentar: Premisa 1 Premisa 2 Conclusin 9
de 18 10. La conclusin La conclusin no siempre va al final Cmo
encontrarla? Preguntarse Qu es lo que se desea probar? Cul es el
punto? Forma estndar de argumentar: Premisa 1 Premisa 2 Conclusin
10 de 18 Caminar bajo la lluvia es bueno para la salud pues activa
los msculos y estimula la circulacin, aumenta el ritmo cardaco y la
oxigenacin del cerebro, por ello es bueno que hoy lloviera y me
haya tocado parquear tan lejos pues eso me oblig a caminar ms y ms
rpido porque adems vena tarde 11. Identificar premisas y conclusin
Palabras o frases indicadoras de premisas: Dado que Puesto que Si
En cuanto Palabras o frases indicadoras de conclusin: 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 msculos y estimula la
circulacin, aumenta el ritmo cardaco y la oxigenacin del cerebro,
por ello es bueno que hoy lloviera y me haya tocado parquear tan
lejos pues eso me oblig a caminar ms y ms rpido porque adems vena
tarde 12. A la forma estndar Para escribir un argumento en forma
estndar: Localice la conclusin Coloque las premisas en el orden
original Puede que no parezca el mejor orden 12 de 18 13.
Argumentos razonables Un buen argumento (sound argument) Las
premisas son verdaderas La conclusin respeta las reglas de
razonamiento La conclusin es verdadera Requisitos: La forma lgica
La verdad del contenido 13 de 18 14. Lgica y verdad Ex vero non
sequitur nisi vero, ex non vero sequitur quodlibet Qu es la verdad?
Adecuacin del intelecto con la realidad Se comprueba la verdad
confrontando con la realidad Tautologas: Verdaderas necesariamente
Un automvil est detenido o en movimiento Ganaremos, perderemos o
empataremos Maana llover o no llovera 14 de 18 15. Argumentos
Deductivos o vlidos La verdad de las premisas garantiza la verdad
de la conclusin Inductivos La verdad de algunas premisas induce una
conclusin Conclusin probable Conclusin muy probable Inductivamente
fuerte 15 de 18 16. Lgica Lgica deductiva Argumentos vlidos Materia
de este curso Lgica inductiva Argumentos probables Inductivamente
fuertes 16 de 18 17. Pruebas Pruebas o demostraciones Tipo de
argumento Muestra que la conclusin se sigue de las premisas
Necesariamente Siguiendo pasos lgicos Rigurosidad 17 de 18
Demuestre que hoy es martes Demuestre que los nmeros primos son
infinitos 18. Lgica formal o simblica Los enunciados son abstractos
Representados por una letra Llamada variable M y no S R S o Q Q 18
de 18
