Inverse Regel
# Inverse Regel

Mit dem Ausdruck logische Inversion bezeichnen Paul Lorenzen und andere Logiker den Vorgang der Umkehrung einer Kalkülregel.

Sei $R$ eine gültige Regel eines Kalküls:

    $P\Rightarrow K$.

Hierbei ist $P$ die Prämisse und $K$ die Konklusion von $R$. Dann lautet die inverse Regel:

    $K\Rightarrow P$.

Die Inverse einer gültigen Regel ist natürlich im Allgemeinen keine im Kalkül gültige, d. h. ableitbare Regel; dies muss im Einzelfall erst nachgewiesen werden.

