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