Question

Распишите порядок выполнения действий:
(A -> (B -> C)) -> ((A -> B) -> (A -> C))

Answer 1

Вместо значков импликации порядок действий.
Сначала выполняются действия 1, порядок выполнения не важен,
затем действия 2, затем действие 3.

(A 2 (B 1 C)) 3 ((A 1 B) 2 (A 1 C))