Using the auxiliary hypothesis metatheorem prove ⊢ (∃x)A → (∃x) ( A ∧ (A ∨ B) )

Please use the graphical technique. 

Here is an example of it:

http://www.diag.uniroma1.it/liberato/planning/tableau/multiple-04.png

Logic
Ih8Myl1Fe Ih8Myl1Fe
Report
  • Ih8Myl1Fe Ih8Myl1Fe
    0

    The auxiliary hypothesis is: "Suppose that Γ ⊢ (∃x)A."

  • Alessandro Iraci Alessandro Iraci
    0

    I don't understand the technique. Can you give a definition rather than an example?

Join Matchmaticians Affiliate Marketing Program to earn up to 50% commission on every question your affiliated users ask or answer.