Lógica simbólica

La lógica simbólica y la silogística, son formales, se centran en la validez de los razonamientos, en la estructura
formal de las relaciones entre los términos y sentencias. Crea medios e instrumentos más rigurosos y adecuados
para verificar la validez de los argumentos.
Características de la lógica simbólica
Formalización:
Existen tres dimensiones: la sintaxis es la relación de un signo con los demás signos del mismo sistema; la
semántica, es la relación de un signo con su significado; y la pragmática, es la relación de un signo con lo que el
ser humano quiere comunicar.
Cuando a un lenguaje lo empleamos solo en su aspecto sintáctico, prescindiendo de su dimensión semántica y
pragmática, obtenemos un lenguaje formalizado. Ejemplo en matemática, especialmente en álgebra. Una ecuación,
es un lenguaje formalizado, pues prescinde de todo contenido significativo y solo se limita a unas reglas.
 Características de la lógica simbólica
Cálculo: Definimos cálculo como las operaciones que podemos hacer con los signos, como la transformación de
expresiones mediante la aplicación de reglas de operación exactas y explícitas.
Simbolización: Recibe este nombre porque utiliza signos simbólicos, la utilización de una simbología para el
proceso de la formalización se lleva a cabo de una manera consecuente y completa.
Axiomatización: Consiste en disponer de un conjunto de enunciados o fórmulas que se admiten sin demostración y
a partir de los cuales se obtienen todas las demás afirmaciones en la teoría, a las cuales las llamamos teoremas.
Las fórmulas aceptadas sin demostración las llamamos axiomas o postulados. El conjunto de los axiomas, más la
definición de enunciado o fórmula de sistema y el conjunto de reglas para la obtención de teoremas a partir de los
axiomas (reglas de transformación) constituyen la base primitiva del sistema.
 Lenguaje y metalenguaje

El lenguaje consta de signos convencionales (símbolos) que son sustitutos de los objetos.

En el lenguaje podemos distinguir diversos planos o niveles:

En el primer nivel, el del plano de signos, nos encontramos en el nivel básico del lenguaje.

En el segundo nivel, nos encontramos con el metalenguaje. Por ejemplo, si decimos el ser humano es un
mamífero nos encontramos en el plano de lenguaje, pues utilizamos la expresión ser humano como signo de la
realidad que a ella corresponde.

El metalenguaje consiste en el lenguaje usado para hacer referencia a otros lenguajes.

 Conectores lógicos
En lógica simbólica las proposiciones atómicas no son afectadas por ningún conector y son simbolizadas con las
letras p, q, r… Los conectores lógicos son operadores que permiten formar proposiciones compuestas a partir de
estas proposiciones atómicas. A continuación, un cuadro con los conectores, sus respectivos símbolos, esquemas y
significados.
 Conectores lógicos
Estas expresiones nos permiten la construcción de enunciados complejos simbolizados con los conectores lógicos
y las letras p y q que serían las proposiciones atómicas.
Estas expresiones tienen un comportamiento constante, son partículas sintácticas o lógicas.
 Lógica matemática
Cálculo de proposiciones.
El cálculo es un sistema de signos no interpretados, esto significa que en un cálculo es posible realizar
operaciones sin saber qué significan los símbolos.
Consiste en pasar de una proposición a otra, generalmente más compleja, a partir de una o más proposiciones no
descompuestas en sus elementos y no interpretadas.
La lógica matemática representa las proposiciones mediante letras. En el cálculo proporcional se busca su valor de
verdad, es decir, si es verdadero o falso. Estamos pues en una lógica bivalente (se admiten dos valores: V =
verdadero y F = falso).
También hay lógicas polivalentes que tienen varios valores de verdad.
A la proposición verdadera o falsa la simbolizamos con una sola letra: p, q, r…, etc.
 Operaciones fundamentales
La operación lógica fundamental es aquella mediante la cual delimitamos los alcances de un término así como su
significado, al emplear los conectores lógicos ya mencionados:

Negación: Es la operación lógica que, a partir de una proposición dada, forma una nueva proposición que niega a
la inicial. Su símbolo es «¬p». La ley que define la negación es: si p es verdadera, ¬p es falsa; y viceversa, si p es
falsa, ¬p es verdadera.
 Las tablas de verdad
Las tablas de verdad son un método de prueba del cálculo proposicional, se basan
en una concepción según la cual el objetivo de cálculo es determinar las condiciones necesarias y suficientes de
la verdad de una proposición o enunciado.
Ejemplo.
Primero identificamos las proposiciones atómicas y les asignamos una variable,
p: pasas la prueba; q: estarás en graves problemas.
Luego podemos formalizar como (-p)→q y, por último, construimos su tabla:
 Tabla de verdad
  o y Si, entonces Si y solo si o…o

P q P v q P ^ q P → q P ↔ q P ∆ q

V V     V     V   F

V F       F    

F V          

F F F       V   F