Учебное
Логика, мать её! >.< Секвенции... *отчаенно* Аааааа!!! Я их не понимааааю!!! Вроде чего тут сложного? Три правила вывода плюс шесть лемм, но... Но кааааак?! Одна извилина заворачивается за другую и плетет косичку из третьей. Я тупик. Птичка такая. Не, ну, положим, два-три предпоследних шага я вижу, но их же там минимум шеееесть!!! Кошмар...