Lista de símbolos lógicos

Lista de símbolos utilizados para expresar relaciones lógicas

En lógica , se suele utilizar un conjunto de símbolos para expresar una representación lógica. La siguiente tabla enumera muchos símbolos comunes, junto con su nombre, cómo deben leerse en voz alta y el campo relacionado de las matemáticas . Además, las columnas siguientes contienen una explicación informal, un breve ejemplo, la ubicación Unicode , el nombre para su uso en documentos HTML ^[1] y el símbolo LaTeX .

Símbolos lógicos básicos

Símbolos lógicos avanzados o poco utilizados

Los siguientes símbolos son avanzados y sensibles al contexto o se utilizan muy raramente:

Véase también

• Portal de filosofía

• Glosario de lógica
• Józef Maria Bocheński
• Lista de notaciones utilizadas en Principia Mathematica
• Lista de símbolos matemáticos
• Alfabeto lógico , un conjunto sugerido de símbolos lógicos
• Puerta lógica § Símbolos
• Conectiva lógica
• Operadores y símbolos matemáticos en Unicode
• Símbolo no lógico
• Notación polaca
• Función de verdad
• Tabla de verdad
• Wikipedia:WikiProject Lógica/Estándares para la notación

Referencias

1. "Referencias de caracteres con nombre". HTML 5.1 Nightly . W3C . Consultado el 9 de septiembre de 2015 .
2. Aunque este carácter está disponible en LaTeX, el sistema TeX de MediaWiki no lo admite.
3. Quine, WV (1981): Lógica matemática , §6
4. Hintikka, Jaakko (1998), Los principios de las matemáticas revisitados, Cambridge University Press, pág. 113, ISBN 9780521624985.

Lectura adicional

• Józef Maria Bocheński (1959), Un resumen de lógica matemática , trad. de Otto Bird, de las ediciones en francés y alemán, Dordrecht, Holanda Meridional: D. Reidel.

Enlaces externos

• Entidades de caracteres con nombre en HTML 4.0