Теорема Дедукции

[Alenol]

Здравствуйте. Помогите разобраться в теореме дедукции.
Если конкретно: то что нужно делать, если перед знаком доказуемости стоит две и более посылки в виде функций, разделяемых точкой с запятой ?
Заранее спасибо.