Mark each statement True or False. Justify each answer. (a) The symbol “ ∃ ” means “there exist several.” (b) If a variable is used in the antecedent of an implication without being quantified, then...

Mark each statement True or False. Justify each answer.

(a) The symbol “ ∃ ” means “there exist several.”

(b) If a variable is used in the antecedent of an implication without being quantified, then the universal quantifier is assumed to apply.

(c) The order in which quantifiers are used affects the truth value.