司寇伦范式

又称“彐—前束范式”。满足以下条件的前束范式：1.没有自由个体变项；2.至少有一存在量词；3.所有存在量词都位于全称量词之首。如“彐x∀ y(F(x、y)→H(x、y)”。一阶谓词演算的每一公式A都有一个司寇伦范式B,A和B可互推，即A普遍有效是B普遍有效的充分必要条件。

• 三、科研与师资队伍建设
• 三、科研体制改革
• 三、科研体系建设
• 三、科研成果
• 三、科研改革
• 三、积极作用
• 三、积极建设“菜篮子工程”，形成城郊型农业的新格局
• 三、稳定、完善家庭联产承包制和“统分结合”的双层经营体制
• 三、稳定、持续、协调、全面发展农副产品进出口贸易
• 三、稳定的出口生产骨干企业形成
• 三、第三期农业综合开发
• 三、第三阶段
• 三、管理体制及经费
• 三、粮油期货交易市场
• 三、粮食与经济作物结构与布局
• 三、粮食作物
• 三、粮食和经济作物结构演变与布局
• 三、粮食放开搞活时期
• 三、精神文明创建活动
• 三、精神文明建设
• 三、纯收入及其变化的特点
• 三、组建农林系统外贸进出口公司
• 三、组织劳动互助合作，提高生产力
• 三、组织实施农科教项目
• 三、绍兴旅游区