Hispanopedia WikiEn lógica , se suele utilizar un conjunto de símbolos para representar conceptos lógicos. La siguiente tabla enumera muchos símbolos comunes, junto con su nombre, su pronunciación y el campo matemático al que pertenecen . Además, las columnas siguientes incluyen una explicación informal, un ejemplo breve, su ubicación en Unicode , el nombre para su uso en documentos HTML [ 1 ] y el símbolo en 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 bien se utilizan muy raramente:
Véase también
- Glosario de lógica
- Józef Maria Bocheński
- Lista de notación utilizada en Principia Mathematica
- Lista de símbolos matemáticos
- Alfabeto lógico , un conjunto sugerido de símbolos lógicos.
- Compuerta lógica § Símbolos
- Conector lógico
- Operadores y símbolos matemáticos en Unicode
- Símbolo no lógico
- notación polaca
- Función de verdad
- Tabla de verdad
- Wikipedia:WikiProyecto Lógica/Estándares para la notación
Referencias
- ↑ "Referencias de caracteres con nombre" . HTML 5.1 Nightly . W3C . Consultado el 9 de septiembre de 2015 .
- ↑ Prácticamente todos los libros de texto de matemáticas de secundaria turcos usan p' para la negación debido a que los libros distribuidos por el Ministerio de Educación Nacional lo representan como p'.
- ↑ Aunque este carácter está disponible en LaTeX, el sistema TeX de MediaWiki no lo admite.
- ↑ Quine, WV (1981): Lógica matemática , §6
- ↑ Hintikka, Jaakko (1998), The Principles of Mathematics Revisited , Cambridge University Press, p. 113, ISBN 9780521624985.
Lecturas adicionales
- Józef Maria Bocheński (1959), Un resumen de lógica matemática , trad., Otto Bird, de las ediciones francesa y alemana, Dordrecht, Holanda Meridional: D. Reidel.
Enlaces externos
- Entidades de caracteres con nombre en HTML 4.0
Categorías :
- Notación matemática
- Símbolos lógicos