next up previous contents
Next: Teooria täielikkus (completeness of Up: No Title Previous: Temporaalloogika (temporal logic)

Teooria (theory)

- valemite hulk tex2html_wrap_inline569 , mille elemendid väljendavad etteantud interpretatsiooni korral kõiki süsteemi tex2html_wrap_inline455 tõeseid väiteid ja ainult neid.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996