Kategorie:Logikkalkül

aus Wikipedia, der freien Enzyklopädie
Zur Navigation springen Zur Suche springen

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.