“人不犯我，我不犯人；人若犯我，我必犯人。” 这是（），它的逻辑形式是（）。
选项：

A:充分条件假言命题；p→q
B:充分条件假言推理；（（p→q）∧p）→q
C:充分必要条件假言命题；p↔q
D:充分必要条件假言推理；（(p↔q)∧¬p）→¬q