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

наука за елементарните принципи и облици на правилното размислување