Contents    Page-10    Prev    Next    Page+10    Index   

Interpretation in Propositional Logic

An interpretation of a propositional logic formula is an assignment of a value (true or false) to each atom. There are 2n possible interpretations of a formula with n atoms. Although this is large, it is finite; thus, every question about propositional logic is decidable.

Terminology:

Clearly, a formula G is valid iff ¬ G is inconsistent.

If a formula F is true under an interpretation I, I is a model for F.

Two formulas F and G are equivalent if they have the same values under every interpretation: F ↔ G .