Logik:Prädikatenlogik/Beweisverfahren: Unterschied zwischen den Versionen
Aus Tudwiki
K (Link fixes) |
(kein Unterschied)
|
Aktuelle Version vom 4. August 2004, 17:21 Uhr
Die Beweisverfahren der Prädikatenlogik geben uns die Möglichkeit um logische Konsequenzen mit Computern auszurechnen.