next up previous contents
Next: Programmide dünaamiline loogika (dynamic Up: No Title Previous: Predikaat (predicatepredicate symbol)

Predikaatarvutus (predicate calculus)

- lausearvutuse laiendus, milles kasutatakse täiendavalt predikaadi, indiviidi ja kvantori mõisteid.



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