![[Vorheriges Kapitel]](pprev.gif)
![[Vorherige Seite]](prev.gif)
![[Inhaltsverzeichnis]](up.gif)
![[Nächste Seite]](next.gif)
![[Nächstes Kapitel]](nnext.gif)
|
|
|
Axiome sind alle Sätze aus L, die sich durch folgende Substitutionen erzeugen lassen:
 | H1(p1,p2) := (p1) => (p2) => p1
|
| H2(p1,p2,p3) := ((p1) => (p2) => p3) => ((p1) => p2) => (p1) => p3
|
| H3(p1,p2) := (¬ (p1) => ¬ (p2)) => (p2) => p1
|
|
|
| Copyright © 2004, 2005 Andreas Borchert, in HTML konvertiert am 18.02.2005 |