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