We study the general notion of a formal logical system and its interpretations. Thus, we discuss both syntax (proof theory) and semantics (model theory) for logics. We also study constructive logic in a propositional setting.
KeywordsInference Rule Decision Procedure Propositional Logic Boolean Variable Conjunctive Normal Form
Unable to display preview. Download preview PDF.