Tema 1: Un aperitivo de lógica para ir “abriendo boca”

En nuestra primera clase de lógica conocimos los objetivos a alcanzar a lo largo del desarrollo del Bloque I de LC, a su vez empezamos a ver desde una perspectiva global el concepto de lógica y la manera en la que se divide la Lógica de Primer Orden.
A partir de ese día conceptos como Lenguaje Proposicional y Lenguaje de Predicativo comenzaron a ser parte de nuestro vocabulario.
La primera impresion que tuve sobre esta asignatura, es que no era facil, pero al finalizar la clase llegué a la conclusión de que debo estudiar lógica.

Ahora si!, entremos en materia.

La Lógica se define como la disciplina que contiene como verdades aquellas en las que sólo figuran esencialmente ocurrencias de ciertas expresiones, que son de uso general en todos los saberes. La Lógica se creó como ciencia dedicada a la identificación de las formas humanas de razonamiento, con el objetivo de crear criterios par discernir la corrección o no de los argumentos usados en discusiones filosóficas de los antiguos griegos, hoy en día es un instrumento fundamental en la construcción de ordenadores, en la creación de lenguajes de programación y en los sistemas expertos de Inteligencia Artificial.

Logica de Primer Orden, Mª Jesus Castel de Haro
Farón Llorens Largo

En conclusión, se puede decir, que la Lógica es la ciencia formal que determina la verdad o falsedad de sentencias a partir de otras verdades, usandoreglas de inferencia.

El razonamiento o argumento, consta de una estructura formada por un conunto de premisas, conclusiones e inferencias(proceso para obtener conslusiones a partir de premisas).

Los argumentos pueden ser:
* Deductivos: La verdad de las premisasa implica la verdad de la conclusión de lo general a lo particular.
Ejemplo: Todo lo que es bueno es caro, luego, si todo es bueno todo es caro.
* No Deductivos: La conclusión no se sigue necesariamente de las premisas, parecen correctos.
Ejemplo: Si todo es bueno, todo es caro, luego todo lo que es bueno es caro.
* Inductivos: La conclusión se sigue probablemente de las premisas.
Ejemplo: Todas las esmeraldas encontradas hasta ahora han sido verdes, luego la próxima esmeralda que se localice será verde.

El Lenguaje de la Lógica de Primer Orden se divide en