陳式之死見于《三國演義》第一百回“漢兵劫寨破曹真，武侯鬥陣辱仲達”。
由于氣不過諸葛亮屢次舉兵北伐，曹魏遂派曹真和司馬懿率兵伐蜀。
沒想到卻因為連降大雨魏軍無法前進，既然無法前進，那也就隻能撤退了。
盡管兵法雲:歸師勿掩，窮寇莫追。但就這麼讓敵人輕而易舉的全師而退，蜀軍将士當然不會甘心。
于是，大家便請求丞相允許他們追擊魏軍。
但諸葛亮卻不同意。
不僅不許追擊，反而傳下将令:敵人退走以後，我們就兵出斜谷直取祁山，以便占據祁山的有利地形。
并指令魏延、張嶷、杜瓊和陳式率領二萬軍隊，取道箕谷直奔祁山。
就在魏延和陳式走到半路上的時候，細心的諸葛亮又派鄧芝前來告誡他們提防司馬懿的伏兵。
沒想到陳式非但不以為然，反而大言不慚的說:“丞相用兵何多疑耶？吾料魏兵連遭大雨，衣甲濕毀，必然急歸；安得又有埋伏？今吾兵倍道而進，可獲大勝，如何又教休進？”
陳式輕敵驕傲也就罷了，沒想到經驗豐富的魏延，也在關健時刻犯起了糊塗。魏延尤其記恨諸葛亮拒絕采納其通過子午谷奇襲長安的計策。
于是，魏延便也口出狂言道:“丞相若聽吾言，徑出子午谷，此時休說長安，連洛陽皆得矣！今執定要出祁山，有何益耶？即令出兵，今又教休進，何其号令不明！”
見魏延都支援自己，陳式的心氣更足了。
于是便又說道:“吾自有五千兵，徑出箕谷，先到祁山下寨，看丞相羞也不羞！”
鄧芝再三勸阻，但陳式卻固執己見。
諸葛亮估計的果然沒錯，司馬懿真的設下了伏兵！
于是，陳式的五千人馬便被司馬懿包了餃子。
幸虧魏延及時出手相救，陳式才帶着四五百殘兵殺出了重圍。
不服從統帥的指令，曆來是兵家之大忌。
諸葛亮必須懲罰魏延和陳式，否則就無法維護統帥的權威。
但是由于蜀國缺乏大将，是以諸葛亮哪裡舍得殺魏延呢？魏延雖說桀骜不馴，但畢竟能征慣戰。
是以，諸葛亮便隻殺了陳式一個人，赦免了魏延。
其實諸葛亮的做法，與春秋五霸之一的晉文公别無二緻。當時，晉文公手下的大将魏武子和颠颉也曾違反軍令，但晉文公卻留下了更能打仗的魏武子，而殺掉了能力差一些的颠颉。