魏延和陳式違令戰敗，​諸葛亮​為何殺陳式，而不殺魏延？

建興八年秋七月，曹真上表魏帝曹叡，要求和司馬懿一起領兵伐蜀，進攻蜀漢，諸葛亮命令魏延、張嶷、杜瓊、陳式出箕谷；馬岱、王平、張翼、馬忠出斜谷，然後在祁山會師。

在這期間，魏延和陳式不聽命令，擅自進兵，鄧芝苦勸，兩人就是不聽，陳式說，丞相如果多謀，也不會丟失街亭瞭；魏延說，如果丞相聽我的，兵出子午谷，別說長安，就是洛陽也占瞭。結果，魏延和陳式擅自進兵遭到慘敗。

諸葛亮要斬陳式，陳式說，是魏延讓我進兵的，諸葛亮說，是魏延救瞭你，你反而攀他，隨即下令將陳式斬首。

這一段正史沒有記載，但是，在演義中非常有意思。

《三國演義》一百回：芝曰：“丞相計無不中，謀無不成，汝安敢違令？”式笑曰：“丞相若果多謀，不致街亭之失！”魏延想起孔明向日不聽其計，亦笑曰：“丞相若聽吾言，徑出子午谷，此時休說長安，連洛陽皆得矣！今執定要出祁山。有何益耶？既令進兵，今又教休進。何其號令不明！”式曰：“吾自有五千兵，徑出箕谷，先到祁山下寨，看丞相羞也不羞！”芝再三阻當，式隻不聽，徑自引五千兵出箕谷去瞭。鄧芝隻得飛報孔明。