Nächste Seite: Aufgabe 16
Vorige Seite: Aufgabe 14
Beweise die folgenden aus Abschnitt 2.6 bekannten Sätze.
![*](./redball.gif)
- Ein Netz
stützt
nicht gleichzeitig zwei sich widersprechende Aussagen
und
![*](./redball.gif)
- 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