諸葛亮北伐期間，指令魏延、張嶷、陳式、杜瓊四将，帶二萬兵馬，取箕谷前進。但魏延和陳式不聽諸葛亮的指令，強行進兵，導緻兵敗，他們不僅違反了諸葛亮的指令，而且還出言不遜，公開取笑諸葛亮不會用兵。
值得注意的是，陳式和魏延兵敗之後，諸葛亮追究兵敗的責任，隻懲罰了陳式，殺了陳式，而不追究魏延的責任，這是不是執法不公？諸葛亮為何會這麼做呢？
當時，魏延、張嶷、陳式、杜瓊四将出發時，諸葛亮不放心，特地派鄧芝趕去提醒，但是，魏延和陳式不聽，還公開笑話諸葛亮，陳式說諸葛亮要是小心的話，怎麼會丢了街亭呢？而魏延直接譏諷諸葛亮說，要是早聽我的，出兵子午谷，不要說長安，就是洛陽也攻下來了。陳式直接說，我們出兵箕谷，到祁山下寨，到時，看丞相羞不羞？
陳式和魏延這兩個人，一唱一和，就像穿一條褲子，當着三軍将士們的面，居然公開笑話諸葛亮，簡直是膽大妄為，但是，等兩個人中了魏軍之計，損兵折将時，傻眼了。
陳式帶了五千人，遇到魏軍埋伏，最終，慘敗而歸，隻剩下四五百人了。這個責任，陳式有，魏延也有，是以，兩個人違反了諸葛亮的軍令，按照規定，應該一起問罪，但是，諸葛亮卻放過了魏延，隻殺了陳式。
見《三國演義》第一百回：卻說孔明大驅士馬，複出祁山。勞軍已畢，魏延、陳式、杜瓊、張嶷入帳拜伏請罪。孔明曰：“是誰失陷了軍來？”延曰：“陳式不聽号令，潛入谷口，以此大敗。”式曰：“此事魏延教我行來。”孔明曰：“他倒救你，你反攀他！将令已違，不必巧說！”即叱武士推出陳式斬之。須臾，懸首于帳前，以示諸将。此時孔明不殺魏延，欲留之以為後用也。
諸葛亮一向法令嚴明，賞罰分明，他為何會這樣做呢？
其實，諸葛亮也是沒辦法，手下将領不聽指令，公然取笑三軍統帥，其實，他也想懲罰魏延，殺掉魏延，換成誰都忍無可忍，但是，魏延這時是蜀漢政權的一哥，是擎天之柱，蜀漢的大廈還要靠魏延這根柱子支撐，如果殺了魏延，蜀漢幾乎再難找出像魏延這樣的将才了，諸葛亮怎麼會舍得殺魏延呢？
而陳式軍事才能一般，殺掉他，對蜀漢也沒有什麼損失，是以，諸葛亮隻好找了陳式當了替罪羊。
諸葛亮放過了魏延，其實，還有一點，也是想讓魏延心裡明白，我給了你面子，你得死心塌地的追随我，讓魏延感恩戴德。