Welcome to our community

Be a part of something great, join today!

Intro to Logic (prove sequents)

kk12

New member
May 8, 2019
1
I am stuck on these questions and don't really know how to start/solve them.
prove the following sequent:



1. $(\exists x) Fx \to (\forall x) Gx \vdash (\exists x)(Fx \to (\forall x)Gx)$

2. $(\forall x)(Fx \to (\forall y)\neg Fy) \vdash \neg(\exists x)Fx$

3. $(\exists x)Fx, (\forall x)(Fx \; à \; Gx) \vdash (\exists x)G$
 

Evgeny.Makarov

Well-known member
MHB Math Scholar
Jan 30, 2012
2,489