---

Step * 1 1 1 of Lemma ancestral-logic-lemma1


9. x : Dom@i
10. y : Dom@i
11. R x y@i
⊢ R x y
BY
{ FOHyp (-1) }

---

Latex:



9.  x  :  Dom@i
10.  y  :  Dom@i
11.  R  x  y@i
\mvdash{}  R  x  y


By

FOHyp  (-1)

---

Home Index