Advertisement

Classical Propositional Logic - PC -

  • Richard L. Epstein
Part of the Nijhoff International Philosophy Series book series (NIPS, volume 35)

Abstract

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.

Keywords

Formal Language Classical Logic Axiom System Conjunctive Normal Form Propositional Variable 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer Science+Business Media Dordrecht 1990

Authors and Affiliations

  • Richard L. Epstein

There are no affiliations available

Personalised recommendations