⒈ 逻辑命题的限制条件，根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英modality;
⒉ 规定的格式；一定的法式；形式。
例公文程式。
英form; pattern;
⒊ 程序。
例电脑的程式语言。
英program;
⒈ 法式；规格；准则。
引《管子·形势》：“仪者，万物之程式也；法度者，万民之仪表也。”
《汉书·刑法志》：“此为国者之程式也。”
唐 赵璘 《因话录·商下》：“李相国 程、王僕射 起、白少傅 居易 兄弟、 张舍人 仲素 为场中词赋之最，言程式者，宗此五人。”
清 戴名世 《＜庆历文读本＞序》：“余自少时从事制举文字，而于两朝诸先辈之文……奉以为程式。”
郑观应 《盛世危言·考试下》：“西法各种，西人藉以富强，已收实効，皆有程式，我步趋其后，易见功。”
⒉ 特定的格式。
引《周书·苏绰传》：“绰 始制文案程式，朱出墨入，及计帐、户籍之法。”
朱自清 《论逼真与如画》：“但是最容易程式化的、最能够代表文人化的是山水画。”
⒊ 特指戏剧程式动作。参见“程式动作”。
引洪深 《戏剧导演的初步知识》上篇三：“因为每一程式，乃是许多作者与许多观众长期实验、长期合作的结果。”
徐迟 《牡丹》八：“她以一丝不苟的准确的戏剧程式表达了角色的丰富的心灵。”
⒋ 比拟；效法。
引战国 楚 宋玉 《神女赋》：“毛嬙 鄣袂，不足程式； 西施 掩面，比之无色。”
⒈ 订立一定的准式以为法则。
引《管子·明法》：「法者，天下之程式也。」
近法式
⒉ 格式。
例如：「公文程式」。
⒊ 引导电脑依特定方式运作并产生结果的一组指令。