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