Category:Definitions/Propositional Logic

From ProofWiki
Jump to navigation Jump to search

This category contains definitions related to Propositional Logic.
Related results can be found in Category:Propositional Logic.


Propositional logic is a sub-branch of symbolic logic in which the truth values of propositional formulas are investigated and analysed.

The atoms of propositional logic are simple statements.


There are various systems of propositional logic for determining the truth values of propositional formulas, for example:

  • Natural deduction is a technique for deducing valid sequents from other valid sequents by applying precisely defined proof rules, each of which themselves are either "self-evident" axioms or themselves derived from other valid sequents.

Pages in category "Definitions/Propositional Logic"

The following 86 pages are in this category, out of 86 total.