I Need To Prove The Following Conclusion Xyz Indiff X Y Strongpref Z X Strongpre

/in /by

I need to prove the following conclusion ∀x∀y∀z((Indiff(x,y)∧StrongPref(z,x))→StrongPref(z,y)) using some OR all of the following premises:

P5: ∀x∀y(StrongPref(x,y)→ ¬StrongPref(y,x))

P6: ∀x∀y∀z((StrongPref(x,y)∧StrongPref(y,z))→StrongPref(x,z))

P7: ∀xIndiff(x,x)

P8: ∀x∀y(Indiff(x,y)→Indiff(y,x))

P9: ∀x∀y∀z((StrongPref(x,y)∧Indiff(y,z))→StrongPref(x,z))

P10: ∀x∀y(StrongPref(x,y)∨Indiff(x,y)∨StrongPref(y,x))

P11: ∀x∀y(WeakPref(x,y)↔(StrongPref(x,y)∨Indiff(x,y)))this has to be done using the FITCH program but i don’t know how to do this

 
"Looking for a Similar Assignment? Get Expert Help at an Amazing Discount!"
ORDER NOW