Next: Mittevasturääkivus (soundness)
Up: No Title
Previous: Loogiline ruut (logical quadrate)
- tuletusreegel, mille järeldus on saadud eeldustest nende ühise alamvalemi elimineerimse e. "väljalõikamise" teel. Näiteks sekventsiaalarvutuse lõikereeghel
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996