First page
Back
Continue
Last page
Overview
Graphics
Sémantická definice definitních formulí
Protože adom() = adom(), pak
(y0) FALSEy0adom().
Tv.: Eliminacea z definitní formule vede opět k definitní formuli.