Overview
Using only basic rules of first-order logic, turn these into proofs that Carnap will accept. Rules that you can use are negation, /\(and),\/(or), if then, if and only if, contradiction, universal quantifier, existential quantifier, and identity. This involves a nested quantifier