You are here: Home › … › … › Decision Procedures … › Slides › First Order Logic

First Order Logic

Syntax and Semantics of First Order Logic, Substitution, Semantic Tableaux, Soundness and Completeness, Normal Forms