Осторожно! У меня есть собственное мнение!
Помогите, пожалуйста, доказать секвенцию...
(F1VF2)|-(F3->F1)V(F3->F2)
всей группой с подобным мучаемся((((
(F1VF2)|-(F3->F1)V(F3->F2)
всей группой с подобным мучаемся((((
в том-то и проблема, что не намучали ничего. нам дать-то дали секвенции, но даже не объяснили что это и с какого края это решать...