Основные законы формальной логики: краткий обзор