Modus Ponens
Natural & Formal Sciences Dictionary
Definition
Eine grundlegende Schlussregel: aus 'Wenn P dann Q' (P → Q) und 'P' folgt 'Q'. Sie ist die primäre Detachierungsregel, mit der man Bedingungsaussagen anwendet, um Konsequenzen zu gewinnen.
Modus Ponens
- Natural & Formal Sciences -
Mathematics & Logic Dictionary
Definition
Eine grundlegende gültige Schlussregel, die besagt, dass aus den Prämissen A → B und A das B gefolgert werden kann; oft beschrieben als ‚wenn A dann B; A; also B.‘