Anonymous
timer Asked: Apr 10th, 2020

Question Description

logic homework 6: need help with logic hw all the instructions are on the document

Unformatted Attachment Preview

Philosophy 2310 Philosophy 2310 - Logic Problem Set 6 Check Blackboard for deadline. Late HW is not accepted. 1. For each of the following pairs of schemata, give an interpretation that shows that the first schema does not imply the second. (10 pts each) a) b) c) d) e) ("x)($y)Fxy ($x)("y)Fxy • ($x)("y)Fyx ("y)( ($z)Fyz É ($z)Fzy ) ("x)( ("y)(HyÉ~Fyx) É Hx ) ($x)( ($y)Gxy • ~($y)Gyx ) ($x)($y)(Fxy • Fyx) ($x)("y)(Fxy • Fyx) ("y)( ("z)Fyz É ("z)Fzy ) ("x)( ($y)(Hy•~Fyx) É Hx ) ($x)("y)(Gxy É Gyx) 2. For each of the following schemata. (i) (ii) Write two conservative instances, and Write down all of its non-conservative instances. If all of its instances are conservative, say so. (Make sure to say which instances are the conservative ones and which are the non-conservative ones.) In each case, what is the instantial variable? (10 pts each) a) b) c) d) e) ($x)(Fxy • ~Fyx) ("z)(Gxz É ("x)(Fxz É Fyz)) ("x)(Fwxyz É ("w) (Gxww•Gxwx•Gxwy•Gxwz)) ($w)("x)(Fxwx É ~Fwxw) ($w)("x)(Fxwy É ~Fyxw) 1 ...
Student has agreed that all tutoring, explanations, and answers provided by the tutor will be used to help in the learning process and in accordance with Studypool's honor code & terms of service.

This question has not been answered.

Create a free account to get help with this and any other question!

Similar Questions
Related Tags

Brown University





1271 Tutors

California Institute of Technology




2131 Tutors

Carnegie Mellon University




982 Tutors

Columbia University





1256 Tutors

Dartmouth University





2113 Tutors

Emory University





2279 Tutors

Harvard University





599 Tutors

Massachusetts Institute of Technology



2319 Tutors

New York University





1645 Tutors

Notre Dam University





1911 Tutors

Oklahoma University





2122 Tutors

Pennsylvania State University





932 Tutors

Princeton University





1211 Tutors

Stanford University





983 Tutors

University of California





1282 Tutors

Oxford University





123 Tutors

Yale University





2325 Tutors