Respuesta:
Símbolo Leer como Símbolo LaTeX
Categoría
⇒ → ⊃ lógica proposicional, álgebra de Heyting \Rightarrow \to \supset \implies
⇔ ≡ ↔ si y solamente si (sse) \Leftrightarrow \equiv \leftrightarrow \iff
si y solo si; sse
Explicación:
la primera pregunta
