To show that Statement A ⇒ Statement B, Sudha starts the proof by assuming 'not B', and argues to arrive at 'not A'. Which method of proof did Sudha employ?

Let P and Q be two propositions. Which of the following logical expressions are equivalent? (I) P ∨ ¬Q (II) ¬(¬P ∧ Q) (III) (P ∧ Q) ∨ (P ∧ ¬Q) ∨ (¬P ∧ ¬Q) (IV) (P ∧ Q) ∨ (P ∧ ¬Q) ∨ (¬P ∧ Q)

Let θ(x, y, z) be the statement (x + y = z), where x, y, z are real numbers. Consider two quantified statements: (i) ∀x ∀y &exists;z θ(x, y, z) (ii) &exists;z ∀x ∀y θ(x, y, z) Which of the following is correct?