Negação da necessidade em LaTeX (\neg\Box)

Onde é usado

Necessidade negada: \neg\Box p diz que p não é necessário, o que equivale a \Diamond\neg p.

A dualidade \neg\Box p \leftrightarrow \Diamond\neg p permite empurrar negações para dentro, a contrapartida modal das leis de De Morgan para quantificadores. Semanticamente, vale em um mundo quando algum mundo acessível torna p falso. \neg é um símbolo comum, então \neg\Box p sai compacto; se preferir, escreva \lnot, que é um sinônimo. Não existe um comando único padrão para uma caixa riscada, e um glifo combinado confundiria os leitores, então mantenha a forma com dois símbolos. Em leituras epistêmicas, \neg K_a p diz que o agente não sabe p, o que é mais fraco do que saber \neg p.

Exemplo mínimo compilável

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

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Necessary: $\neg\Box$

\[ \neg \Box p \leftrightarrow \Diamond \neg p \]
\end{document}

Símbolos relacionados

• Impossibilidade\neg\Diamond
• Operador de possibilidade\Diamond
• Implicação necessária\Box(p \to q)
• D'alembertiano\Box
• Conjunção possível\Diamond(p \land q)
• Operador de conhecimentoK_a p

Perguntas frequentes

Como escrever Negação da necessidade em LaTeX?

Digite \neg\Box no modo matemático, por exemplo $\neg \Box p \leftrightarrow \Diamond \neg p$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \neg\Box?

\neg\Box precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \neg\Box 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 $\neg\Box$.