<prompt> Eleza uhusiano kati ya mantiki ya predicate na nadharia ya seti, na toa mfano unaoonyesha utegemezi wao.  <response>: Predicates ni taarifa ambayo huonyesha mali au sifa ambazo zinaweza kuwa za kweli au za uwongo. Logic ya Predicates ni mfumo wa ishara na sheria zinazotumiwa kuchambua na kusababu juu ya sifa za predicates. Logic ya Predicates ni mfumo wa hisabati ambao unashughulika na makusanyo ya vitu na mali zao. Seti inaweza kufafanuliwa kwa kutumia predicates, na mali ya seti inaweza kuchambuliwa kwa kutumia predicate. 