An assertion that contains one or more variable is called a….

• A. CNF
• B. DNF
• C. Predicates
• D. Quantifiers