#quantification #truth value #predicate logic #mathematical logic #determining quantity #scope validation