◎ 程式 chéngshì
(1) [modality]∶逻辑命题的限制条件,根据这种限制条件,逻辑命题的内容可以区分为肯定或否定其可能性、不可能性、偶然性或必然性等内容
(2) [form;pattern]∶规定的格式;一定的法式;形式
公文程式
(3) [program]∶程序
电脑的程式语言