Predikátorový výraz

Predikátorový výraz je logika: výraz, ktorý vyjadruje predikát.

Externé odkazy 
 

Logika