411 REFERENCE · Wikibooks
Logic for Computer Scientists/Propositional Logic
Reference material by Wikibooks contributors. This retains its source identity and is not 411 news reporting.
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