Основные законы формальной логики и их применение