PLEASE HELP ME !!! THIS IS A PHILOSOPHY QUESTION AND REQUIRES PROOF USING PREMIS

Question

PLEASE HELP ME !!! THIS IS A PHILOSOPHY QUESTION AND REQUIRES PROOF USING PREMISES TO GET CONCLUSION!!

_____________________

Using the FITCH program and the FITCH derivation rules you should make a proof or derivation of the Conclusion from P1 through P4. You might not need all of P1 through P4 as premises to prove this.

P1: vxvy (WeakPref(x,y)vWeakPref(y,x)) P2: vxvyvz((WeakPref(x,y)AWeakPref(y,z)-WeakPref(x,z)) P3: Vxvy(StrongPref(x,y)-WeakPref(y,x)) P4: vxvy(Indiff(x,y) (WeakPref(y,x)aWeakPref(x,y))) Conclusion: vxvy(WeakPref(x,y)vStrongPref(y,x))

Explanation / Answer

?x?y(W(x,y) v W(y,x))

?x?y?z((W(x,y) ^ W(y,z)) -> W(x,z))

?x?y(S(x,y) <->

Related Questions

Navigate

• Browse (All)
• Browse P
• Subjects

---

---

Integrity-first tutoring: explanations and feedback only — we do not complete graded work. Learn more.