切换导航
文档转换
企业服务
Action
Another action
Something else here
Separated link
One more separated link
vip购买
不 限
期刊论文
硕博论文
会议论文
报 纸
英文论文
全文
主题
作者
摘要
关键词
搜索
您的位置
首页
期刊论文
关于模态命题公式的一种布尔值
关于模态命题公式的一种布尔值
来源 :中山大学学报:社会科学版 | 被引量 : 0次 | 上传用户:sunyanzi168168168
【摘 要】
:
文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。
【作 者】
:
李娜
【机 构】
:
中山大学逻辑与认知研究所 广东 广州 510275 南开大学哲学系
【出 处】
:
中山大学学报:社会科学版
【发表日期】
:
2003年S1期
【关键词】
:
布尔值
模态命题逻辑
正规系统
下载到本地 , 更方便阅读
下载此文
赞助VIP
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
文章定义了模态公式□_α的布尔值,证明了模态命题逻辑的正规系统K、D和T的所有公理的布尔值为1。
其他文献
如何提高中学英语课堂教学的有效性
随着高中英语课程改革的深入开展, 高中英语教学正面临新的挑战。课程改革以培养学生创新精神和实践能力为重点, 课堂教学则是培养学生创新精神及实践能力的主阵地, 优化英语课堂教学尤为重要。笔者认为, 优化英语课堂教学的关键在于正确处理教与学的关系, 发挥师生双方的创新性和积极性; 在教师的启发引导下, 学生主动进行探索, 用较少的时间和精力, 获得较多的知识, 并在能力、智力等方面同时得到发展。笔者从
期刊
课堂教学
英语教学
中学
实践能力
创新精神
课程改革
学生
高中
如何加强农村“三资”管理
凤城市石城镇所辖10个村,110个村民组,农业人口21036人。农户数6520户,耕地面积47800亩,在“三资”清查中,通过清查统计,其中资产合计7343.54万元,林地总面积33万亩,债权总额387.91万元,债务总额267.65万元,招标合同份数1542份。 一、“三资”管理现状及存在问题 从2003年开始,丹东市推行村会计委托代理制,实行村账镇代理,各村设立一名经管员,实行报账制,几年
期刊
管理
农村
耕地面积
农业人口
凤城市
村民组
清查
农户
“洋大豆”抢滩登陆本土大豆危机重重
黑龙江省大豆产量占全国四成左右,是我国最大的非转基因大豆种植区。2009年到2013年这四年间,黑龙江省大豆种植面积累计下降了近3000万亩,几乎减少一半,而且其生产规模缩水还有明
期刊
促进家庭的心灵健康:基于荣格的研究工作
心灵健康指情绪、心智、心理和身体的健康。中医认为这些能量之间存在着微妙的相互联系,而人通过宗教行为实践则使他们彼此补充,达到自性认知,从而在建立精神和心理健康上发挥了
期刊
荣格
心灵健康
平衡
完整性
三种新型农用机械
1. FSB-1600自动捡拾方捆打捆机 沈阳市方科机械制造有限公司制造。主要技术规格:外形尺寸(长×宽×高) 5200毫米×2315毫米×1854毫米,机器重量1300公斤,草捆长度300~1200毫米,草捆宽度470毫米,草捆高度350毫米,草捆重量16~30公斤,配套动力45千瓦,动力输出轴转速540转/分,捡拾宽度1540毫米,活塞往复频率88次/分,捡拾器齿杆数4根,捡拾器弹齿数32个,
期刊
农用机械
机械制造
外形尺寸
公司制
沈阳市
打捆
消费者为王——中国白酒品牌时代的营销法则
1990年代白酒营销的特征可以描述为“广告为王”,2000年代白酒营销的主要特征为“渠道为王”。其实,无论“广告为王”,还是“渠道为王”,企业的最终目的都是把酒卖给消费者,让消费
期刊
白酒品牌
消费者
营销
法则
中国
广告
特征
年代
多媒体在初中数学教学中的应用
【摘 要】随着新课程改革的不断推进和发展,多媒体技术在初中数学教学中得到了广泛应用。多媒体的应用给数学教学带来了诸多益处,比如提高了学生的兴趣,使教学的形式更加形象化、多样化,使学生更容易理解抽象的概念和理论等。为此,本文着重阐述了多媒体技术的应用给数学教学带来的巨大作用,希望能对相关人士有所裨益。 【关键词】多媒体 初中数学 教学 应用 多媒体作为现阶段初中数学教学必不可少的一种
期刊
多媒体
初中数学
教学
应用
杀菌剂调查问卷
期刊
保罗的“皈依”:一个宗教心理学经典案例的再理解
保罗的皈依在基督教历史上对信徒的宗教生活有极重要的引导和规范作用,也是宗教心理学一直以来引为典范的皈依案例。近年来的保罗研究对传统的理解做出多种修正,对保罗的皈依也
期刊
使徒保罗
皈依
宗教心理学
保加利亚葡萄种植和利用渐成文化品牌
保加利亚东南部的色雷斯峡谷迎来葡萄丰收的美好时节。作为拥有千年葡萄酒酿制工艺的布雷斯托维察村格外热闹,当地葡萄园主托多罗夫正在为自己的酒厂举行一年一度的葡萄开摘和
期刊
葡萄种植
保加利亚
文化品牌
利用
旅游项目
酿制工艺
葡萄酒
葡萄庄园
与本文相关的学术论文