|
![]() ![]() ![]() ![]() ![]() |
Bei der Aussagenlogik gibt es nur eine einzige Deduktionsregel, der sogenannte Modus Ponens:
Es seien zwei Theoreme oder Axiome folgender Form gegeben:
![]() | A
|
![]() | (A) => B
|
Hierbei sind A und B beliebige Formeln aus L.
Dann kann daraus B als neues Theorem abgeleitet werden.
![]() ![]() ![]() ![]() ![]() |
Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |