单项选择题

A、蕴涵与有效性
B、等值
C、重言式与矛盾式
D、以上都对