Report - Predicates and Quantifiers. Predicates (aka propositional functions) Propositions (things that are true or false) that contain variables P(-2) is false.

Please pass captcha verification before submit form