Pytanie riders: Co to znaczy, że P(R) jest predykatem logicznym określonym dla obszaru R ? Mam takie coś w książce i nie bardzo rozumiem.

debil: https://www.google.pl/search?q=predykatem+logiczny&ie=utf-8&oe=utf-8&client=ubuntu&channel=fs&gfe_rd=cr&ei=yzZ_WL67IcLi8AessYnQCA&gws_rd=ssl

debil: radze zmienić nick na readers