Логика: предикатная, формальная и сентенциальная. Кванторы и возникновение инфор