Dflame:По моему разумению, приведенное Вами выражение формулой не является, потому что сразу за знаком дизъюнкции следует знак конъюнкции:
...А(х)→&B.... Вы и сами, наверное, понимаете, что выражение типа 2 +
[$247$] 1 не является математическим выражением, но всего лишь набором некоторых символов. Так и здесь.
Если мое указание "попало в точку", то я перемещу его в ответ. Если же это результат Вашей ошибки при наборе вопроса, то приведите, пожалуйста, правильно условие.
С уважением.
Об авторе:
Facta loquuntur.