年級字：程(P2) 式(P2)

詞性：名詞

邏輯命題的限制條件，根據這種限制條件，邏輯命題的內容可以區分為肯定或否定其可能性、不可能性、偶然性或必然性等內容；規定的格式，一定的法式，形式。