Академический Документы
Профессиональный Документы
Культура Документы
OBJETIVO T1
Lgica y razonamiento. Los razonamientos deductivos. Componentes y notacin formal. Razonamientos deductivos correctos y falacias. El sistema formal de la lgica de primer orden. Principios lgicos de identidad, no contradiccin y tercero excluso. Lgica y Computacin. Apunte histrico.
cmo se representa con la teora lgica y cmo dicha teora demuestra su validez, es correcto.
APRENDIZAJE T1
M1-2011-12
M1-2011-12
Razonar: facultad humana para resolver problemas a partir de actividades mentales que conectan ideas segn unas reglas determinadas.
Premisa
Ningn profesor de mates es un hueso.
Se aceptan
Conclusin
Nadie que sea un hueso es profesor de mates
Reglas de un sistema formal (fiable 100%) Conclusin: Enunciado que se debe probar (deduce, infiere) de las premisas aplicando reglas del sistema donde se lleva a cabo dicho proceso
Que se obtiene
M1-2011-12
M1-2011-12
Raz. inductivo: proceso por el que se obtienen conclusiones generales Raz. inductivo: a partir de premisas que contienen datos particulares.
Raz. Deductivo: proceso por el cual de un conjunto de proposiciones (premisas, hiptesis) se obtiene una proposicin (conclusin o tesis) aplicando reglas deductivas. Premisas datos particulares conclusin datos particulares Premisas datos generales conclusin datos generales
> En ciencia moderna sus conclusiones se basan en inferencias estadsticas: se toman datos sobre un fenmeno y se establecen conclusiones basadas en modelos probabilsticos (siguiendo curva normal), acerca del fenmeno estudiado.
Ejemplo de razonamiento inductivo
Todos los perros son animales. He observado que el cuervo n 1 era negro. El cuervo nmero 2 tambin era negro. n tambi El cuervo nmero 3 tambin n tambi Todos los animales son cariosos. cari
Luego, todos los perros son cariosos cari Luego, todos los cuervos son negros. Conclusin datos generales
M1-2011-12
M1-2011-12
En razonamientos deductivos: > La verdad de las premisas afirma necesariamente, la verdad de la conclusin > Las premisas implican lgicamente la conclusin. > La conclusin es una consecuencia lgica de las premisas.
Lgica : ciencia formal que estudia las reglas deductivas que permiten demostrar la validez de los razonamientos deductivos.
Lgica: griego antiguo (logike)=dotado de razn, argumentativo que a su vez viene de (logos)= argumento, razn o principio.
Lgica formal de primer orden: Parte de la lgica que estudia las deducciones en los lenguajes de primer orden desde el punto de vista de su anlisis formal, mediante la construccin de un sistema formal formado: > lenguajes formales, > sistemas deductivos y > semnticas formales.
M1-2011-12
M1-2011-12
Todos los profesores son simpticos (premisa). Todos los simpticos son insectos (premisa). Por tanto, todos los profesores son insectos (conclusin).
Si todos los humanos son mortales y todos los griegos son humanos, entonces todos los griegos son mortales
Raz deductivo con 2 premisas Matemtico Leibniz (XVII) 14 aospropuso mtodo donde las verdades de la razn se redujeran a clculoslenguaje universal Matematizacin de la lgica Esto no sucedi hasta Boole Boole (1815-1864): 1 clculo lgico (The Laws of Thought); Frege (1848-1925): lgica clculo de razones (Begritfschrift); Peano (1858-1932): axiomatiz la aritmtica; Russell (1872-1970): us la lgica en Principia Mathematica; Hilbert (1862-1943), Herbrand (1908-1931), Gentzen (1909-1945): sistema de deduccin natural; Kurt Gdel: teoremas de limitacin.
M1-2011-12
M1-2011-12
Notacin formal de un Razonamiento P1, P2, Pn Q n: entero positivo. Pi, (i = 1, 2,n): premisas. Q: conclusin. : deductor o implicacin.
Proposicin: sentencia declarativa (hecho del mundo) que puede ser verdadera o falsa. Puede ser: > Atmica: hecho simple, sin conexiones. > Molecular: proposiciones atmicas conectadas.
ejemplos
T1: Razonar con lgica Prof: M Jess Castel de Haro. M1-2011-12 T1: Razonar con lgica Prof: M Jess Castel de Haro. M1-2011-12
Premisa: proposicin que declara informacin de cualquier tipo. En un argumento se considera verdadera. Cantidad: una, dos (silogismos) o ms. Puede ser conclusin del razonamiento donde aparece.
Conclusin: proposicin respuesta a un problema. Resultado que se quiere demostrar. Se afirma en base a las premisas dadas y a la inferencia aplicada a ellas.
Cmo se identifican en un argumento? Cmo se identifican en un argumento? puesto que ya que porque en tanto que. Si partcula. por lo tanto luego por consiguiente as que. Sin partcula pero adosado a una de las premisas
M1-2011-12
M1-2011-12
Falacia de afirmar el consecuente. Raz. deductivo correcto: si no sucede que las premisas son verdaderas y la conclusin falsa. Falacias: razonamientos que parecen correctos pero no lo son. Ejemplo Si el mayordomo es el asesino, tendr el cadver en su cuarto (A implica B) El mayordomo tiene el cadver en su cuarto (se afirma consecuente B). Resultan de aplicacin incorrecta de un principio lgico vlido, o aplicacin de un principio inexistente (error comn). Suelen aparecer en uso de condicionales A implica B (A (A: antecedente; B: consecuente) B) Luego:
Q1
Q2
M1-2011-12
M1-2011-12
Sistema formal lgico: estructura matemtica formada de smbolos lgicos que permiten Falacia de negar el antecedente. Ejemplo Si el mayordomo es el asesino, tendr el cadver en su cuarto (A implica B) El mayordomo no es el asesino (no A). construir expresiones: frmulas lgicas, que sern manipuladas en el clculo lgico, mediante reglas para construir otras frmulas.
Q: Luego...
Q1 Q2
El mayordomo no tendr el cadver en su cuarto (B). El mayordomo tendr el cadver en su cuarto (B).
M1-2011-12
M1-2011-12
El sistema trabaja en dos niveles: Lenguaje para construir frmulas. Lgica proposicional: supone que existen hechos en el mundo real que pueden ser verdaderos o falsos y que pueden estar conectados con otro hechos. Lgica de predicados de primer orden (LPO): se destacan : objetos, propiedades Semntica para interpretar frmulas en contexto especfico (acciones, cualidades) y relaciones con otros objetos. Introduce cuantificadores (universal:; existencial: ) para referenciar a sujetos de un conjunto.
Principios De (no) contradiccin: es falso que una proposicin sea verdadera y falsa. De identidad: toda proposicin es igual a s misma. De tercero excluido: Una proposicin solamente puede ser verdadera o falsa.
M1-2011-12
M1-2011-12