Mark each statement True or False. Justify each answer. (a) When an implication p ⇒ q is used as a theorem, we refer to p as the antecedent. (b) The contrapositive of p ⇒ q is ~ p ⇒ ~ q. (c) The...

Mark each statement True or False. Justify each answer.

(a) When an implication p ⇒ q is used as a theorem, we refer to p as the antecedent.

(b) The contrapositive of p ⇒ q is ~ p ⇒ ~ q.

(c) The inverse of p ⇒ q is ~ q ⇒ ~ p.

(d) To prove “∀ n, p (n) ” is true, it takes only one example.

(e) To prove “∃ n
 p (n) ” is true, it takes only one example