_____ logic, used extensively in mathematics, provides a framework in which an assertion (statement of fact) can be verified as either true or false.
a. Predicate b. Database
c. Relational d. Index