This website is dedicated to Propositional Logic, a part of Mathematical Logic. In Propositional Logic we build general laws of reasoning that are applicable to all knowledge domains. For instance, the rules of syllogism, de Morgan rules, Peirce's law and others can be formulated and proven in Propositional Logic.
There are several approaches for proving semantically valid formulas in Propositional Logic:
Welcome!