Utilisateur:Émile/Notations

Modèle:log

~

v

E

p

q

p>q

p<q

p.q

|-

Notation

\forall \exists \lnot \land \lor \to \leftrightarrow \Rightarrow \Leftrightarrow \vdash \models

$\forall \exists \lnot \land \lor \to \leftrightarrow \Rightarrow \Leftrightarrow \vdash \models$

\subset \subseteq \supset \supseteq \in \ni \notin

$\subset \subseteq \supset \supseteq \in \ni \notin$

a_{i,j}

$a_{i,j}$