逻辑命题的限制条件根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英modality;
规定的格式；一定的法式；形式。
例公文程式。
英form; pattern;
程序。
例电脑的程式语言。
英program;
法式；规格；准则。
引《管子·形势》：“仪者万物之程式也；法度者万民之仪表也。”
《汉书·刑法志》：“此为国者之程式也。”
唐•赵璘 《因话录·商下》：“李相国 程、王僕射 起、白少傅 居易 兄弟、 张舍人 仲素 为场中词赋之最言程式者，宗此五人。”
清•戴名世 《＜庆历文读本＞序》：“余自少时从事制举文字而于两朝诸先辈之文……奉以为程式。”
郑观应 《盛世危言·考试下》：“西法各种西人藉以富强已收实効，皆有程式，我步趋其后，易见功。”
特定的格式。
引《周书·苏绰传》：“绰 始制文案程式朱出墨入，及计帐、户籍之法。”
朱自清 《论逼真与如画》：“但是最容易程式化的、最能够代表文人化的是山水画。”
特指戏剧程式动作。参见“程式动作”。
引洪深 《戏剧导演的初步知识》上篇三：“因为每一程式乃是许多作者与许多观众长期实验、长期合作的结果。”
徐迟 《牡丹》八：“她以一丝不苟的准确的戏剧程式表达了角色的丰富的心灵。”
比拟；效法。
引战国 楚 宋玉 《神女赋》：“毛嬙 鄣袂不足程式； 西施 掩面比之无色。”
订立一定的准式以为法则。
引《管子·明法》：「法者天下之程式也。」
近法式
格式。
例如：「公文程式」。
引导电脑依特定方式运作并产生结果的一组指令。
“程式”是中国台湾的操作系统翻译法。中国大陆翻译为“程序” 。计算机或者软件程序（通常简称程序）是指一组指示计算机或其他具有消息处理能力装置每一步动作的指令通常用某种程序设计语言编写运行于某种目标体系结构上。打个比方一个程序就像一个用汉语（程序设计语言）写下的红烧肉菜谱（程序）用于指导懂汉语和烹饪手法的人（体系结构）来做这个菜。 通常计算机程序要经过编译和链接而成为一种人们不易看清而计算机可解读的格式然后运行。未经编译就可运行的程序，通常称之为脚本程序（script）。
程 [ chéng ] 1. 规矩，法式。 如 程式。程序。章程。规程。 2. 进展，限度。 如 程度。进程。日程。过程。 3. 道路的段落。 如 路程。行（xíng ）程。里程。启程。前程。 4. 衡量，考核。 如 计日程功。 5. 姓。
式 [ shì ] 1. 物体外形的样子。 如 式样。样式。 2. 特定的规格。 如 格式。程式。 3. 典礼，有特定内容的仪式。 如 开幕式。阅兵式。 4. 自然科学中表明某些关系或规律的一组符号。 如 分子式。算式。公式。 5. 一种语法范畴，表示说话者对所说事情的主观态度。 如 叙述式。命令式。
1、方程式之美，远比符合实验结果更重要。
2、寄不出的信件伫列是由传送应用程式的伫列管理员来管理的伫列，这个伫列会储存无法传递或逾期的讯息。
3、当您传送应用程式加密的讯息时，接收伫列管理员会在将讯息传送至目的端伫列之前，用对称金钥为讯息解密。
4、我指的是，难道没有任何使用除错程式的时机吗?
5、在档案中插入标记时，程式码剖析工具会自动递增标记识别项。
6、DLR也可以协助您建立支援动态作业的程式库。
7、人们很容易利用方程式对变化的物价水平进行描述，虽然在高等学术界有人质疑，这样的方程式是否具有实际价值。
8、若要从另一张磁碟片载入额外的驱动程式，在继续之前请插入适当的驱动程式软碟片。
9、决定正确的组件版本，藉由检查适用的组态档，包括应用程式组态档、发行者原则档和电脑组态档。
10、西法各种,西人藉以富强,已收实效,皆有程式,我步趋其后,较易见功。
答：程式的拼音是：chéng shì
点击 图标播放程式的发音。
答：程式的意思是：①.订立一定的准式以为法则。②.格式。③.引导电脑依特定方式运作并产生结果的一组指令。
答：程式的近义词是：法式
