将语句如果明天下雨,我们就放假翻译成命题公式如下：P：明天下雨Q：我们就放假 P 且 Q；P → Q其中：P表示“明天下雨”，Q表示“我们就放假”。
命题公式(propositional formula)亦称合式公式，是数理逻辑术语，它是按照一定规律形成的符号序列，在命题演算中，公式通常用归纳定义给出。
例如，在一个具有五个联结词ᒣ，∨，∧，→，≡的系统中，合式公式定义如下：命题变元和命题常元是公式；如果α是公式，则ᒣα也是公式；如果α，β是公式，则α∨β，α∧β，α→β，α≡β均为公式；只有由1～3条给出的才是公式。因此，根据上述定义，ᒣp，(p→q)∨ᒣp等是公式，而pᒣ，pq→等都不是公式。
1、重言式：给定一个命题公式，若对于其中的命题变项的任何一组赋值，命题公式对应的真值永远为1，则称该命题公式为重言式或永真式。
2、矛盾式：给定一个命题公式，若对于其中的命题变项的任何一组赋值，命题公式对应的真值永远为0，则称该命题公式为矛盾式或永假式。
3、可满足式：给定一个命题公式，若至少存在一组赋值使得该公式的真值为1，则称该命题公式为可满足式。由定义可知，公式¬(P∧Q)↔¬P∨¬Q是永真式，公式¬(P→Q)∧Q是永假式，永真式的真值总是为1，因而是一种特殊的可满足式。
吉林省长春市宽城区金美程家园7栋3门101。长春雨秋手工活是长春市雨秋经贸有限公司，地址:吉林省长春市宽城区金美程家园7栋3门101。
长春市雨秋经贸有限公司成立于2018年01月11日，法定代表人为王雨秋。经营范围包括日用百货、家具、家用电器、办公用品、数码产品、通讯设备、机电设备、五金交电、电线电缆、建筑装潢材料、服装、鞋帽、纺织品批发、零售；软件设计与开发；安防监控工程安装；网络工程设计；网站设计与开发；广告制作；打字复印；条幅制作；仪器、仪表，机电设备安装与维修服务（依法须经批准的项目，经相关部门批准后方可开展经营活动）
长春伟巴斯特公司是一家专业从事铝型材、建筑五金、汽车部件等行业的高新技术企业。公司致力于不断提升产品质量，并致力于为客户提供优质的服务。公司秉承“诚信、创新、团结、发展”的企业精神，积极践行企业社会责任，为社会提供优质的产品和服务。
