предикати Предикати и quantifiers Предикати и quantifiers Logic твърдения се отнасят за обикновени декларативни изявления, в които основните отчети - било истина или лъжа. Одобрение, съдържащ един или повече променливи,