单项选择题

必要条件假言推理的肯定后件式的推理格式可以表示为()

A.((p←q)∧q)→p
B.((p←q)∧p)→q
C.((p←q)∨q)→p
D.((p←q)∨p)→q