Regel der Oder-Einführung ($\vee E$)

Wenn ein Satz gültig ist, dann ist jede Disjunktion gültig, deren Disjunkt dieser Satz ist.

$\varphi$

$\varphi \vee \psi$

beziehungsweise

$\varphi$

$\psi \vee \varphi$

Das Ergebnis einer Anwendung der Regel der Oder-Einführung beruht auf allen Annahmen, auf denen der Satz beruht, auf den die Regel angewandt wurde.

Beispiel:

$1$	$(1)$	$\bigwedge x (Fx \rightarrow Gx)$	$A$
$1$	$(2)$	$\bigwedge x (Fx\rightarrow Gx) \vee Q$	$1\vee E$

Beispiel:

	$(1)$	Es regnet.
	$(2)$	Also regnet es, oder die Sonne scheint, oder beides.