next up previous contents
Next: Lemma (lemma) Up: No Title Previous: Kvantor (quantifier)

Lausearvutus (propositional calculus)

- propositsionaalarvutus - matemaatilse loogika osa, kus elementaarvalemiteks on lausemuutujad.



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