명제논리에서 tautologically imply(⊨) 관련 질문입니다.

주어진 M_1, M_2, ... , M_n, N이 전부 propositional logic에서 well-formed fomula(WFF) 라고 할 때,

{M_1, M_2, ... , M_n} ⊨ N

은

Ø ⊨ (M_1∧M_2 ... ∧M_n)→N


과 if and only if 관계가 맞는건가요?