Some novices from a capacious adjust obtain be successiond up left to upright. There obtain be at last two stduents in the succession. Translate each of the restraintthcoming assertions into affirm restraintmulas with the restraintmal of novices in the adjust as the estate of yarn.
The barely affirms you may fit are *similarity and, * F (x, y) import that “x is somewhere to the left of y in the succession.” Restraint issue, in the succession “CDA”, twain F(C,A) and F (C,D) are penny Once you feel defined a restraintmula restraint a affirm P you may fit the succinctness “P” in further restraintmulas.
(a) Novice x is in the succession.
(b) Novice x is foremost in succession.
(c) Novice x is presently to the upupfit of novice y.
(d) Novice x is assist
Assume “first” resources furthest to the left. I feel besides antecedent that F(x,x) is falsity.
a.) Novice x is in the succession ( x is to the left of someindividual or someindividual is to the left of x ) – ∃y.y 6= x ∧ (F(x, y) ∨ F(y,x)) b.)Novice x is foremost in succession (x is to the left of everyindividual (bar themselves) ) – Foremost(x) = ∀y. x 6= y → F(x, y) c.)Novice x is presently to the upupfit of novice y(y is to the left of x and there is no individual between them) -NextRight(x, y) = F(y, x) ∧ (∀z.z 6= x ∧ z 6= y → ¬(F(y, z) ∧ F(z, x))
d.)Novice x is assist ( there is someindividual foremost, and x is presently to their upright) -∃y. F irst(y) ∧ NextRight(x, y)