程序性命题是指 解决一类问题的规则和程序。它们实质上是用于指导如何按照既定步骤和规则来处理问题的命题，通常包含一系列操作步骤或指令，使得个体在应用这些命题时，只需将待解决的问题输入工作记忆，再与长时记忆中的相关命题相联系，进行简单的模式识别，然后按照规则和程序操作即可解决问题。
程序性命题与推理性命题不同，推理性命题涉及的是不含公式、法则的公理和定理，主要用于推导新的结论或证明已有定理的正确性。而程序性命题则侧重于如何具体执行某些任务或操作，以达到解决问题的目的。
在不同的领域，程序性命题的形式和应用可能会有所不同。例如，在数学中，程序性命题可能是一系列计算步骤或算法；在法律领域，程序性命题可能涉及诉讼程序的具体规定；在计算机科学中，程序性命题可能是一系列计算机指令或算法流程。