next up previous contents
Next: Modaalarvutus (modal logic calculus) Up: No Title Previous: Lõikereegel (cut rule)

Mittevasturääkivus (soundness)

- formaalse süsteemi omadus mitte võimaldada mingi lause ja selle eituse tuletamist.


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