Category:Propositional Logic

From ProofWiki
Jump to navigation Jump to search

This category contains results about Propositional Logic.
Definitions specific to this category can be found in Definitions/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.

Subcategories

This category has the following 26 subcategories, out of 26 total.

B

C

D

E

F

I

L

N

P

T

Pages in category "Propositional Logic"

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