Помогите ответить на вопрос по логике.

[DimonRembon]

Приведите суждение в явную логическую форму и запишите его при помощи логических символов:
Договор считается заключенным, если между сторонами в требуемой в надлежащих случаях форме достигнуто соглашение по всем известным пунктам.

[MegaLogic]

Обозначим, а = между сторонами в требуемой в надлежащих случаях форме достигнуто соглашение по всем известным пунктам; в = договор считается заключенным. Тогда символическая форма суждения будет а -> в.

[DimonRembon]

Спасибо за ответ.