Propositional Logic

The language of propositional logic consists of a set of primitive propositions and the set of propositions (or compound propositions) defined as follows:

3. if then

We further define and Then

Valuation Tautology (Propositional Logic) Abbreviations in Propositional Logic Semantic Entailment (Propositional Logic) True (Propositional Logic) Model (Propositional Logic) Syntactic Entailment (Propositional Logic)