Nächste Seite: Aufgabe 57 Vorige Seite: Aufgabe 55

Aufgabe 56

Betrachte das folgende Beispiel zum Pooleschen Ansatz:

In welchen Extensionen fliegen welche Vögel?

In welchen Extensionen können welche Vögel nicht fliegen?

Beweise den folgenden Satz.

Eine Formel G ist erklärbar aus F und H genau dann, wenn G in einer Extension von F und H liegt.