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