Implicação em LaTeX (\implies)

Onde é usado

Escreve uma seta dupla longa para a implicação lógica, indicando que o enunciado da esquerda implica o da direita.

\implies produz \Longrightarrow cercado de espaçamento extra largo, adequado para implicações entre enunciados inteiros, como em x > 2 \implies x^2 > 4. Para a implicação entre fórmulas dentro de uma expressão lógica, muitos lógicos preferem as setas mais curtas \Rightarrow ou \to, sem o espaço amplo. A recíproca é \impliedby. Em demonstrações, evite empilhar vários \implies seguidos ao longo da página; frases completas com “portanto” costumam ficar mais legíveis. Na notação da lógica proposicional, p \to q é mais comum que p \implies q.

Também aparece em: Lógica e Provas

Exemplo mínimo compilável

Cole isto em um arquivo .tex vazio e compile com pdfLaTeX, XeLaTeX ou LuaLaTeX.

\documentclass{article}
\usepackage{amsmath}
\begin{document}
Implies: $\implies$

\[ x^2 = 4 \implies x = 2 \text{ ou } x = -2 \]
\end{document}

Símbolos relacionados

• Equivalência (se e somente se)\iff
• Maior ou igual\geq
• Quantificador universal\forall
• Menor ou igual\leq
• Quantificador existencial\exists
• Sinal de diferente\neq

Perguntas frequentes

Como escrever Implicação em LaTeX?

Digite \implies no modo matemático, por exemplo $x^2 = 4 \implies x = 2 \text{ ou } x = -2$. Carregue antes amsmath com \usepackage{amsmath}.

Qual pacote é necessário para \implies?

\implies precisa de amsmath: adicione \usepackage{amsmath} ao preâmbulo antes do início do documento.

Posso usar \implies no modo texto ou só no modo matemático?

Só no modo matemático. Fora de $...$ o LaTeX para com "Missing $ inserted", então no texto escreva $\implies$. Se você só precisa do glifo no texto, cole o caractere Unicode ⟹ (com XeLaTeX ou LuaLaTeX e uma fonte que o tenha).