Logic for Computer Scientists/Propositional Logic

Propositional Logic

This section introduces propositional logic. We will study syntax and model theoretic semantic of a language of classical propositional logic and we investigate various calculi for deciding certain properties of sentences in this language.

4.1 Preliminaries
4.2 Syntax
4.3 Semantics
4.4 Equivalence and Normal Forms
4.5 Horn clauses
4.6 Resolution
4.7 Analytic Tableaux

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.