Konjunktion

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

A \land B .

Sie ist genau dann wahr, wenn sowohl $A$ als auch $B$ wahr sind.

Eliminationsregeln:

\frac{A \land B}{A} \frac{A \land B}{B}

Einführungsregel:

\frac{A B}{A \land B}