En lógica, se emplean un grupo de símbolos que sirven para representar una expresión lógica. La tabla que aparece a continuación reúne los símbolos más comunes, además de su nombre, lectura y área de la matemática relacionada. La tercera columna ofrece una definición informal sobre el símbolo, la cuarta columna ofrece un ejemplo, la quinta y sexta ofrecen su ubicación y nombre en el Unicode para el uso en documentos HTML1. La última columna ofrece su símbolo en LaTeX.
Explicación paso a paso:
41 Símbolos Lógicos
Símbolo Leer como Ejemplos
Categoría
⇒ → ⊃ lógica proposicional, álgebra de Heyting x = 2 ⇒ x2 = 4 es verdadero, pero x2 = 4 ⇒ x = 2 es, considerando todas las posibilidades falso (considerando que el x podría ser también −2).
⇔ ≡ ↔ si y solamente si (sse) x + 5 = y + 2 ⇔ x + 3 = y
Verified answer
Respuesta:
En lógica, se emplean un grupo de símbolos que sirven para representar una expresión lógica. La tabla que aparece a continuación reúne los símbolos más comunes, además de su nombre, lectura y área de la matemática relacionada. La tercera columna ofrece una definición informal sobre el símbolo, la cuarta columna ofrece un ejemplo, la quinta y sexta ofrecen su ubicación y nombre en el Unicode para el uso en documentos HTML1. La última columna ofrece su símbolo en LaTeX.
Explicación paso a paso:
41 Símbolos Lógicos
Símbolo Leer como Ejemplos
Categoría
⇒ → ⊃ lógica proposicional, álgebra de Heyting x = 2 ⇒ x2 = 4 es verdadero, pero x2 = 4 ⇒ x = 2 es, considerando todas las posibilidades falso (considerando que el x podría ser también −2).
⇔ ≡ ↔ si y solamente si (sse) x + 5 = y + 2 ⇔ x + 3 = y
si y solo si; sse