Задача по дискретной математике

[Catcher of Souls]

Подайте плиз идеи как решать такую задачу. Пусть множество формул Г полно и непротиворечиво. Доказать, что Г |- $A\supset B$ $\Leftrightarrow$ Г не |- A или Г|- B

[Xaositect]

Простая задачка.
Раз полно и непротиворечиво, то из него выводится либо $A$, либо $\neg A$. А из $A$ можем получить $B$.

[Профессор Снэйп]

Требование на непротиворечивость лишнее. Достаточно полноты