Kommutativität der Konjunktion

Einfache Sprache

Die aussagenlogische Konjunktion ist Kommutativität.

Def. Kommutativität der Konjunktion

Sei $\varphi, \psi\in\mathbf F_{AL}$. Dann gilt:

$$\varphi\land\psi \models=| \psi\land\varphi$$