逻辑命题的限制条件根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英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、本文推导了一组联立方程式。
7、若要从另一张磁碟片载入额外的驱动程式，在继续之前请插入适当的驱动程式软碟片。
8、本赛季还剩最后一站日本大奖赛未举行，一级方程式竞争对手舒马赫和哈基宁已经开始试车了。
9、消除故障：把电脑程式中的误差查出，并加以，然后使用的操作。
10、电影最后播放程式必须为35毫米、70毫米、数码或高数码。
答：程式的拼音是：chéng shì
点击 图标播放程式的发音。
答：程式的意思是：①.订立一定的准式以为法则。②.格式。③.引导电脑依特定方式运作并产生结果的一组指令。
答：程式的近义词是：法式
