Логика формальная — наука о законах и операциях правильного мышления.
[Словарь понятий по информатике от Т до Я. (Электронный ресурс). Режим доступа: http://topuch.ru/slovare-ponyatij-po-informatike-ot-t-do-ya/index.html/, свободный.]
Логика формальная (formal logic) — изучение структуры и формы истинности высказываний или выводов безотносительно к содержательному смыслу их элементов.
[ГОСТ 33707-2016. (ISO/IEC 2382:2015) Информационные технологии (ИТ). Словарь]