next up previous contents
Next: Seotud muutuja (bound variable) Up: No Title Previous: Rühm (group)

Sekvents, sekventsioon (sequent)

- valemite hulkade paar tex2html_wrap_inline541 , mida interpreteeritakse järgmiselt: "tingimustest tex2html_wrap_inline543 ja tex2html_wrap_inline545 järeldub tex2html_wrap_inline547 või tex2html_wrap_inline549 või tex2html_wrap_inline551 ". Sekventsi eeldusi tex2html_wrap_inline553 nimetatakse antetsedendiks ja järeldust tex2html_wrap_inline555 nimetatakse suktsedendiks



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