LARA

Sets and Relations

Sets and Relations - useful preparation for program semantics

First-Order Logic

First-Order Logic, also called predicate logic or predicate calculus, extends propositional Logic with functions, relations, and quantification over individuals.

Topics

First-Order Logic Syntax

First-Order Logic Semantics

First-Order Theories

Substitutions for First-Order Logic

Evaluating Formulas in Finite Structures

Graphs as Interpretations

Isomorphism of Interpretations

Normal Forms for First-Order Logic

References