Conjunção possível em LaTeX (\Diamond(p \land q))

Onde é usado

Conjunção possível: \Diamond(p \land q) diz que existe um mundo acessível em que p e q valem ao mesmo tempo.

Ela implica \Diamond p \land \Diamond q, mas não o contrário, pois p e q podem ser possíveis em mundos diferentes; essa assimetria é um ponto clássico de prova. Seu dual é \Box(\neg p \lor \neg q). \land e \wedge produzem o mesmo símbolo; \land se lê melhor em artigos de lógica. Mantenha os parênteses, porque \Diamond p \land q é analisado como (\Diamond p) \land q. Em termos de Kripke, um único mundo testemunha precisa satisfazer as duas conjunções de uma vez. Por exemplo, é possível chover e é possível não chover, mas chover e não chover ao mesmo tempo não é.

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}
Possible Conjunction: $\Diamond(p \land q)$

\[ \Diamond(p \land q) \to \Diamond p \land \Diamond q \]
\end{document}

Símbolos relacionados

• Operador de conhecimentoK_a p
• Implicação necessária\Box(p \to q)
• Operador de crençaB_a p
• Impossibilidade\neg\Diamond
• Conhecimento comumC_G p
• Negação da necessidade\neg\Box

Perguntas frequentes

Como escrever Conjunção possível em LaTeX?

Digite \Diamond(p \land q) no modo matemático, por exemplo $\Diamond(p \land q) \to \Diamond p \land \Diamond q$. Carregue antes amssymb com \usepackage{amssymb}.

Qual pacote é necessário para \Diamond(p \land q)?

\Diamond(p \land q) precisa de amssymb: adicione \usepackage{amssymb} ao preâmbulo antes do início do documento.

Posso usar \Diamond(p \land q) 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 $\Diamond(p \land q)$.