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

Секвенциальное исчисление, помогите решить задачу Аноним 30/03/24 Суб 23:32:06 № 114042 1

Снимок экрана 2[...].png 33Кб, 1185x297

$1185x297$

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

Аноним 31/03/24 Вск 18:32:34 № 114049 2

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

Аноним 31/03/24 Вск 20:50:36 № 114052 3

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

Аноним 01/04/24 Пнд 13:51:30 № 114059 4

>>114052
Ну так, cut elemination