Conjonction possible en LaTeX (\Diamond(p \land q))

Où il est utilisé

Conjonction possible : \Diamond(p \land q) affirme qu'il existe un monde accessible où p et q sont vrais simultanément.

Elle implique \Diamond p \land \Diamond q, mais pas la réciproque, puisque p et q peuvent être possibles dans des mondes différents ; cette asymétrie est un classique des examens. Sa duale est \Box(\neg p \lor \neg q). \land et \wedge donnent le même symbole ; \land se lit mieux dans les articles de logique. Gardez les parenthèses, car \Diamond p \land q s'analyse comme (\Diamond p) \land q. En termes de Kripke, un seul monde témoin doit satisfaire les deux conjoints à la fois. Par exemple, la pluie est possible et l'absence de pluie est possible, mais « pluie et absence de pluie » ensemble ne l'est pas.

Exemple minimal compilable

Collez-le dans un fichier .tex vide et compilez avec 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}

Symboles associés

• Opérateur de connaissanceK_a p
• Implication nécessaire\Box(p \to q)
• Opérateur de croyanceB_a p
• Négation de la possibilité\neg\Diamond
• Connaissance communeC_G p
• Négation de la nécessité\neg\Box

Questions fréquentes

Comment écrire Conjonction possible en LaTeX ?

Tapez \Diamond(p \land q) en mode mathématique, par exemple $\Diamond(p \land q) \to \Diamond p \land \Diamond q$. Chargez d’abord amssymb avec \usepackage{amssymb}.

Quel paquet faut-il pour \Diamond(p \land q) ?

\Diamond(p \land q) nécessite amssymb : ajoutez \usepackage{amssymb} au préambule avant le début du document.

Peut-on utiliser \Diamond(p \land q) en mode texte, ou seulement en mode mathématique ?

Seulement en mode mathématique. Hors de $...$, LaTeX s’arrête avec "Missing $ inserted" : dans le texte, écrivez $\Diamond(p \land q)$.