Kategorie:Logikkalkül

aus Wikipedia, der freien Enzyklopädie
Dies ist die aktuelle Version dieser Seite, zuletzt bearbeitet am 21. Oktober 2017 um 06:32 Uhr durch imported>Anonym~dewiki(31560).
(Unterschied) ← Nächstältere Version | Aktuelle Version (Unterschied) | Nächstjüngere Version → (Unterschied)

Diese Kategorie enthält Methoden für die Manipulation von logischen Formeln, insbesondere Logikkalküle, und Begriffe, die vornehmlich im Zusammenhang mit solchen Methoden gebraucht werden.