?ukasiewicz的实然三段论系统?A的证实与证伪

来源 :重庆理工大学学报(社会科学版) | 被引量 : 0次 | 上传用户:gusano1987
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
以Johnson等文献为基础,利用广义量词理论和集合论,对?ukasiewicz提出的实然三段论系统?A进行深度拓展研究,并给出一些定理说明如何形式化地对实然三段论进行证实与证伪.
其他文献
2019年4月14日,时任中华人民共和国科学技术部副部长、国家外国专家局局长张建国在第十七届中国国际人才交流大会“深圳论坛”上发布了“2018魅力中国——外籍人才眼中最具吸
期刊
近年来,西安市科学技术局(外国专家局)按照“聚焦重大战略,紧盯国际前沿,坚持项目先行,着力招才引智,引领转型升级,服务创新发展”的总体工作思路,引进了一批西安市急需紧缺
期刊
“看了西光所,听了赵卫所长的介绍,我反复强调的创新发展战略有了依据”.2015年2月,习近平总书记视察西安光机所,留下了这样的评价.这是光机所的荣耀,更是西安和陕西的荣耀.
期刊
“十三朝古都”“天然历史博物馆”“中国重要的国防科技工业基地”“全球硬科技之都”、福布斯中国“2018最佳商业城市”……西安这座兼具悠久历史与现代文明的城市,以其独
期刊
在2019年深圳举行的第十七届中国国际人才交流大会上,“2018魅力中国——外籍人才眼中最具吸引力的中国城市”榜单揭晓,古城西安荣登10座魅力城市之列.日前,中央媒体采访团赴
期刊
捐赠型网络众筹平台的兴起改变了传统的熟人慈善,但捐赠人同受助人的关系在捐赠型网络众筹中仍具有重要作用.聚焦捐赠型网络众筹情境,通过实验法,探究捐赠人与受助人关系亲疏
在2018年的中国科学院、中国工程院院士大会上,国家主席习近平表示,这些年来,我国科技事业实现了历史性、整体性、格局性重大变化.重大创新成果竞相涌现,一些前沿方向开始进
期刊
乔治·斯坦纳的四步骤阐释运作理论是翻译思想和理论研究领域的重要课题,然而学界对各步骤的解释迄今仍然或止于原文转述,或语焉不详.鉴此,本文尝试对各步骤实质内涵予以分析
兰州文理学院图书馆所藏《一切经音义》一百卷,二十五册,唐代慧琳撰,版本为清乾隆二年(1737)扶桑雒东狮谷白莲社刻本.封面题“唐西明寺翻经沙门慧琳撰,一切经音义,扶桑雒东狮
期刊
在东亚,自古就有重视自然美的传统,雨、雪、霞等气象现象,在审美意义乃至美学意义上都发挥了重要作用.不仅日本,在整个东亚地区很早就将霞、雾、雨、雪等气象现象作为风流的