这个情节出自《三国演义》，在史书中并没有诸葛亮杀陈式这件事。《三国演义》第一百回：汉兵劫寨破曹真武侯斗阵辱仲达,其中有这个情节。说的是司马懿和曹真出兵西蜀，半路因连绵雨季而退兵。诸葛亮兵分两路追击。其中陈式、魏延、张嶷、杜琼各领五千人马出萁谷追击。
而司马懿和曹真赌赛，料定蜀军必然追赶，预先做了准备。在四将出萁谷的时候，诸葛亮又派邓芝前来传令，让不得轻进。陈式和魏延都质疑诸葛亮的决定，陈式率领自己的五千人马率先出谷，结果被司马懿的伏兵包围。虽然有魏延接应救出，可只剩下四五百残兵。
诸葛亮到来之后，追究责任。陈式说出谷轻进的事是魏延教的。诸葛亮不听，说陈式"他倒救你，你反攀他！将令已违，不必巧说！"喝令将陈式斩首示众。
