Pregunta: Using some combination of the 8 Basic, the 10 Equivalence, the 2 Subproof the 4 Quantifier, and the QN Rule, construct a proof for each of the following four questions in the spaces provided. Each proof is worth 25 marks. Write out each proof as NEATLY and LEGIBLY as you can. Please note that MICROSCRIPT or EXTREMELY FAINT handwriting is not appreciated.

Using some combination of the 8 Basic, the 10 Equivalence, the 2 Subproof the 4 Quantifier, and the QN Rule, construct a proof for each of the following four questions in the spaces provided. Each proof is worth 25 marks. Write out each proof as NEATLY and LEGIBLY as you can. Please note that MICROSCRIPT or EXTREMELY FAINT handwriting is not appreciated. Partial marks will be awarded on the basis of how far an incomplete or erroneous proof goes toward establishing that the truth of the assigned conclusion is necessitated by the truth of the given premises. 3 $\sim (\forall x)\mathrm{Fx}$ 1) $(\forall \mathrm{x})[\mathrm{Ex}\supset (\forall \mathrm{y})(\mathrm{Fy}\supset \mathrm{Gxy})]$ 2) $(\exists x)(Ex\&(\exists y)\sim \mathrm{Gxy})$ 3)