单项选择题

一个检验蕴涵被确证,意味着自之导出的全称命题()

A.被否证
B.被确证
C.被证明
D.非A非B