Disjunktion

Die Disjunktion ist die Verknüpfung zweier Aussagen $A$ und $B$ zu

A \lor B .

Sie ist genau dann wahr, wenn mindestens eine der beiden Aussagen wahr ist.

Einführungsregeln:

\frac{A}{A \lor B} \frac{B}{A \lor B}

Eliminationsregel:

\frac{A \lor B A \overset{!}{⟹} C B \overset{!}{⟹} C}{C}