诸葛亮为什么要杀陈式

陈式之死见于《三国演义》第一百回“汉兵劫寨破曹真，武侯斗阵辱仲达”。
由于气不过诸葛亮屡次举兵北伐，曹魏遂派曹真和司马懿率兵伐蜀。
没想到却因为连降大雨魏军无法前进，既然无法前进，那也就只能撤退了。
尽管兵法云:归师勿掩，穷寇莫追。
但就这么让敌人轻而易举的全师而退，蜀军将士当然不会甘心。
于是，大家便请求丞相允许他们追击魏军。
但诸葛亮却不同意。
不仅不许追击，反而传下将令:敌人退走以后，我们就兵出斜谷直取祁山，以便占据祁山的有利地形。
并命令魏延、张嶷、杜琼和陈式率领二万军队，取道箕谷直奔祁山。
就在魏延和陈式走到半路上的时候，细心的诸葛亮又派邓芝前来告诫他们提防司马懿的伏兵。
没想到陈式非但不以为然，反而大言不惭的说:“丞相用兵何多疑耶？
吾料魏兵连遭大雨，衣甲湿毁，必然急归；
安得又有埋伏？
今吾兵倍道而进，可获大胜，如何又教休进？
”陈式轻敌骄傲也就罢了，没想到经验丰富的魏延，也在关健时刻犯起了糊涂。
魏延尤其记恨诸葛亮拒绝采纳其通过子午谷奇袭长安的计策。
于是，魏延便也口出狂言道:“丞相若听吾言，径出子午谷，此时休说长安，连洛阳皆得矣！今执定要出祁山，有何益耶？
即令出兵，今又教休进，何其号令不明！”见魏延都支持自己，陈式的心气更足了。
于是便又说道:“吾自有五千兵，径出箕谷，先到祁山下寨，看丞相羞也不羞！”邓芝再三劝阻，但陈式却固执己见。
诸葛亮估计的果然没错，司马懿真的设下了伏兵！于是，陈式的五千人马便被司马懿包了饺子。
幸亏魏延及时出手相救，陈式才带着四五百残兵杀出了重围。
不服从统帅的命令，历来是兵家之大忌。
诸葛亮必须惩罚魏延和陈式，否则就无法维护统帅的权威。
但是由于蜀国缺乏大将，所以诸葛亮哪里舍得杀魏延呢？
魏延虽说桀骜不驯，但毕竟能征惯战。
因此，诸葛亮便只杀了陈式一
其实诸葛亮的做法，与春秋五霸之一的晋文公别无二致。
当时，晋文公手下的大将魏武子和颠颉也曾违反军令，但晋文公却留下了更能打仗的魏武子，而杀掉了能力差一些的颠颉。