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