在司马懿出征西蜀时,不幸遇到了雨季而不得不退兵,诸葛亮兵分两路追击司马懿退兵的队伍。而当时诸葛亮派出了陈式和魏延等人,他们各领五千兵马进行追击。但是已经在心中料定了蜀军必定会追赶,所以预先做好了准备。诸葛亮也十分小心谨慎,让人传令不得轻举妄动。但是陈式和魏延两人却没有听从诸葛亮的命令,率领人马出谷,结果却反被司马懿的兵马所包围,损失极为惨重。诸葛亮知道事情原委后,将陈式斩首示众。而魏延却没有被杀,原因有以下几个。
首先在当时是魏延派兵救的陈式的兵队,而后来当诸葛亮盘问事情原委时陈式却说这件事情是魏延的主意。而其实当时在反对诸葛亮决定的时候,是陈式领的头,魏延其实只是在其中推波助澜罢了。后来当陈式被司马懿的军队包围的时候,是他去主动解救的陈式。魏延救了陈式,陈式反而反咬魏延一口,这样的人没有感恩之心,就算诸葛亮不杀他,他以后也不会得到重用了。
第二个原因是陈式和魏延两个人不听命令,导致了兵败的结局,必须要有一个人为这件事情付出代价。因此,陈式就成为了这个承担责任的替罪羊,诸葛亮杀了陈式也是为了给三军将士一个交代,同时也可以树立自己的威望。
第三个原因则是因为魏延其实有勇有谋,智勇双全,是一员十分厉害的大将。如果诸葛亮杀了魏延会导致自己手上没有将才可以用,是一个不小的损失,对自己这边十分不利。特别当时是诸葛亮进行北伐的艰巨时期,若是杀了魏延无疑是砍断了自己的胳膊,所以在各方利益的驱使之下,权衡利弊之后,最终诸葛亮选择杀陈式而保魏延。