Kategorie:Logikkalkül

aus Wikipedia, der freien Enzyklopädie
Wechseln zu: Navigation, Suche

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.