Elements of a Logic Three parts: Syntax Semantics Proof Theory Syntax Semantics Proof Theory Transformational Proof Natural Deduction Semantic Tableaux Propositional logic is also called sentential logic.