1 Prove (or provide a failed proof of) the following statement using the sequent calculus: x y (P (x) → Q(x, y)) x - Sequent calculus - Document - PDFSEARCH.IO

First Page	Meta Content
	1 Prove (or provide a failed proof of) the following statement using the sequent calculus: x y (P (x) → Q(x, y)) x Add to Reading List Document Date: 2009-10-29 13:31:17 Open Document File Size: 17,72 KB Share Result on Facebook

1 Prove (or provide a failed proof of) the following statement using the sequent calculus: x y (P (x) → Q(x, y)) xAdd to Reading List