Regel der Und-Beseitigung ($\wedge B$)

Wenn die Konjunktion beider Sätze gültig ist, dann ist jeder der beiden Sätze auch für sich allein gültig.

$(\varphi \wedge \psi)$

$\varphi$
beziehungsweise
$(\varphi \wedge \psi)$

$\psi$

Das Ergebnis einer Anwendung der Regel der Und-Beseitigung beruht auf allen Annahmen, auf denen der Satz, auf den die Regel angewandt wurde, beruht.

Beispiel:

$1$	$(1)$	$P \wedge Q$	$A$
$1$	$(2)$	$P$	$1\wedge B$

Beispiel:

	$(1)$	Es regnet, und Logik ist interessant.
	$(2)$	Also ist Logik interessant.