Negazione della necessità in LaTeX (\neg\Box)

Dove si usa

Necessità negata: \neg\Box p afferma che p non è necessario, il che equivale a \Diamond\neg p.

La dualità \neg\Box p \leftrightarrow \Diamond\neg p permette di spostare le negazioni verso l'interno, l'analogo modale delle leggi di De Morgan per i quantificatori. Dal punto di vista semantico vale in un mondo quando qualche mondo accessibile rende falso p. \neg è un simbolo ordinario, quindi \neg\Box p viene composto in modo compatto; se preferite scrivete \lnot, che è un alias. Per un quadrato barrato non esiste un comando singolo standard, e un glifo combinato confonderebbe i lettori, quindi mantenete la forma a due simboli. Nelle letture epistemiche, \neg K_a p afferma che l'agente non sa p, il che è più debole di sapere \neg p.

Esempio minimo compilabile

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

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

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

Simboli correlati

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

Domande frequenti

Come si scrive Negazione della necessità in LaTeX?

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

Quale pacchetto serve per \neg\Box?

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

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