Quantoren Elimination
Z0
R
R
R
R
R
Z1
f
f
f
f
f
...
f
f
f
...
I
I
2. W gestattet Quantoren-Elimination, d.h. jeder
Ausdruck ist äquivalent zu einem offenen Ausdruck.
$x.B
B open
$x.L1Ù... Ù Ln
Û
Li atomic
Ù
...
Vorherige Folie
Nächste Folie
Zurück zur ersten Folie
Graphik-Version anzeigen