First Order Syntax

First Order Semantics

First Order Tableaus

Homework Hint on question 1: you can use some formulas more than once, and you will have to.