Об объединении секвенций

[alex_dorin]

Здравствуйте !

Пусть некоторое предложение первопорядковой логики F
эквивалентно одновременной истинности нескольких секвенций
A1, A2, A3 \to B1, B2, B3 (1) \\ C1, C2, C3 \to D1, D2, D3 (2) \\ E1, E2, E3 \to F1, F2, F3 (3)
Можно ли как то объединить эти секвенции (здесь (1), (2), (3)) в одну новую,
семантически єквивалентную F ?

С уважением А. Дорин
скайп удален

[Deggial]

Тема закрыта как точный дубль. alex_dorin, не дублируйте темы, исправляйте тему в Карантине. Замечание за дублирование темы.