Negazione della possibilità in LaTeX (\neg\Diamond)

Dove si usa

Possibilità negata: \neg\Diamond p afferma che p è impossibile, equivalente a \Box\neg p.

L'impossibilità è la necessità della negazione, \neg\Diamond p \leftrightarrow \Box\neg p, e vale in un mondo quando nessun mondo accessibile soddisfa p. Una contraddizione è impossibile in ogni logica modale normale, \neg\Diamond\bot. Nelle letture epistemiche significa che un agente considera p escluso. Il comando \neg può essere sostituito da \lnot con un risultato identico. Evitate di improvvisare un rombo barrato con \not\Diamond, pensato per le relazioni, che posiziona male la barra. Spostare la negazione all'interno, \Diamond\neg p, significa una cosa diversa: p potrebbe non valere.

Esempio minimo compilabile

Incollalo in un file .tex vuoto e compilalo con pdfLaTeX, XeLaTeX o LuaLaTeX.

\documentclass{article}
\usepackage{amssymb}
\begin{document}
Not Possible: $\neg\Diamond$

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

Simboli correlati

• Implicazione necessaria\Box(p \to q)
• Negazione della necessità\neg\Box
• Congiunzione possibile\Diamond(p \land q)
• Operatore di possibilità\Diamond
• Operatore di conoscenzaK_a p
• Dalembertiano\Box

Domande frequenti

Come si scrive Negazione della possibilità in LaTeX?

Scrivi \neg\Diamond in modalità matematica, per esempio $\neg \Diamond p \leftrightarrow \Box \neg p$. Carica prima amssymb con \usepackage{amssymb}.

Quale pacchetto serve per \neg\Diamond?

\neg\Diamond richiede amssymb: aggiungi \usepackage{amssymb} al preambolo prima dell'inizio del documento.

Posso usare \neg\Diamond in modalità testo o solo in modalità matematica?

Solo in modalità matematica. Fuori da $...$ LaTeX si ferma con "Missing $ inserted", quindi nel testo scrivi $\neg\Diamond$.