Classical Propositional Logic - PC -
In this chapter I will present the classical propositional logic which, I believe, is the simplest logic that can be developed from the assumptions of Chapter I. In this setting I present the notions of a formal language, a model, the logical form of a proposition, proof, consequence, and the notion of a logic.
KeywordsFormal Language Classical Logic Axiom System Conjunctive Normal Form Propositional Variable
Unable to display preview. Download preview PDF.