Inferencia Lgica

Ejemplos 1.- Un joven le dice a un amigo: t todos los das dices mentiras, y l contesta: no es cierto, ayer en todo el da no dije una sola mentira. 2.- Si llueve hay nubes. Y si hay nubes qu se puede deducir? La validez y el sentido lgico que tengan estas declaraciones o frases lo estudia la inferencia lgica. Inferencia lgica: Es un razonamiento expresado en una frase cuya ltima parte se afirma con base a lo que previamente se haya declarado. Razonamiento: Tiene dos acepciones Funcional (la relacin entre las premisas y la conclusin). Procesal (la actividad del agente que razona) Funcional: La lgica se ocupa de los razonamientos en el sentido funcional. De hecho, en el proceso que lleva de las premisas a la conclusin pueden encadenarse mltiples pasos elementales. La lgica inferencial estudia las condiciones bajo las cuales estos pasos son correctos

Inferencias con condicionales Las condicionales junto con otras proposiciones, forman inferencias. Ejemplo 1.1 Todos los hombres son mortales, Scrates es un hombre, Scrates es mortal. Forma p -> q p :. q

Lenguaje formal de un razonamiento Todo razonamiento predeterminadamente est en lenguaje natural. En lgica proposicional usamos las variables (p, q, r,. . .) para las proposiciones simples, y junto a los conectivos (, , , , ) se forman las proposiciones compuestas. En el lenguaje formal la conclusin va precedida del smbolo (), que se lee: luego o por tanto. Ejemplo 1. Si estudio aprendo (premisa 1) 2. Es as que estudio (premisa 2) 3. Luego: Aprendo (conclusin) Esto, en lenguaje formal, es: 1. p q (premisa 1) 2. p (premisa 2) 3. q (conclusin) 1. en lgica no interesa tanto la verdad o falsedad de las proposiciones, sino las relaciones lgicas que existen entre ellas. 2. Un razonamiento es vlido cuando la conclusin se deriva necesariamente de las premisas y es invlido cuando la conclusin no se deriva de las premisas. Tablas veritativas

Prueba formal de invalidez