Виды предикатов в логике