next up previous contents
Next: Predikaatarvutus (predicate calculus) Up: No Title Previous: Poolrühm (semi-group)

Predikaat (predicate, predicate symbol)

- operaator teatavate objektide e. indiviidide hulgast (või hulkade otsekorrutisest) tõeväärtuste hulka. Predikaat väljendab indiviidi(de) teatud omadust.



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