Logik:Prädikatenlogik/Beweisverfahren

Aus Tudwiki
Version vom 4. August 2004, 16:21 Uhr von ArBmind (Diskussion | Beiträge)

(Unterschied) Nächstältere Version→ | Aktuelle Version (Unterschied) | ←Nächstjüngere Version (Unterschied)
Wechseln zu: Navigation, Suche

Die Beweisverfahren der Prädikatenlogik geben uns die Möglichkeit um logische Konsequenzen mit Computern auszurechnen.

Von „https://tudwiki.hicknhack.org/index.php?title=Logik:Prädikatenlogik/Beweisverfahren&oldid=3617“