Las notaciones lógicas son un conjunto de símbolos que se usan comúnmente para expresar representaciones lógicas.
Por ejemplo, no A se representa como –
Entonces, veamos el código látex de Notaciones Lógicas uno por uno.
Operadores Lógicos y su Código Latex –
TÉRMINO | SÍMBOLO | LÁTEX |
---|---|---|
1. existe al menos uno | \existe | |
2. existe uno y solo uno | \existe! | |
3. no hay | \existe | |
4. para todos | \para todos | |
5. no (no lógico) | \neg | |
6. o (lógico o) | \lor | |
7. división | \div | |
8. y (lógico y) | \tierra | |
9. implica | \implica | |
10. implicación correcta | \Flecha correcta | |
11. está implícito en (solo si) | \Longleftarrow | |
12. implicación izquierda | \Flecha izquierda | |
13. si y solo si, si y si | \iff | |
14. equivalencia | \Leftrightarrow |