命题推理

逻辑变项为命题变项的推理。依据是命题之间的逻辑关系；其中，原子命题是最基本的成分，其内部结构不进一步分析。传统逻辑中，命题推理亦称复合判断推理。