论文部分内容阅读
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.
关于模态命题系统P5的协调性
【摘 要】
：
证明模态系统P5的协调性.即:证明了模态系统P5的所有公理的布尔值为1.亦即:VB(B是一个完全的布尔代数)是模态命题系统P5的布尔值模型.
【机 构】
：
河南大学政治系
【出 处】
：
河南大学学报：自然科学版
【发表日期】
：
2003年2期
【基金项目】
：
普通高等学校人文社会科学重点研究基地基金
其他文献
为探明秸秆与地膜覆盖方式对咸淡交替灌溉模式下水盐调控及玉米产量的影响,筛选出适合内蒙古河套灌域轻度盐碱地地区玉米种植的耦合技术。通过田间试验,研究了在已有优化的咸淡交替灌溉模式下地膜覆盖(H_1)、上膜上秸(地膜覆盖+秸秆表覆)(H_2)、上膜下秸(地膜覆盖+秸秆深埋)(H_3)、对照(无覆膜无秸秆)(CK)4种处理对玉米生长效应和水盐运移机理的影响。结果显示:1)H_1、H_2、H_3处理的玉米
介绍了制动蹄摩擦片车削加工的液压夹具设计方案,利用转换构件,采用液压夹紧代替了手工夹紧,工件夹紧稳定、装夹效率高,提高了生产效率。
云南省景洪农场三分场党委严格按照“五好五带头”的总体目标要求,结合分场实际制定了5年总体目标和阶段性工作计划：每年要有1～2个支部达标为“五好”党支部,到2008年,全分场“
1989年春，我只身来到海南省立才农场机木队，目的只有一个：当胶工。机木队是立才农场较好的单位，很多人都想通过关系挤进来。当时在机木队当队长的是我的一位远亲，找他时，他如实相告