У меня есть функция, скажем formula(f)
, где f - TERM, а TERM - структурный указатель.Эта функция печатает формулу наподобие forall([U,V],implies(U,V)]
. Эти U и V являются переменными.Мне нужно передать значения в этих переменных и сгенерировать форум в соответствии с комбинацией значений переменной. Предположим, что значения U и V равны 2 и 2, затем он должен сгенерировать 4 формулы, такие как forall([a_1,b_1]implies(a_1,b_1),forall([a_1,b_2]implies(a_1,b_2))
ии так далее ... Может кто-нибудь, пожалуйста, помогите мне, как его генерировать?