Introduccion a La Lógica Formal, De Enunciados y Circuitos Lógicos

LÓGICA Y COMPUTACIÓN
Prof. Santiago Pérez Lanza

Intro: Vínculo entre la Lógica y la Psicología
La lógica está parcialmente relacionada con la inteligencia artificial. La inteligencia artificial se ocupa de la mecanización de tareas vinculadas a la psicología, como el razonamiento. Entendemos como razonamiento la actividad de un agente q razona, sea éste un humano o una máquina. La lógicasería un cálculo susceptible de implementación computacional y a su vez como un medio xa automatizar el razonamiento.

Lógica
-Definición de Lógica:
Ciencia de los principios de la validez formal de los argumentos.

-Argumento, Argumentación y Razonamiento
Plano Lingüístico Argumentación Plano Psicológico Razonamiento Argumento: Es una entidad conceptual, de carácter abstracto, formado xproposiciones, en la que se pretende por parte de alguien que la conclusión se siga de las premisas(deductivo) o viceversa (inductivo). En los argumentos hablamos de estructura lógica. Ej.: p → ¬q p ¬q (Este mismo argumento podría corresponder a numerosas argumentaciones) Argumentación: Es una entidad lingüística, de carácter concreto, formado x enunciados, en la que se pretende por parte de alguien quela conclusión se siga de las premisas (deductiva) o viceversa (inductiva). Es el análogo lingüístico del argumento. En argumentaciones hablamos de forma lógica. Ej: Si bebo no conduzco. Estoy bebiendo. Por lo tanto, no conduzco. (Es lo mismo que el argumento del ejemplo anterior pero referido a la vida real, mediante palabras, en vez de símbolos lógicos.) Razonamiento: Es el análogo psicológicodel argumento y de la argumentación. Plano Conceptual Argumentos

-Tipos de Argumentos
La siguiente clasificación es la misma xa argumentos q xa argumentaciones: 1. Deductivo:

1

1.1. Válido: Un argumento / argumentación deductivo es válido cuando: • La conclusión se sigue necesariamente de las premisas. • Hay una relación de implicación entre las premisas y la conclusión. • No es posibleque siendo las premisas verdaderas la conclusión sea falsa (en función de sus términos no lógicos: semántica). p → q p q 1.1.1. Sólido: Argumento válido y que además sus premisas son verdaderas siempre. Ej.: p∧q Tenemos manzanas y peras. Por lo tanto tenemos peras. q 1.2. No Válido: Todos los argumentos que no son válidos. 2. Inductivo: (No los estudiamos) 2.1. Fuerte 2.2. Débil CUADRO DEIRRELEVANCIA
Se consideran las premisas falsas cuando al menos una de ellas es falsa

Si comes entonces te mueres. Estas comiendo. Por lo tanto te vas a morir.

PREMISAS V V F F

CONCLUSIÓN V F V F

VÁLIDO (1) No Hay (4) (6)

NO VÁLIDO (2) (3) (5) (7)

(Todos los ejemplos están referidos a una persona, varón que mide más de 1.80m) Ejemplo 1 Yo no tengo gafas. Si no tienes gafas entonces vesbien. Por lo tanto veo bien. Ejemplo 2 Si soy humano soy bípedo Yo soy bípedo. Por lo tanto yo soy

humano.

2

Ejemplo 3 Si soy humano soy bípedo Yo soy bípedo. Por lo tanto soy una rata. Ejemplo 4 Todos los varones miden + de 1,80m. Yo soy varón.Por lo tanto mido + de 1,80.

Ejemplo 5 Si eres bípedo entonces eres humano. Yo soy humano. Por lo tanto soy bípedo. Ejemplo 6 Si eres bípedoeres un canguro. Yo soy bípedo. Por lo tanto soy un canguro

Ejemplo 7 Si eres bípedo, eres un canguro. Yo soy un canguro. Por lo tanto soy una rata

-Deducción, Prueba y Contra-argumento
Deducción: Es el método q seguimos xa comprobar la validez de un argumento. En una deducción encontramos: • Premisas • Conclusión • Proposiciones o pasos intermedios acorde a unas reglas no arbitrarias.(ReglasLógicas de Enunciados). Prueba: Es el método q seguimos xa demostrar la solidez de un argumento. Primero demostramos su validez y luego q las premisas son verdaderas. Si se cumplen las dos cosas es q el argumento es Sólido. Contra-argumento: Es un argumento estructuralmente igual a otro pero con premisas verdaderas y conclusión falsa. Sirve xa establecer la no validez de un argumento....