LóGica SesióN N°1

43
LOGO Lógica FBMM02 Profesor: Ricardo Escalante

Transcript of LóGica SesióN N°1

Page 1: LóGica SesióN N°1

LOGO

Lógica FBMM02

Profesor: Ricardo Escalante

Page 2: LóGica SesióN N°1

Universidad MetropolitanaLógica FBMM02

Presentación Cronograma Evaluaciones Objetivos

Page 3: LóGica SesióN N°1

Universidad MetropolitanaDatos del Profesor

Nombre: Ricardo Escalante C. Adscrito a la escuela de matemática Correo electrónico:

[email protected] [email protected]

Telfs. Escuela de matemática: (0212)2403575 Oficina: (0212)2403838 (Mar – Jue – Vie)

Page 4: LóGica SesióN N°1

Universidad MetropolitanaInformación General de la asignatura: Materiales

http://ares.unimet.edu.ve/matematica/fbmm02

Page 5: LóGica SesióN N°1

Universidad MetropolitanaInformación General de la asignatura: Blog

http://logicaunimetpps.blogspot.com/

Page 6: LóGica SesióN N°1

Universidad MetropolitanaEncuesta inicial

http://www.surveymonkey.com/s.aspx?sm=YOEFSDCB9XIBpDdy1BPDlw_3d_3d

Page 7: LóGica SesióN N°1

Universidad MetropolitanaCronograma

Page 8: LóGica SesióN N°1

Universidad MetropolitanaObjetivo General del curso

Desarrollar y mejorar destrezas de razonamiento a través de la

exposición sistemática a procesos de razonamiento

inductivo y deductivo.

Page 9: LóGica SesióN N°1

Universidad MetropolitanaPrograma

El RAZONAMIENTO Introducción al razonamiento inductivo. Introducción al razonamiento deductivo Términos:

• Premisas y conclusión• Conjetura • Razonamiento• Argumento Lógico

Page 10: LóGica SesióN N°1

Universidad MetropolitanaPrograma

LÓGICA Y LENGUAJE Proposiciones. Valores de verdad. Términos de enlace o conectivos. Proposiciones Compuestas. Simbolización de proposiciones. La negación. Los conectivos: sus símbolos y tablas de

verdad. Tautología y contradicción.

Page 11: LóGica SesióN N°1

Universidad MetropolitanaPrograma

LÓGICA Y CONJUNTOS Definición de Conjuntos. Conectivos y conjuntos: condicional y

subconjuntos, el conjunto vacío, conjunción e intersección, disyunción y unión, negación y complemento.

Predicados. Cuantificadores. Lógica de predicados.

Page 12: LóGica SesióN N°1

Universidad MetropolitanaPrograma

INFERENCIA LÓGICA: Reglas de inferencia y demostración. Deducción proposicional. Demostraciones formales.

Page 13: LóGica SesióN N°1

Universidad MetropolitanaMapa del Curso

Page 14: LóGica SesióN N°1

LOGO

RAZONAMIENTO INDUCTIVO Y DEDUCTIVO

Page 15: LóGica SesióN N°1

Universidad MetropolitanaObjetivos particulares del tema

• Distinguir en un argumento premisas y conclusiones

• Reconocer y establecer diferencias entre razonamiento inductivo y deductivo

• Establecer conjeturas o inferencias a través del razonamiento inductivo.

• Ser capaces de elaborar un Argumento Lógico sencillo con cualquiera de los dos tipos de razonamientos nombrados.

Page 16: LóGica SesióN N°1

Universidad MetropolitanaPreámbuloestableciendo un lenguaje común

La definición de un objeto material o inmaterial, es la descripción concreta de sus características esenciales

Es decir, una definición “bien elaborada” responde a : ¿Qué es? ¿Cuáles son las características esenciales

que lo distinguen de otro objeto al cual pueda parecerse?.

Page 17: LóGica SesióN N°1

Universidad MetropolitanaEl contexto….

Las definiciones matemáticas aisladas del contexto de un tema, un objetivo o un contenido particular, pueden perder sentido……

Page 18: LóGica SesióN N°1

Universidad Metropolitana

El contexto….

¿Qué sugieren estos gráficos?

Page 19: LóGica SesióN N°1

Universidad Metropolitana

Real Relativo a Rey,

realeza Unidad monetaria

(Brasil) Expresión vulgar de

dinero ……. Número ….

Complemento Mezcla de globulinas

que interviene en reacciones inmunológicas

Cuadros de mando no profesionales del ejército

……. Complemento de un

conjunto….

Page 20: LóGica SesióN N°1

Universidad MetropolitanaEl contexto….

Es por ello que las definiciones que trabajaremos en este curso, deben ubicarse en un tema o contenido específico y dirigido hacia nuestros objetivos.

Page 21: LóGica SesióN N°1

Universidad MetropolitanaArgumento Lógico

Es el proceso que se inicia con unas

premisas, a las que se le aplica un tipo de

razonamiento inductivo o deductivo, para

obtener una conclusión.

Page 22: LóGica SesióN N°1

Universidad MetropolitanaArgumento Lógico

Razonamiento

Premisa

Conclusión

Premisa

Premisa

Inductivo Deductivo

Page 23: LóGica SesióN N°1

Universidad MetropolitanaEntenderemos por Premisa:

Una suposición, una Ley, una regla, una idea ampliamente aceptada o una observación

Page 24: LóGica SesióN N°1

Universidad MetropolitanaConclusión

Es un enunciado que se deriva de las premisas del argumento, después de aplicar algún tipo de razonamiento.

Si el razonamiento es inductivo a la conclusión se le llama conjetura

Page 25: LóGica SesióN N°1

Universidad MetropolitanaDefinición de Conjetura

Es una suposición fundamentada en observaciones repetidas de un patrón o proceso particular.

¿Cuáles son las características esenciales de esta definición? …………..

¿En cuál contexto puede ser utilizada esta definición?

¿Puedes dar un ejemplo de lo que se define?

Page 26: LóGica SesióN N°1

Universidad MetropolitanaRazonamiento Inductivo

Se caracteriza por sacar una conclusión general a partir de observaciones repetidas de ejemplos específicos o de premisas que ofrezcan algún fundamento para hacer una conjetura.

Page 27: LóGica SesióN N°1

Universidad MetropolitanaCitas interesantes

“Para ser buen matemático, buen jugador o bueno en lo que sea, hay que ser buen adivinador, hay que ser, digo yo, naturalmente lúcido, pero no basta tener ese don natural, también hay que haber experimentado, intensa y extensamente, con conjeturas que fracasaron y conjeturas que se verificaron”

George Polya (1887-1985)

Page 28: LóGica SesióN N°1

Universidad MetropolitanaCitas interesantes

“Las matemáticas en su forma final aparecen como puramente deductivas y sólo contienen demostraciones; sin embargo en su proceso de elaboración, se parecen a cualquier otro conocimiento humano”

George Polya (1887-1985)

Page 29: LóGica SesióN N°1

Universidad MetropolitanaCitas interesantes

“Aunque haga muchos experimentos, mi hipótesis no queda confirmada, pero basta un solo experimento para confirmar mi error”

Albert Einstein (1879-1955)

Page 30: LóGica SesióN N°1

Universidad MetropolitanaCitas interesantes

“En cierto sentido las matemáticas han progresado más, gracias a las personas que se han distinguido por la intuición, no por los métodos rigurosos de la demostración”

Felix Klein (1849-1925)

Page 31: LóGica SesióN N°1

Universidad MetropolitanaRazonamiento Deductivo

Es un proceso que se caracteriza por la aplicación de principios

generales a ejemplos específicos.

Las premisas del argumento son, en este caso, ofrecen fundamentos

suficientes para sostener la conclusión.

Page 32: LóGica SesióN N°1

Universidad MetropolitanaRazonamiento Deductivo

El razonamiento deductivo es la base de las demostraciones matemáticas

Este tipo de razonamiento garantiza la verdad de la conclusión si la información de la que se parte (Premisas) es verdadera

Page 33: LóGica SesióN N°1

Universidad Metropolitana¿Cómo se identifican premisa(s) en un argumento?.

Existen palabras indicadoras como: "puesto que"

"porque", "pues", "en tanto que" "por la razón de qué".

Page 34: LóGica SesióN N°1

Universidad Metropolitana¿Cómo se identifica la conclusión en un argumento?.

En este caso, las palabras indicadoras son:

"por lo tanto", "por ende", "así", "luego", "por consiguiente","se sigue que","podemos inferir" y"podemos concluir".

Page 35: LóGica SesióN N°1

Universidad MetropolitanaIdentificando Premisas y Conclusión

Todos los hombres son animales. Todos los animales son mortales Por tanto, todos los hombres son mortales

Page 36: LóGica SesióN N°1

Universidad MetropolitanaIdentificando Premisas y Conclusión

Durante los últimos 20 años, cada mes de mayo , una planta rara ha florecido en la Gran Sabana, alternando entre flores rosadas y blancas. El último mes de mayo las flores fueron rosadas. Por tanto, este año sus flores serán blancas.

Page 37: LóGica SesióN N°1

Universidad Metropolitana

"Se piensa que todo arte y toda indagación, así como toda acción y prosecución, tienden a algún bien, y por esta razón se ha declarado correctamente que el bien es aquello a lo cual tienden todas las cosas." ARISTÓTELES, Ética a Nicómaco.

P: " Se piensa que todo arte y toda indagación, así como toda acción y prosecución tienden a algún bien"C: "El bien es aquello a lo cual tienden todas las cosas".

Page 38: LóGica SesióN N°1

Universidad MetropolitanaIdentificar premisas y conclusión

“La poesía es más sutil y más filosófica que la historia; pues la poesía expresa lo universal y la historia sólo lo particular”.

ARISTÓTELES, Poética.

Page 39: LóGica SesióN N°1

Universidad MetropolitanaIdentificar premisas y conclusión

"El impugnador de conciencia ... no tiene cabida en una República como la nuestra y debe ser expulsado de ella, pues quien no hace su parte en el bote, no tiene derechos en él."

THEODORE ROOSEVELT

Page 40: LóGica SesióN N°1

Universidad MetropolitanaIdentificar premisas y conclusión

“Todas las cosas baratas son imitaciones, puesto que todas las cosas

caras son difíciles de obtener y ningún original es fácil de obtener”.

Page 41: LóGica SesióN N°1

Universidad MetropolitanaIdentificar premisas y conclusión

Luis ama a Rosa o de lo contrario no la hubiera perdonado nunca. No es el caso que Luis ame a la vez a Ana y a Rosa. Por tanto, si Luis ha perdonado a Rosa, no ama a Ana.

Page 42: LóGica SesióN N°1

Universidad MetropolitanaVentaja neurológica del alcohol

Consumir alcohol en exceso mata las neuronas.

Las neuronas que mueren son las más débiles.

Si mueren las neuronas más débiles entonces sobreviven las más fuertes.

Por lo tanto Consumir alcohol en exceso nos hace más

inteligentes

Page 43: LóGica SesióN N°1

Universidad MetropolitanaParadoja de los productos lácteos suizos

El queso suizo está lleno de agujeros. Cuanto más queso más agujeros. Cada agujero ocupa el lugar en el que

debería haber queso. Cuanto más agujeros menos queso Cuanto más queso más agujeros y cuanto

más agujeros menos queso. Por consiguiente Cuanto más queso, menos queso