一个检验蕴涵被确证,意味着自之导出的全称命题()
A:被否证
B:被确证
C:被证明
D:非A非B
出自:哲学