Доказательства в логике: примеры и визуализация