单项选择题

在使用排除法进行证明时,利用的是复合命题中( )。

A.相容选言命题否定肯定式
B.相容选言命题肯定否定式
C.相容选言命题析取附加式
D.联言命题分解式