NEW HERE? USE "AFORUM20" TO GET GET 20 % OFF CLAIM OFFER

UK: +44 748 007-0908 USA: +1 917 810-5386
My Orders
Register
Order Now

Linguistics

    Use the following five deduction rules (conjunction introduction, two sub rules of conjunction elimination, modus ponens, and universal instantiation) to produce proofs that the six given premises (in the uploaded image) are contradictory in a number list-style proof. Uploaded are the exact instructions of this assignment and the template example that the marker expects (note that as far as I've observed, the example may be faulty). Note that this assignment belongs to a linguistics (semantics) course, so sound reasoning in prose is expected more than difficult technical terms.