Update logic-predicates.tex

Опечатка