在逻辑推理中，“充分条件假言推理”的肯定前件式是指什么？

题目：在逻辑推理中，“充分条件假言推理”的肯定前件式是指什么？
A. 如果P，则Q；P；所以，非Q
B. 如果P，则Q；非P；所以，非Q
C. 如果P，则Q；P；所以，Q
D. 如果P，则Q；非Q；所以，非P