Next: Loogiline ruut (logical quadrate)
Up: No Title
Previous: Lemma (lemma)
- atomaarsed valemid
või nende eitused
,
. Eitusmärgiga algavat literaali nimetatakse negatiivseks, ilma eitusmärgita literaali aga positiivseks literaaliks.
Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996