单项选择题

设A,C 为两个命题公式,当且仅当()为一重言式时,称C可由A逻辑地推出。

A.A®C
B.C®A
C.AÙØC
D.AÚØC