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