формальная логика

Часть речифразеологизмЗначений1
  1. филос. раздел логики, изучающий формы, структуры и правила построения и преобразования высказываний, умозаключений и доказательств, обеспечивающие сохранение их истинного значения независимо от конкретного содержания входящих в них понятий«Основателем формальной логики считается Аристотель, впервые описавший силлогизмы и введший переменные для обозначения терминов.»

Источник: статья «формальная логика» в Викисловаре, лицензия CC BY-SA 4.0. Текст сокращён.