在计算机科学里面一个陈述(statement)可以被想成是指令式编程语言里面最小的独立元素。费一个程式是由一系列包含一或多个陈述所构成的。单一个陈述本身也会有一些内部结构(例如说，表示式(expression))。
许多语言(例如说，C语言)将陈述句与定义句(d华波意efinition)分隔的很明确，因为陈述只会来自有运算符号以及一官普映对更谁选例些宣告标识符号(iden势块书验阶团湖tifier)的定义。我们也可以找出简单陈述与复合陈述之间的差异;后者会育派果上支约具亮记一次包含了许多陈述。