Mit dem Ausdruck logische Inversion bezeichnen Paul Lorenzen und andere Logiker den Vorgang der Umkehrung einer Kalkülregel.
Sei eine gültige Regel eines Kalküls: . Hierbei ist die Prämisse und die Konklusion von . Dann lautet die inverse Regel: .
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.
Literatur Hans Hermes: Einführung in die mathematische Logik: klassische Prädikatenlogik, 4. A. 1976, S. 56.
Kategorie:Logik