Lgica matemtica Francs Jean Marie Duhamel (1797-1872) El razonamiento se hace por el sentimiento que nos produce la mente

la evidencia de la verdad sin necesidad de norma o regla alguna. Peano defiende la lgica matemtica porque es un instrumento cuyo fin es dar el rigor y el valor adecuado alas argumentos matemticos. La lgica se ocupa del razonamiento a partir de premisas, que dan la pauta para el proceso deductivo e inductivo. Inferir es unir ideas para llegar a la conclusin verdadera a partir de preposiciones. El razonamiento lgico es una operacin lgica que partiendo de juicios, se deriva la validez, posibilidad o falsedad de otro juicio. Existen varios tipos de razonamiento lgico, por ejemplo: razonamiento deductivo, razonamiento inductivo, etc. Razonamiento deductivo parte de lo general a lo particular. Un argumento deductivo valido es aquel en donde la conclusin se deriva de la premisa. Ejemplos: todos los perros tienen pulgas. Este es un perro. Por lo tanto, este perro tiene pulgas Puede ser que la premisa no sea verdadera pero el argumento es vlido. Toda conclusin de un argumento deductivo valido debe de estar contenido en las premisas. El argumento deductivo depende de dos cosas: la validez del argumento y la veracidad de la premisa. Razonamiento inductivo: observar datos, reconocer patrones y hacer generalizaciones. Es posible que utilicemos el razonamiento inductivo todo el tiempo sin darnos cuenta. Una generalizacin basada en el razonamiento se denomina conjetura. Razonamiento analgico: este razonamiento consiste en obtener una conclusin a partir de premisa en donde se establezcan comparaciones o analogas. Ejemplo: el presidente del parlamento es como un entrenador de futbol y por tanto puede decidir que parlamentarios participar en un debate y durante cunto tiempo Es lgico que la correccin de un razonamiento como el anterior dependa de la comparacin. Las proposiciones son frases que afirman o niegan algo. Tipos de proposiciones: La proposicin simple es aquella que est formada por un solo enunciado. Ejemplos: Scrates es un hombre. Los tomos son indivisibles

Proposicin compuesta es la que forma 2 o ms proposiciones simples. Ejemplos: todos los enteros positivos son primos. A Luis le gusta escuchar a Panten Rococ o la guacamaya es un ave Calculo proposicional Cuando una proposicin se hace de a partir de otras proposiciones por medio de conectivos lgicos el valor de verdad lo determinan los valores de verdad. Tablas de verdad El valor de verdad o falsedad de una proposicin compuesta depende de las proposiciones simples que la forman. Estos valores se pueden identificar por medio de tablas. Construccin de una tabla de verdad Una tabla se puede hacer paso a paso al otorgarle los valores correspondientes a cada proposicin involucrada.