Kommutativität der Disjunktion

Einfache Sprache

Die aussagenlogische Disjunktion ist Kommutativität.

Def. Kommutativität der Disjunktion

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

$$\varphi\lor\psi \models=| \psi\lor\varphi$$