next up previous contents
Next: Mittevasturääkivus (soundness) Up: No Title Previous: Loogiline ruut (logical quadrate)

Lõikereegel (cut rule)

- tuletusreegel, mille järeldus on saadud eeldustest nende ühise alamvalemi elimineerimse e. "väljalõikamise" teel. Näiteks sekventsiaalarvutuse lõikereeghel

displaymath499



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