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