Introducción a Lógica práctica

LENGUAJES

Lenguaje natural: lenguaje cotidiano, sencillo, práctico y que necesita un contexto para aclararse, puede ser ambiguo y emotivo, expresa sentimientos.

Lenguaje de la lógica: es el lenguaje de la disciplina lógica-matemática, totalmente claro, sin ambiguedades, neutro desde el punto de vista emocional.

Típico de ciencias formales (matemáticas, lógica) que estudian la forma de la estructura de los objetos (números, formas geométricas).

Estudian objetos abstractos (no tienen porqué existir)

LÓGICA

Nos permite analizar si un razonamiento es verdadero o falso.

Coherencia: consideramos que una afirmación es verdadera si es coherente, la coherencia me permite conocer si un objeto es verdadero siempre que las reglas matemáticas o lingüísticas se respeten.

Ejemplo: "He visto 6 animales: 3 gatos, 2 unicornios y 1 gárgola" es verdadero desde la óptica de la lógica. (3+2+1=6). Es cierto porque respeta las normas de las matemáticas pero desde las ciencias expermimentales(biología) seria falso porque los unicornios no existen.

Metalenguaje: código comunicativo que se utiliza para explicarse así mismo. La lógica es un metalenguaje porque se puede explicar así misma.

Ejemplo: "¡Juan, abre la puerta!" Puede ser lenguaje natural(cotidiano y metalenguaje porque puedes usarlo para explicar por ejemplo el verbo abrir al explicar el español

Lógica proposicional

Parte de la lógica que estudia las proposiciones/oraciones, y trata de decir si una oración es verdadera o falsa según la coherencia

Proposiciones simples o atómicas: un solo predicado.

Proposiciones compuestas o moleculares: más de un predicado

CONECTORES

NEGACIÓN

Se expresa con NO, NI...NI.

Ejemplo

Hoy estudio= P

Hoy no estudio= -P

CONJUNCIÓN

Se expresa con Y, PERO, SIN EMBARGO, AUNQUE...

Ejemplo:

Hoy estudio = P Mañana también = Q

Hoy estudio y mañana también = P^Q

DISYUNCIÓN

Se expresa con O.

Ejemplo:

Hoy estudio = P Me voy de paseo = Q

Hoy estudio o me voy de paseo = P v Q

IMPLICACIÓN

Se expresa con SI.

Si delante▶️ causa

Causa a la izq. en la tabla de la verdad

Efecto a la derch.

Ejemplo:

...