Question

Consider the following hypotheses: 12:V ) >(x)) Use rules of inference to prove that the following conclusion follows from these hypotheses: Clearly label the inference rules used at every step of your proof 2. Consider the following hypotheses: H1 Vr (C()--A(x)) H2 : Vr (A() Vy B(y)) Use rules of inference to prove that the following conclusion follows C: 3r (B(x) AC()) H3: Br A(a) from these hypotheses: Clearly label the inference rules used at every step of your proof. 3. Consider the following predicate quantified formula: r y (P(x, y)P(, y)) Prove the unsatisfiability of this formula using rules of inference.

Answer 1

Answer: See attachment below

Explanation: