Jump to content

Logic for Computer Scientists/Propositional Logic

From Wikibooks, open books for an open world
< Logic for Computer Scientists
This page may need to be reviewed for quality.

Propositional Logic

[edit | edit source]

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

Retrieved from "https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Propositional_Logic"