Logic for Computer Scientists/Predicate Logic

From Wikibooks, open books for an open world
< Logic for Computer Scientists
Jump to: navigation, search

5.1 Predicate Logic
5.2 Syntax
5.3 Semantics
5.4 Equivalence and Normal Forms
5.5 Herbrand Theories
5.6 Semantic Trees
5.7 Resolution
5.8 Strategies for Resolution
5.9 SATCHMO