论命题逻辑中“真”的判定

来源 :白城师范学院学报 | 被引量 : 0次 | 上传用户:leimu438
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
“真”是逻辑学的一核心概念,但其界说争议颇多。本文据“真”的指称对象不同把“真”分为三类:命题真,命题形式真,重言真,然后据它们各自“何以为真”分别用递归等方法予以界说,使逻辑中的真能用能行的方式加以判定。
其他文献
针对对方的缺点或不足,用书面的方式提出自己的看法和改进意见.就是建议书。教材要求每位六年级的同学都要练着写一份建议书(见人教版《语文》六年级上册“口语交际·习作四
齐有甄彬①者,有器业②。尝以一束苎③,于荆州长沙西库④质钱。后赎苎,于束中得金五两,以手巾裹之。彬得金,送还西库。道人大惊曰:“近有人以金质钱,时忽遽不记录。檀越⑤乃能见归,恐
[题目](选自2017年全国新课标Ⅱ理3试题)我国古代数学名著《算法统宗》中有如下问题:“远望巍巍塔七层,红光点点倍加增,共灯三百八十一,请问尖头几盏灯?”意思是:一座7层塔共
以带鳞片叶的鳞茎盘为外植体,接种在添加激素的MS培养基上,通过激素组合筛选合适的培养基获得不定芽,同时对在预分化培养基上接种7d的外植体、接种25d后转接到分化培养基上3d的
吉林西部稻田养殖河蟹经过一年的试验,稻蟹获得了双丰收,由此建立了高纬度稻田养殖河蟹的生态模式,以示推广。
去年7月.我和爸爸妈妈一起去游览了北极小城——那维克。那维克是挪威的一个小城,位于北极圈内。小城面积大约只有20平方公里,三面环山,一面临海。在小城中心抬头仰望高山.我觉得
【作品原文】却说鲁肃私自拔轻快船二十只,各船三十余人,并布幔束草等物,尽皆齐备,候孔明调用。第一日却不见孔明动静;第二日亦只不动。至第三日四更时分,孔明密请鲁肃到船中。
利用函数思想解决最值问题,是中考的热点问题,这类问题综合性很强,其中包含了方程、不等式等思想,同时还有很多实际背景的干扰,所以也是一个难点.下面,我们就这类问题中的典
国家职业标准中,高技能人才具有特定的含义,结合当前经济社会和科学技术发展对高技能人才的新需求,提出各级高技能人才应具备的知识和技能标准,有利于科学确定培养目标,制订
我的奶奶七十多岁了,满头银发,额头已爬满了皱纹,可是她的眼睛还是那么明亮有神,使人感到亲切慈祥。
期刊