Дискретная математика. Теорема в предикатах

[Antowka]

Здравствуйте помогите пожалуйста решить следующую задачку :
Записать в виде формулы логики предикатов, первый признак равенства треугольников :
Если две стороны одного треугольника равны двум сторонам и углу между ними другого треугольника, то такие треугольники равны.
На языке высказываний я примерно представляю как это сделать ...
A=две стороны одного треугольника равны двум сторонам другого треугольника
B=угол между двумя сторонами одного треугольника равен углу между двумя соответствующими сторонами другого треугольника.
С=треугольники равны
(A&B)->C
Помогите пожалуйста решить задачку с помощью предикатов... Заранее благодарен