Logic for Computer Scientists/Predicate Logic

< Logic for Computer Scientists

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

This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.