一般的にいえば、命題計算とは「文法的にきちんとした」統語的な表現（整式）の集合、その表現のいくつかからなる部分集合（公理の集合）、さらに加えて表現の空間上に二項関係を定義する変形規則の集合からなる形式的体系である。
一般地说，演算是一个形式系统，包括一套语法表示式（合式公式）、这些表示式的一个特定子集（公理）和一套定义了特定的二元关系的形式规则，这个二元关系可解释为表示式空间上的逻辑等价关系。