0 Daumen
1k Aufrufe

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

Avatar von

1 Antwort

0 Daumen
 
Beste Antwort

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.

Avatar von 1,3 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community