Construct models demonstrating the consistency of the followingsets. What’s the trick here?
a. ∀x∃ySxy, ∀x~Sxx, ∀x∀y∀z((Sxy&Syz) → Sxz)
Expert Answer
An answer will be send to you shortly. . . . .
Construct models demonstrating the consistency of the followingsets. What’s the trick here?
a. ∀x∃ySxy, ∀x~Sxx, ∀x∀y∀z((Sxy&Syz) → Sxz)
An answer will be send to you shortly. . . . .