逻辑命题的限制条件根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英modality;
规定的格式；一定的法式；形式。
例公文程式。
英form; pattern;
程序。
例电脑的程式语言。
英program;
法式；规格；准则。
引《管子·形势》：“仪者万物之程式也；法度者万民之仪表也。”
《汉书·刑法志》：“此为国者之程式也。”
唐•赵璘 《因话录·商下》：“李相国 程、王僕射 起、白少傅 居易 兄弟、 张舍人 仲素 为场中词赋之最言程式者，宗此五人。”
清•戴名世 《＜庆历文读本＞序》：“余自少时从事制举文字而于两朝诸先辈之文……奉以为程式。”
郑观应 《盛世危言·考试下》：“西法各种西人藉以富强已收实効，皆有程式，我步趋其后，易见功。”
特定的格式。
引《周书·苏绰传》：“绰 始制文案程式朱出墨入，及计帐、户籍之法。”
朱自清 《论逼真与如画》：“但是最容易程式化的、最能够代表文人化的是山水画。”
特指戏剧程式动作。参见“程式动作”。
引洪深 《戏剧导演的初步知识》上篇三：“因为每一程式乃是许多作者与许多观众长期实验、长期合作的结果。”
徐迟 《牡丹》八：“她以一丝不苟的准确的戏剧程式表达了角色的丰富的心灵。”
比拟；效法。
引战国 楚 宋玉 《神女赋》：“毛嬙 鄣袂不足程式； 西施 掩面比之无色。”
订立一定的准式以为法则。
引《管子·明法》：「法者天下之程式也。」
近法式
格式。
例如：「公文程式」。
引导电脑依特定方式运作并产生结果的一组指令。
“程式”是中国台湾的操作系统翻译法。中国大陆翻译为“程序” 。计算机或者软件程序（通常简称程序）是指一组指示计算机或其他具有消息处理能力装置每一步动作的指令通常用某种程序设计语言编写运行于某种目标体系结构上。打个比方一个程序就像一个用汉语（程序设计语言）写下的红烧肉菜谱（程序）用于指导懂汉语和烹饪手法的人（体系结构）来做这个菜。 通常计算机程序要经过编译和链接而成为一种人们不易看清而计算机可解读的格式然后运行。未经编译就可运行的程序，通常称之为脚本程序（script）。
程 [ chéng ] 1. 规矩，法式。 如 程式。程序。章程。规程。 2. 进展，限度。 如 程度。进程。日程。过程。 3. 道路的段落。 如 路程。行（xíng ）程。里程。启程。前程。 4. 衡量，考核。 如 计日程功。 5. 姓。
式 [ shì ] 1. 物体外形的样子。 如 式样。样式。 2. 特定的规格。 如 格式。程式。 3. 典礼，有特定内容的仪式。 如 开幕式。阅兵式。 4. 自然科学中表明某些关系或规律的一组符号。 如 分子式。算式。公式。 5. 一种语法范畴，表示说话者对所说事情的主观态度。 如 叙述式。命令式。
1、初中，某数学老师讲方程式变换，在讲台上袖子一挽大声喝道：同学们注意！我要变形了！
2、他是个"数学迷"，只要钻进那复杂枯燥的方程式里就觉得其乐无穷，从来不知疲倦。
3、例如，分组会让某位程式开发人员只能看到他自己的aPI所需的工作，而不能看到在处理序中执行的每一个工作。
4、象中断点，除了停止程式时，计数器还被增加外。跟踪点不是被所有的调试工具支持。
5、用户端增益集的范例包括文书处理器的参考增益集、图形程式和游戏的特定功能，以及本机电子邮件用户端的病毒扫描。
6、这是一个x的二次方程，也是一个抛物线方程式,抛物线都长这样。
7、此研究方法是以伊藤随机微分方程式为主.
8、特别是数学，我是从有理数、方程式、因式分解学起的。
9、以后代数中的种种推论都很枯燥，包括二次方程式，我这辈子从未用过它。
10、无法用程式设计方式传回附加至活页簿的命令列集合。
答：程式的拼音是：chéng shì
点击 图标播放程式的发音。
答：程式的意思是：①.订立一定的准式以为法则。②.格式。③.引导电脑依特定方式运作并产生结果的一组指令。
答：程式的近义词是：法式
