En lógica , se utiliza comúnmente 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 de las matemáticas relacionado . 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 .
Los siguientes símbolos son avanzados y sensibles al contexto o se utilizan muy raramente:
A partir de 2014, [update]en Polonia , a veces se escribe el cuantificador universal y el cuantificador existencial como [ cita requerida ] . Lo mismo se aplica a Alemania [ cita requerida ] .
El símbolo ⇒ se utiliza a menudo en el texto para significar "resultado" o "conclusión", como en "Examinamos si vender el producto ⇒ No lo venderemos". Además, el símbolo → se utiliza a menudo para indicar "cambiado a", como en la frase "La tasa de interés cambió. 20% de marzo → 21% de abril".