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