⌊⌊     Ist „(Еn)4 + n = 7–α” eine Disjunktion? Nein, denn eine Disjunktion hätte nicht das Zeichen „u.s.w. ad inf” am Ende sondern ein Glied der Form 4 + x. ⌋⌋