单项选择题

只有作案人是汽车司机,作案人才会使用汽车运载尸体,本案的作案人既然是使用汽车运载尸体的,因而本案作案人是汽车司机。上述推理( )。 A. 是无效的,它是必要条件假言推理的肯定前件式 B. 是有效的,它是充分条件假言推理的肯定前件式 C. 是有效的,它是必要条件假言推理的肯定后件式 D. 是无效的,它是充分条件假言推理的肯定后件式