【摘 要】
:
<正> §1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基
论文部分内容阅读
<正> §1.概说一数学系统的原始概念、公理、定义和定理等都需表述为命题的形式。建立命题与命题之间的关系,即定理的证明,需以逻辑推理作工具。命题演算是数理逻辑的一个基础分支,它的功用之一是研究数学中使用的演绎推理的性质,并建立判定推理有效性的准则。在命题演算中采用五种逻辑联结诃
其他文献
[目的]编制肺癌术后化疗病人症状群测评问卷;运用此问卷调查肺癌术后化疗病人症状分布特征及影响因素。[方法]在文献回顾及半结构访谈和专家评定的基础上形成32个条目的初始
现存理论与已有实证结论就"我国保险业对经济产出发挥的作用及程度"问题尚未达成统一共识。本文运用1999年~2009年保险市场以及GDP的相关季度数据,使用向量误差修正模型(VECM
很多研究表明巨灾风险的存在是我国农业保险市场失灵的一个主要原因,对其背后的原因从微观层面进行了诸多论证,并提出了相应的巨灾风险分散的手段,但对于农业巨灾风险管理的
现行政策对灵活就业人员参加职保不具有强制性,因此其可以灵活选择是参加职保还是参加城乡居保。本文在对职保和城乡居保制度比较分析的基础上,构建出养老金水平、养老金替代
随着司法改革的序幕拉开,各项具体措施逐步铺开,其中的法官员额制引发司法人员和社会的广泛关注,究其原因不难发现既有普通民众对案件裁判质量的担心,也有年轻法官对自己前途
十六大党章关于"党的性质"和"入党条件"的修改,表明党在坚持入党的共性标准的同时,突破身份,增强了党的阶级基础和扩大了党的群众基础。在当前高等教育扩张式发展、进入大众
文学形象的“真实性”是其核心价值所在。这种“真实性”主要指的是渗透在作品中的主体情感的真实性,即主体的主 观真实性,而不是指作品描述对象有多大的科学精确度,即客体的
在网络时代的今天,网站设计很重要。PHP的多功能成为网站设计很好的开发工具,而MySQL则是一个强大、快速的数据库软件。PHP与MySQL相结合是网站设计的一种好的选择。
自闭症是一种广泛性发展障碍,由美国医生L.Kanner最早发现和提出,目前国内自闭症从一种罕见病逐渐成为流行病。自闭症的主要症状表现为语言发展和社会交往障碍以及刻板行为,而在这两大主要症状中,刻板行为是自闭症谱系障碍的诊断标准之一,同时也是家长或学校老师最头疼的问题。自闭症儿童的刻板行为较多,其类型复杂、形式多样,对自闭症儿童的学习生活、社会融合和掌握技能有着消极的影响,且刻板行为会伴随自闭症人群
目的:探索并总结咳嗽变异性哮喘(cough variant asthma,CVA)的中医证候规律。方法:在文献调研基础上构建中医证候调查表,采用横断面调查方法收集101例咳嗽变异性哮喘患者的人