Zum Inhalt springen

Quelltext der Seite Modus Ponens

← Modus Ponens

Du bist aus dem folgenden Grund nicht berechtigt, diese Seite zu bearbeiten:

Diese Aktion ist auf Benutzer beschränkt, die einer der Gruppen „Benutzer, Bots, TestBot, SMW-Kuratoren ◀“ angehören.

Du kannst den Quelltext dieser Seite betrachten und kopieren.

=== Als Subjunktionsbeseitigungsregel ===

Als ''Abtrennungsregel'' in logischen [[Kalkül]]en (auch: Beseitigungsregel der [[Subjunktion]] (Implikation) in den [[Systeme natürlichen Schließens|Systemen des natürlichen Schließens]]) lautet er so:

:→ Abtrennregel: (A → B), A  ⇒  B

Zurück zur Seite Modus Ponens.

Abgerufen von „https://aufeinwort.info/wiki/Modus_Ponens“