next up previous contents
Next: Eksistentsikvantor ( existential quantifier) Up: No Title Previous: Distributiivsus (distributivity)

Eitus (negation)

- negatsioon - unaarne loogiline operatsioon: lause A eitus tex2html_wrap_inline373 ehk tex2html_wrap_inline375 loetakse tõeseks parajasti siis, kui A on väär.



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