Traditionally, logic is said to be the art (or study) of reasoning; so in order to describe logic in this tradition, we have to know what ‘reasoning’ is. According to some traditional views reasoning consists of the building of chains of linguistic entities by means of a certain relation ‘... follows from ....’, a view which is good enough for our present purpose. The linguistic entities occurring in this kind of reasoning are taken to be sentences, i.e. entities that express a complete thought, or state of affairs. We call those sentences declarative. This means that, from the point of view of natural language, our class of acceptable linguistic objects is rather restricted.
KeywordsNormal Form Induction Hypothesis Propositional Logic Truth Table Conjunctive Normal Form
Unable to display preview. Download preview PDF.