Next: Seotud muutuja (bound variable)
Up: No Title
Previous: Rühm (group)
- valemite hulkade paar
, mida interpreteeritakse järgmiselt: "tingimustest
ja
järeldub
või
või
". Sekventsi eeldusi
nimetatakse antetsedendiks ja järeldust
nimetatakse suktsedendiks
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996