процессы анализа, сравнения, комбинирования и вывода логических утверждений.