Utilisateur:Émile/Notations
~
v
E
p
q
p>q
p<q
p.q
|-
Notation[modifier]
\forall \exists \lnot \land \lor \to \leftrightarrow \Rightarrow \Leftrightarrow \vdash \models
\subset \subseteq \supset \supseteq \in \ni \notin
a_{i,j}
~
v
E
p
q
p>q
p<q
p.q
|-
\forall \exists \lnot \land \lor \to \leftrightarrow \Rightarrow \Leftrightarrow \vdash \models
\subset \subseteq \supset \supseteq \in \ni \notin
a_{i,j}