Back to Results
First PageMeta 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
UPDATE