Секвенциальное исчисление, помогите решить задачу - Математика

Секвенциальное исчисление, помогите решить задачу 30 мар, 23:32 114042 В конец треда | Веб

$Снимок экрана 2024-03-30 232939.png$ 43 Кб, 826x497 $Снимок экрана 2024-03-30 232947.png$ 33 Кб, 1185x297

Помогите решить задачу

2 31 мар, 18:32 114049

структурные правила есть?

3 31 мар, 20:50 114052

>>049
ну с cut'ом я решил сам, но в условиях его не было

4 1 апр, 13:51 114059

>>052
Ну так, cut elemination