-(∀z)(∃y)Tzy ⊢ (∃z)(∀y)-Tzy
Using Lande, (AI,EI,AE,EE,->E,->I,-I,--E,^I,^E,vI,vE) I cannot figure out the proof on this sequent.
3
-
I think such questions are off-topic here and belong to mathoverflow.net– tkruseDec 5, 2021 at 2:58
-
Is "-" meant to be negation? If so, why not start with an easier problem Ax[Px] -> ~Ex[~Px]? Where "Ax" is forall, "Ex" is exists, and "~" is negation– Ten O'FourDec 5, 2021 at 6:54
-
I’m voting to close this question because this is not a homework forum– Swami VishwanandaDec 6, 2021 at 5:49
Add a comment
|
1 Answer
-(∀z)(∃y)Tzy ⊢ (∃z)(∀y)-Tzy
quantifier negation to z: (∃z)~(∃y)Tzy
quantifier negation to y
(∃z)(∀y)~Tzy
