formal logic

Формальная логика; наука о законах выведения нового знания из ранее полученного знания без специальных опытов или экспериментов, а только с применением правил мышления.

формальная логика; наука об общих законах мышления, о правилах умозаключений.