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.
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 &harr G .
Contents    Page-10    Prev    Next    Page+10    Index