Матлогика 2. Унарные высказывания. Кванторы