Philosophy Index

Propositional Logic

A system of propositional logic is a logical system concerned mainly with propositions. Strictly propositional logics generally ignore predicate terms and quantifiers.

A propositional logic will generally use letters of the Roman alphabet (A, B, C … Z) to represent propositions, and then use logical operators to form compound expressions and perform logical evaluations of those propositions.