"логика предикатов" -> мышление предикатов -> мышление утверждений.

Фигня какая-то. Утверждения мыслить не должны, этим занимается субъект, который утверждения высказывает.

V> исчисление перевода на русский не требует

Некоторые люди могут не знать значения некоторых слов.
Значение слово "вычисление" я знаю. А значение слова "исчисление" — нет.
Для того, чтобы помочь людям, в толковых словарях даётся разъяснение неизвестных слов.

"исчисление предикатов" -> исчисление утверждений -> ??? утверждений

"логика предикатов" -> мышление предикатов -> мышление утверждений.

Фигня какая-то. Утверждения мыслить не должны, этим занимается субъект, который утверждения высказывает.

V> исчисление перевода на русский не требует

Некоторые люди могут не знать значения некоторых слов.
Значение слова "вычисление" я знаю. А значение слова "исчисление" — нет.
Для того, чтобы помочь людям, в толковых словарях даётся разъяснение неизвестных слов.

"исчисление предикатов" -> исчисление утверждений -> ??? утверждений