|
![]() ![]() ![]() ![]() ![]() |
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 |