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.
No need to integrate academic sources; just solve the problem and write how you reach your conclusion in one or two page.
Use the order calculator below and get started! Contact our live support team for any assistance or inquiry.
[order_calculator]