逻辑命题的限制条件根据这种限制条件，逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容。
英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、您的程式会在执行阶段时呼叫mFc程式库。
6、您可能需要从驱动程式软碟片中再载入一些额外的光碟机驱动程式。
7、详细研究了单程式针梳板的发展.
8、当真测到中断信号，如何写中断程式切到中断副程式中？
9、萤幕尺码及解像度的提升，亦间接刺激了具频宽需求的程式的发展，如数码相片分享、视像会议及数码广告。
10、KSm32具有一个集成式静电噪音筛检程式,可除去大多数因风和呼吸所造成的静电噪音.
答：程式的拼音是：chéng shì
点击 图标播放程式的发音。
答：程式的意思是：①.订立一定的准式以为法则。②.格式。③.引导电脑依特定方式运作并产生结果的一组指令。
答：程式的近义词是：法式
