Documentation
Description
Ce modèle sert a écrire plus facilement quelques symboles logiques assez fréquents en LaTeX. Cela peut être utile pour ceux qui ne sont pas familiers avec cette écriture et pour obtenir plus simplement quelques symboles élémentaires. Pour des formules plus complexes, il faut se reporter à la page d'aide de Wikipédia w:Connecteur logique.


Syntaxe
{{Log|Opérande|Opérateur|Opérande}}
Liste des symboles (cette liste pourra être étendue) :
Opérateurs :
  • Implication : > affiche
  • Négation : ~ affiche
  • Conjonction : . affiche


Exemple
Quantificateurs :
  • Pour tout, quel que soit : V (v majuscule) affiche


Voir aussi