Kategorie:Logikkalkül

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.