永真公式形成系统初探

来源 :毕节学院学报:综合版 | 被引量 : 0次 | 上传用户:cntele
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
永真公式也称重言式,是从真值函项角度划分出来一种命题逻辑公式。其形成系统是有规律的,即可以传统逻辑方阵表记的复合命题和简单命题之间的真假制约关系为基础,推导出有规律性的一系列永真公式。
其他文献
介绍了厚板轧后加速冷却过程控制系统的实际后处理数据分析软件的开发过程及其应用。该整理后的数据报表和二维显示图的软件是基于开源的跨平台C++框架wxWidgets以及其图象处理
今年3月27日,德国诺顿西公司和清华大学环境科学与工程系联合举办了“百乐卡污水新型生物处理技术国际研讨会”。会议邀请了北京市和其它部分省、市的专家和专业技术人员共三
国家环保局为了更好的贯彻国务院(国发[1996]31号)文精神,经与国务院有关行业主管部门研究并经国务院同意,近日发出紧急通知,涉及造纸行业的有关条文为:1.1996年9月30
介绍了传统硫化系统与嵌入式硫化系统的不同,并重点阐述了MCGS嵌入版组态软件在硫化行业的广泛应用。
以辽宁省新民市北西线姜屯桥为试验桥,对FRP-混凝土组合梁桥设计方法进行研究。以该中小跨径FRP-混凝土组合梁为研究对象,运用有限元分析和试验结合的方法,从各向异性材料的
通过介绍卓越绩效模式在山西煤机制造公司的推广应用情况,重点说明了推行过程中存在的问题,以期为其他制造企业导入和实施卓越绩效模式提供具体的方法和借鉴。
重庆梁平双桂湖国家湿地公园位于梁平都梁新区,2017年获国家湿地公园称号。双桂湖国家湿地公园是河流-湖泊-稻田等构成的复合型湿地生态系统,与长江上游左岸一级支流龙溪河一
我国规模最大的轻定量涂布纸生产厂——河南省武陟红麻造纸厂10月下旬开始试生产。 轻定量涂布纸系高档印刷纸,具有定量低、平滑度高、不反光、保护视力等优点。广泛应用于杂
在现代社会的发展中,电力施工不断增多,其发挥的作用越来越重要。在施工过程中,电力施工技术管理是一项重要工作,与整个工程的质量有密切关系。
深圳市龙岗区图书馆导入卓越绩效模式,开发了本馆的领导系统。在利益相关方充分参与的前提下,拟定并提出了本馆的使命、愿景和价值观,明确了本馆的目标和行动方向,这是本馆取