Introduction to Predicate Calculus

Let T = F