Формальная логика: примеры и визуализация