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

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.  



Christian Gottschall 2003-03-19