next up previous contents
Next: Abduktsioon (abduction) Up: No Title Previous: Contents

Atomaarne valem, aatom (atom, atomic formula)

- vähim jutustavat lihtlauset väljendav loogikavalemi osa, millele saab anda tõesuse hinnangu. Lausearvutuse aatomiteks on lausemuutujad ja tõeväärtuskonstandid (tõene ja väär), predikaatarvutuse aatomiteks on termidele rakendatud predikaadid (termidele vastavate objektide omadusi esitavad avaldised).



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