Lukasiewicz的实然三段论系统LA的证实与证伪

来源 :重庆理工大学学报:社会科学 | 被引量 : 0次 | 上传用户:a348329418
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以Johnson等文献为基础,利用广义量词理论和集合论,对Lukasiewicz提出的实然三段论系统LA进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪。
其他文献
广东现代农业科普园创制了11项科普互动展品和3项科普宣传片,将科普互动作品与科普资源结合开展科普活动,通过互动体验的模式展示更多互动展品,将创作乐趣融入科普中,提升科
目的:探讨口腔扁平苔藓(0LP)患者外周血细胞免疫功能状态。方法:采用流式细胞仪检测外周血T细胞亚群和NK细胞百分比.ELISA法检测血清中细胞因子水平变化。结果:OLP组外周血中除CD8^
2016年,玉米市场化结构调整正式开始,玉米价格"跳水",到2017年3月初,辽宁产地玉米收购价格约为1.30元/公斤。2017年2月初,农业部召开全国春管春耕暨种植业结构调整工作视频会议
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”$ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’#陈川个美食 Back to yield
当前我国尚未建立高压气体流量计量的国家标准,原有的CNG加气机标准装置已经不能满足CNG加气机检定校准的需求。通过研究分析当前市场上CNG加气机的计量性能,研制完成两套检测C
英语是世界上使用最为广泛的语言,是一种交流沟通的重要工具。但是“哑巴英语”现象在我国较为普遍,其中在高中英语学习者中尤为突出。此现象大大阻碍了高中英语学习者的学习热
PIM3605是一款可插拔智能迷你驱动器,特别适合空间紧张的运动控制应用。采用简单引脚制造,驱动器具有能够进行更快速组装和安装的架构,从而让用户可在几秒钟内插入驱动器。
Due to the current domestic situation and trend of development, China should strive to promote internal harmony and progress, and improve strategic coordination
Trio公司新近推出的Eur0209是一款性价比极高的多轴运动控制卡,它采用紧凑式欧卡结构,可提供多达九轴的精密步进或伺服控制,并且集成了数字及模拟I/O、通讯接口和扩展轴接口。该