Frage zur Aussagenlogik(Teilformel Definition)

Question

http://www1.pub.informatik.uni-wuerzburg.de/databases/courses/logik_ws1213/Kapitel_1.pdf

In diesen Folien geht es um die Aussagenlogik.

Auf Seite 4 geht es darum, was überhaupt eine Formel ist und am Ende dieser Seite um die Definition der Teilformel.(Ist relativ schnell zu verstehen)

Meine Frage ist: Auf Seite 5 ist die Formel G mit den Teilformeln A,B,¬B,G abgebildet. Ich verstehe alle Teilformeln außer den Buchstaben B.

B ist ja nicht in der Formel enthalten. Ist dies ein Fehler auf der Folie oder habe ich meinen Fehler noch nicht entdeckt

Dank im Voraus

Answer 1

Natürlich ist B in der Formel G=(A∨⌉B) enthalten: alle Atome sind Formeln und die Formel G enthält die (komplexe) Formel ⌉B, die wiederum durch Verneinung aus der (atomaren) Formel B entstanden ist, welche entsprechned auch ein Teil von G ist.