Show that reflexive sentences are independent from symmetric, and transitive sentences by constructing a structure that satisfy symmetric and transitive quality but not reflexive.
Reflexive :∀xE(x, x)
symmetric :∀xy(E(x, y) → E(y, x))
transitive: ∀xyz(E(x, y) ∧ E(y, z) → E(x, z))
Get Answers For Free
Most questions answered within 1 hours.