论文部分内容阅读
命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价的方法进行了总结,共提出六种方法,并对各种方法进行了分析和探讨。
命题逻辑中等价公式的证明方法探讨
【摘 要】
：
命题公式是命题逻辑中的基本研究对象。判定两个命题公式是否逻辑等价是一个重要问题。本文结合例题讲解,对证明两个命题公式等价的方法进行了总结,共提出六种方法,并对各种
【机 构】
：
上海海事大学文理学院
【出 处】
：
创新教育研究
【发表日期】
：
2020年4期
其他文献
2020年1月,湖北省武汉市爆发了一起严重的病毒感染性肺炎疫情,并迅速扩散到全国各地。引发此次疫情的病原体是一种新型的冠状病毒。国际病毒分类学委员会对此病毒进行全基因
针对渤海油田随钻着陆过程中气油界面识别困难的问题，通过对大量录井资料的研究，形成了一套识别气油界面的气测录井方法。首先通过气测重组分变化趋势初步识别气油界面，然后用气
目的 总结手深度烧伤后功能障碍的防治.方法采用早期 ( 切 ) 削痂大张植皮或皮瓣移植术,术后辅以功能锻炼加压力疗法,配戴支具,外用药物等康复措施综合治疗.结果术后外形满意
渤海油田现有的气测录井解释储集层流体性质的方法存在多解性和不确定性，为更有效地提高储集层流体性质识别的精确度，通过分析大量气测数据和流体性质的相关性，发现正-异烷烃比
目的运用高效液相色谱法对不同产地山楂、夏枯草、冬凌草、柿蒂和连翘中熊果酸的量进行测定。方法采用高效液相色谱法,色谱柱:Kromasil C_(18)(200 mm×4.6 mm,5μm);流动相:
目的 调查西安地区事业献血员及血中层得和不同类型肝炎患者ＴＴＶ（ｔｒａｎｓｆｕｓｉｏ ｔｒａｎｓｍｉｔｔｅｄ ｖｉｒｕｓ）感染状况。方法 在ＴＴＶ ＯＲＦ１区设计两套引物，用巢式聚合酶链反应（ｎｅｓｔｅｄ－ＰＣＲ），检测我院有偿献血员２０８例，血液透析患者３０例及我院住院的非
<正> 1 材料和方法1.1 材料本组资料分别来自1989-01/1999-01我院门诊及住院首次内镜检查患者,藏族来自青海黄南地区、四川阿坝地区和甘肃甘南藏族自治州的草原牧区,回族和汉
脑损害(脑卒中和脑外伤、帕金森病)患者出现构音障碍是一个常见后遗症.语言治疗师将对这些患者采取针对功能损害的治疗和种类繁多的治疗措施,其目的是改善患者言语的可理解性
《昨日青空》有明显的散文化叙事风格,属于典型的"缀合式团块"叙事结构,几个角色的故事都围绕着同一主题"人生选择"来展开,形成了"形散神不散"的艺术效果。与一般动画电影表