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