Logik-Gazette

Im Übungsblatt 1 dieses Semesters ist bei Aufgabe 7, laut Musterlösung, der Satz bei von j) (”Ein offener, vollständiger Baum, enthält keine Allformel”) nicht zutreffend. Im Übungsblatt 11 des letzten Semesters ist jedoch bei Aufgabe 8, laut Musterlösung, der Satz bei s) (”Ein offener Baum, der sich nicht mehr weiterentwickeln lässt, enthält keine Allformel”) zutreffend. Handelt es sich nicht bei diesen beiden Sätzen um die gleiche, nur anders formulierte, Aussage? Wäre in diesem Fall keiner der beiden Sätze zutreffend?