逻辑命题的限制条件根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英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、本文首先介绍了地下水在岩土层中的渗流要遵循渗流运动方程和连续性方程，在此基础上得到了稳定渗流的微分方程式。
答：程式的拼音是：chéng shì
点击 图标播放程式的发音。
答：程式的意思是：①.订立一定的准式以为法则。②.格式。③.引导电脑依特定方式运作并产生结果的一组指令。
答：程式的近义词是：法式
