Part IV
First Order Logic

IV.1  Introduction

IV.2  Syntax First Order Logic

IV.3  Formal semantics of First Order Logic

IV.4  Semantics of Expressions

IV.5  Semantics of Formulae

IV.6  Satisfiable and valid

IV.7  Summary

IV.8  Exercises