⒈ 邏輯命題的限制條件，根據這種限制條件，邏輯命題的內容可以區分為肯定或否定其可能性、不可能性、偶然性或必然性等內容。
英modality;
⒉ 規定的格式；一定的法式；形式。
例公文程式。
英form; pattern;
⒊ 程序。
例電腦的程式語言。
英program;
⒈ 法式；規格；準則。
引《管子·形勢》：“儀者，萬物之程式也；法度者，萬民之儀表也。”
《漢書·刑法志》：“此為國者之程式也。”
唐 趙璘 《因話錄·商下》：“李相國 程、王僕射 起、白少傅 居易 兄弟、 張舍人 仲素 為場中詞賦之最，言程式者，宗此五人。”
清 戴名世 《＜慶歷文讀本＞序》：“余自少時從事制舉文字，而于兩朝諸先輩之文……奉以為程式。”
鄭觀應 《盛世危言·考試下》：“西法各種，西人藉以富強，已收實効，皆有程式，我步趨其后，易見功。”
⒉ 特定的格式。
引《周書·蘇綽傳》：“綽 始制文案程式，朱出墨入，及計帳、戶籍之法。”
朱自清 《論逼真與如畫》：“但是最容易程式化的、最能夠代表文人化的是山水畫。”
⒊ 特指戲劇程式動作。參見“程式動作”。
引洪深 《戲劇導演的初步知識》上篇三：“因為每一程式，乃是許多作者與許多觀眾長期實驗、長期合作的結果。”
徐遲 《牡丹》八：“她以一絲不茍的準確的戲劇程式表達了角色的豐富的心靈。”
⒋ 比擬；效法。
引戰國 楚 宋玉 《神女賦》：“毛嬙 鄣袂，不足程式； 西施 掩面，比之無色。”
⒈ 訂立一定的準式以為法則。
引《管子·明法》：「法者，天下之程式也。」
近法式
⒉ 格式。
例如：「公文程式」。
⒊ 引導電腦依特定方式運作并產生結果的一組指令。
英語form, pattern, formula, program
德語Software , Programm (EDV)?
法語forme, formule