Impossibilidade em LaTeX (\neg\Diamond)

Onde é usado

Possibilidade negada: \neg\Diamond p diz que p é impossível, o que equivale a \Box\neg p.

A impossibilidade é a necessidade da negação, \neg\Diamond p \leftrightarrow \Box\neg p, e vale em um mundo quando nenhum mundo acessível satisfaz p. Uma contradição é impossível em toda lógica modal normal, \neg\Diamond\bot. Leituras epistêmicas dizem que um agente considera p descartado. O comando \neg pode ser substituído por \lnot com resultado idêntico. Evite improvisar um losango cortado com \not\Diamond, que foi feito para relações e posiciona mal o traço. Levar a negação para dentro, \Diamond\neg p, significa outra coisa: p poderia falhar.

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 Possible: $\neg\Diamond$

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

Símbolos relacionados

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

Perguntas frequentes

Como escrever Impossibilidade em LaTeX?

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

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

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

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