W4 - predicate logic

Question 1

Predicates

Answer 1

A statement with a variable where the predicate is either True or False

A predicate is a kind of function whose codomain is the set {True,False}