梯形逻辑

梯形逻辑（英语：Ladder logic）是指一种通过基于继电器逻辑电路图的图形来代表程序的一种编程语言。它主要在工业控制应用中被用于开发可编程逻辑控制器（Programmable Logic Controllers, PLCs）的软件。“梯形逻辑”的命名主要是基于这种语言的程序看起来像一个一级一级的梯子：具有两条是指边和其间的一系列水平的梯级。

以梯形逻辑编写可程式逻辑控制器时，不可以有2个以上相同的输出指令（例如某个指示灯由PLC的Y1接点输出，不能出现2个以上的OUT Y1指令，否则会因为PLC的程式扫描机制，只有最后的OUT Y1才能正确执行），因此在编写时必须考虑到所有输出指令的条件，经常会使程式变得复杂且不易除错，所以梯形逻辑通常只用于固定动作的输出（例如电源指示灯或电磁接触器的动作指示灯等）。