Propositional Logic

  • Dirk van Dalen
Part of the Universitext book series (UTX)


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.


Normal Form Induction Hypothesis Propositional Logic Truth Table Conjunctive Normal Form 
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.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 1983

Authors and Affiliations

  • Dirk van Dalen
    • 1
  1. 1.Mathematisch instituutRijksuniversiteit UtrechtTA UtrechtThe Netherlands

Personalised recommendations