Предикат в логике: объяснение простыми словами