0

∀ ∃ (() ∨ ()) ⊢ ∃ ∀ (() ∨ ())

I first introduced y0 as a fresh variable and then introduced x0 as fresh variable but still not able to prove correctly following the rules of Natural Deduction.

SARTHAK GUPTA
  • 1
  • Please clarify your specific problem or provide additional details to highlight exactly what you need. As it's currently written, it's hard to tell exactly what you're asking. – Community Nov 18 '21 at 15:47
  • @Community I am trying to prove the above predicate logic proof by natural deduction rules but I am unable to. The link sent above prove other way round which I also proved on my own – SARTHAK GUPTA Nov 18 '21 at 16:10
  • @Physor there is such proof that too in stack exchange but it is violating natural deduction rules. Refer to the link : https://math.stackexchange.com/questions/828398/natural-deduction-%E2%88%80x%E2%88%83y-px-%E2%86%92-qy-%E2%86%92-%E2%88%83y%E2%88%80xpx-%E2%86%92-qy – SARTHAK GUPTA Nov 19 '21 at 07:44

0 Answers0