BranchesHistoryFPLHelpLogin
Welcome guest
You're not logged in.
341 users online, thereof 0 logged in

Propositional Logic

Propositional logic is a logical calculus dealing with prime propositions – simple statements that express a single complete thought, which is either true or false, but never both. For instance,

Propositional logic also studies the rules, how the truth of such prime propositions changes, if they are combined to more complex propositions using connectives. The most important connectives are:

It will turn out later that propositional logic and its connectives are embedded into more complex classical logical calculi and, as such, they are particularly important for mathematics and have many important applications in computer sciences and electronics.

We will now apply the basic concepts of logic to formally construct propositional logic.

| | | | created: 2014-02-20 21:24:49 | modified: 2018-02-13 07:59:42 | by: bookofproofs

1.Definition: Signature of Propositional Logic - PL0

2.Definition: Syntax of PL0 - Propositions as Boolean Terms

3.Definition: Interpretation of Propositions - the Law of the Excluded Middle

4.Definition: Semantics of PL0

5.Equivalent Transformations in Propositional Logic

6.Contradictory Propositions in Propositional Logic

7.Normal Forms in $PL0$

8.Definition: Boolean Algebra

Edit or AddNotationAxiomatic Method

This work was contributed under CC BY-SA 4.0 by:

This work is a derivative of:

Bibliography (further reading)

(none)