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