gif gif up gif contents index
Nächste Seite: Aufgabe 16 Vorige Seite: Aufgabe 14

Aufgabe 15

Beweise die folgenden aus Abschnitt 2.6 bekannten Sätze.

*
Ein Netz stützt nicht gleichzeitig zwei sich widersprechende Aussagen und
*
Wenn ein Netz eine atomare Aussage stützt, dann gilt für jede Aussage stützt genau dann, wenn allein stützt



Christoph Quix, Thomas List, René Soiron
30. September 1996