Предикатная логика

Перевод предикатная логика на английский язык

Предикатная логика изучается на курсах по информатике.

Predicate logic is studied in computer science courses.