Здравствуйте, Эйнсток Файр, Вы писали:

ЭФ>В чём разница между "логикой" и "исчислением"?

Логика это мышление. А исчисление перевода на русский не требует.

Предика́т (лат. praedicatum «заявленное, упомянутое, сказанное») — это утверждение, высказанное о субъекте. Субъектом высказывания называется то, о чём делается утверждение.