Logic for Computer Scientists/Predicate Logic
From Wikibooks, open books for an open world
This page may need to be 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
