next up previous contents index
Nächste Seite: Regel der Oder-Beseitigung () Aufwärts: Transformationsregeln (Schlussregeln) Vorherige Seite: Regel der Und-Beseitigung ()   Inhalt   Index

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.  



Christian Gottschall 2003-03-19