Símbolos lógicos

Los símbolos lógicos pertenecen a un conjunto de caracteres que brinda una representación lógica  a los valores que están dentro de las operaciones aritméticas.

El principal objeto de la simbología lógica, es la “concepción exacta” de todos los valores y la posibilidad de aplicación matemática correcta según el caso de estudio.

Tipos

Al igual que otros signos matemáticos, los símbolos lógicos se dividen de la siguiente manera:

• Símbolos de la lógica para fórmulas: son los responsables de darle un sentido a las operaciones matemáticas.
• Símbolos de lógica para conexiones: estos elementos son aplicados en las operaciones lógicas, pero funcionan para unir ciertos valores.
• Auxiliares: son aquellos de uso común para agrupar o determinar un valor como los paréntesis.

Los símbolos lógicos fundamentales:

• A, B, C... X, Y, Z... son los símbolos que muestran las proposiciones variables.
• a, b, c... x, y, z... son los símbolos que indican objetos variables.
• P(.), R(.,.), S(.,.,.) son los símbolos de los predicados variables.
•  – ¬ ∼ signos de negación (“no”).
• ∨    signos de disyunción (“o”).
• ⋅ ∧     signos de conjunción (“y”).
• ⊃ →    signos de implicación (“si... entonces”).
• ∼ ≡ ↔   signos de equivalencia (“si y sólo si”).
• ∈ ∃     signos de cuantificador existencial.
• ∀ ( )   signos de cuantificador universal.

Los símbolos de lógica más utilizados

Dentro de las clasificaciones y los tipos, entre los símbolos lógicos más utilizados podemos encontrar los siguientes:

Negación

La negación "  ~  " busca la inversión de los valores para darle un valor lógico a la declaración simple o compuesta que se pueda conformar.

Los signos de más ( + ) y menos ( - ) Historia, reglas y ejemplos

Este símbolo ayuda a definir si una declaración es verdadera o falsa, representando en un sistema denominado como “tablas de la verdad”.

Conjunción

La conjunción "  •  " ayuda a simbolizar las declaraciones compuestas que se puedan formar con el uso de este conectivo.

Forma parte del sistema de caracteres dentro de una tabla denominada tablas de la verdad, la cual indica cuando una conjunción es real o falsa según su sistema.

En el inglés, las conjunciones se representan gramáticamente como "y" y "pero", las cuales tienen los mismos significados semánticos.

Disyunción

La disyunción es conocida por el símbolo "∨". Su significado también tiene la finalidad de definir si un valor es verdadero o falso.

El procedimiento consiste en colocar los valores verdaderos y falsos para la aplicación de una tabla ya predeterminada.