Jedna ze souèástí logiky, vìda studující myšlenkové pochody z hlediska jejich struktury, formy a vzájemných vazeb, abstrahující od obsahu myšlenek a od promìnlivosti i protikladnosti je [..]

též symbolická logika; logika, která je vytváøena souborem konzistentních pravidel, je typická pro matematiku (matematická logika). Srovnej mentální logika. Viz též dedukce, dobøe strukturovaný problé [..]