Wikibooks

Logic for Computer Scientists/Predicate Logic

< Logic for Computer Scientists
This page may need to be reviewed for quality.

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

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