逆否命题

摘要： 给出了一种判断化学平衡状态的数学思维建模方法,从数学原理角度肯定了“变量不变”的判断方法,建构模型教学学生如何判断某物理量是否为变量,有效提高学生判断化学平衡状态的准确率.

摘要： 正难则反策略的本质是逆向思维.求解高考或模拟考试解答题中的某些把关试题时,正面处理有时不易使问题获解,此时,可以选择正难则反的策略,即利用逆向思维,从问题的反面入手攻克问题.常见的思维路径:一是把原命题等价转化成其逆否命题来处理,或者借助于原命题的逆命题来解决;二是利用反证法来推证.正难则反的策略,启示我们在遇到某些利用常规方法求解显得复杂烦琐、不易奏效的问题时,要另辟蹊径,使解题别开生面.

摘要： 高校强基计划校考试题与高考试题突出互补性,本文基于这种互补性构建“集合与函数”学习辅导.2要点解析2?1反证法准确提出反证假设,由之出发,经逻辑推理,揭示出矛盾,得出反证假设不成立,从而肯定欲证命题成立.反证法是间接论证命题的一种方法,其本质是证明“原命题的否定”不成立,或论证其“逆否命题”成立;提出反证假设,融入已知,相当于增加一个条件,再进行推理,目标是构建矛盾.

摘要： 易错点一:命题中条件与结论的否定错误例1写出命题“若x^(2)+y^(2)=0,则x,y全为零”的逆命题,否命题,逆否命题,并判断它们的真假。错解:逆命题:若x,y全为零,则x^(2)+y^(2)=0。是真命题。

摘要： 把命题关系融入线性相关性的教学设计,对于高职师范类学生来说,既是“初等”数学知识的弥补,又是“高等”数学教学过程与效果的大胆尝试。高职学生因其特殊性,在教学过程中必须根据学生水平、特点设计教学,本文的设计,把知识与实践、思维与理念相融合,不但促进数学知识间的渗透,而且对学生未来从事的职业也起到示范与引领的作用,其“师范性”的教学特点更为突出。

摘要： 亚当·斯密论证"追逐个人私利有助于实现公共福祉",人人为自己,市场为大家,看不见的手有力地支撑起理性经济人的假设;但我们很容易忽略的地方在于,亚当·斯密不仅不反对公共福祉的存在,并且认为公共福祉是非常重要的,是允许个人追逐私利的重要条件——与追逐私利的原命题等价的逆否命题可以表述为:"损害公共福祉导致损害个人私利"。

摘要： 考虑问题:设正实数a、b、c满足a^2+b^2+c^2+abc=4.求证:a+b+c≤3.本题证法很多,可以用三角换元(见文[1]),也可以用抽屉原理(见文[2]),还可以直接证明(见文[3]).笔者尝试先弱化竞赛试题,再考虑其逆否命题的等价转化,进而强化逆否命题,最后利用直接证法或调整法加以证明.按这个证明思路,可以将这一竞赛试题进行加强推广.

摘要： 有关充分条件和必要条件的问题,是历年来高考必考的内容,常与不等式、函数、三角函数、圆锥曲线等知识相结合,综合性较强,具有一定的难度.这就要求学生熟练掌握充要条件的判断方法与技巧.下面,笔者结合例题来探讨解答充分条件和必要条件问题的方法.

摘要： 在数学解题中,根据问题的特点,在应用常规数学思维的同时,注意逆向思维的应用,往往能使很多问题运算简化,并且能够对数学定义、公式、定理、运算之间的关系理解得更清楚,可以形成反思和换位思考的思维素质,对培养数学思维灵活性,提高数学能力有重要作用.1.逆用定义、定理、公式例1在△ABC中.

摘要： 2018年的高考已经落下帷幕,笔者对全国各地高考数学试卷8套13份(文、理科各算1份,浙江、上海文理科合卷,江苏文理科合卷,理科有卷Ⅱ(附加题))进行归纳梳理,发现各套试卷遵循《普通高中数学课程标准(2017年版)》、《2018年普通高等学校招生全国统一考试大纲(文/理科)》和《2018年普通高等学校招生全国统一考试大纲的说明(文/理科)》(分省区)的各项要求,注重考试内容的基础性、综合性和全面性,坚持能力立意的原则.

摘要： 本发明实施例提供一种古诗词命题方法。该方法包括：基于知识图谱提取诗词训练集中各诗词的至少一个关键字，确定为各诗词的语义特征，利用神经网络对各诗词的语义特征进行建模，得到输入为诗词的语义特征，输出为语义相似的其他语义特征的诗词模型；利用知识图谱对诗词训练集进行知识建模，得到诗词训练集内诗词信息的结构化模型；基于各诗词的语义特征关联诗词模型和结构化模型，将预设题型输入至关联后的诗词模型和结构化模型中，输出与预设题型相对应的题目。本发明实施例还提供一种古诗词命题系统。本发明实施例使用诗词语义特征进行建模，可以区分出诗词的关系词语，通过将诗词的信息结构化，可以得到丰富的诗词信息，生成质量更高的题目。

摘要： 本发明涉及语言教学技术领域，特别是指一种语块重组题型的自动命题的方法及装置，方法包括：获取待切分语句以及切分块数K；通过预设的分词算法对待切分语句进行分词，得到待切分语句对应的M个词语；分别计算每两个词语之间的前链接概率以及后链接概率，计算每个切分位对应的切分合理性得分；将M‑1个切分位分别对应的切分合理性得分进行降序排列，选取前N个切分合理性得分对应的切分位，其中，N大于K‑1；在N个切分合理性得分对应的切分位中选取K‑1个切分位作为最终切分位组合；根据最终切分位组合，对待切分语句进行切分，并将切分后得到的K个语块按乱序程度分取最高得分输出。采用本发明，可以高效率地生成难度可控的、合理的题目。

摘要： 本发明提供一种基于三阶层论法律推理命题表示方法、法律事件推理方法和电子设备，其中，方法包括：获取预设法律事件图谱；基于所述法律事件图谱中知识类型利用与所述知识类型对应的推理表示框架对所述法律事件图谱进行法律命题表示；利用三阶层论将所述法律命题进行概率化表示。由于预测的路径是基于法律三阶层论推理生成，该预测能够有充分的解释性，例如可以解释清楚要件合法性命题成立的情况以及支持它的概率大小，进而提供为法律决策提供预测和证据支撑。

摘要： 本发明公开了一种基于命题逻辑的规范拆解方法，具体包括如下步骤：针对具体规范条目进行语义分析，将规范拆解为多个简单的句子，对所得的句子进行命名，并将其映射表示为原子命题集合；基于对简单句子的分析结果，获得该规范条目的语义标签集合；通过对简单句集合进行语法分析，获得每一简单句的连接词或程度词，从而得到该规范条目的连接词集合；确定原子命题集合中原子命题和之间的逻辑连结词,得到该条规范的连结词集合；将原子命题集合作为合取范式的一组真值指派，用合取范式附加真值指派来表达具体规范条目；本发明提供的方法能够将建筑行业规范条目的文本信息和规范条目所包含的语义信息进行数字化表达。

摘要： 本发明提供了基于深度学习的命题智能分析处理方法和系统，其通过深度学习的方式对历史命题数据进行分析处理，以此确定同类型命题的综合出现规律评价值，再结合历史考试命题大纲和历史热点命题信息，确定同类型命题对应的命题占比权重值，以此获得并显示相应的预测命题信息，从而快速地和准确性形成可靠的试卷，同时便于全面考核学生的学习效果。

摘要： 本发明提供了一种用于汉语测评的自动命题系统，包括字表生成模块、词表生成模块、第一语料库生成模块、第二语料库生成模块、汉字选择题命题模块和词语选择题命题模块。字表生成模块，用于收集常用汉字，生成字的拼音、笔画数、部件、级别、形近字、音近字；第一语料库生成模块，用于生成第一语料库，包括语句、语句长度等信息；第二语料库生成模块，用于生成第二语料库，包括词语的偏误词等信息；词表生成模块，用于生成词语、词长、词性、词频、词语级别、偏误频次、音近词、形近词、易混淆词、语法搭配数据；汉字选择题命题模块，用于生成汉字选择题；词语选择题命题模块，用于生成词语选择题。在本发明中，可自行创建语料库，自动生成高质量的汉语评测题，节省大量的人力物力。

摘要： 一种面向古诗词测评的自动命题方法和系统。本发明提供了一种面向古诗词测评的自动命题系统，包括诗词库、标签选择题命题模块、体制选择题命题模块、上下句选择题命题模块、诗句填字题命题模块、诗词排序命题模块，其中：标签选择题命题模块，用于生成标签选择题；诗词体制选择题命题模块，用于生成体制选择题；上下句选择题命题模块，用于生成上下句选择题；诗词排序命题模块，用于生成上下句选择题；诗句填字题命题模块，用于生成填字题。在本发明中，可以最大程度地挖掘诗词语体和语义特征，自动生成高质量的古诗词题库，以用于高效、科学地实现古诗词素养测评。

摘要： 本发明属于计算机技术领域，公开了一种计算机考试填空题的命题和评阅方法。该方法包括：获取命题人基于填空题面输入的设定答案以及所述命题人选择的预设评阅策略；根据所述预设评阅策略以及所述设定答案生成答案正则表达式；在接收到基于所述填空题题面的考生答案时，将所述答案正则表达式与所述考生答案进行匹配；在匹配成功时，判定所述考生答案正确；在匹配失败时，判定所述考生答案错误。通过上述方式，基于命题人对题面设定的答案以及选择的评阅策略，可以生成基于设定答案生成的答案正则表达式，最后根据答案正则表达式评判考生答案是否正确，从而可以避免对考生答案的误判。

摘要： 本发明公开了一种基于GBRT的PSC命题说话题型评分算法，涉及信息技术领域，该基于GBRT的PSC命题说话题型评分算法包括用于获得评测参考文本的语音识别子系统与在此基础上通过参考文本相关方法实现发音错误检测的发音错误检测子系统，通过按照一定的规则解析子系统的输出，即可获得命题说话评分模型的评分特征，在进行研究时，语音识别子系统采用百度智能云提供的普通话语音识别公开接口服务，而发音错误检测子系统采用云知声提供的普通话语音评测公开接口服务。

摘要： 本发明涉及语言教学技术领域，特别是指一种语块重组题型的自动命题的方法及装置，方法包括：获取待切分语句以及切分块数K；通过预设的分词算法对待切分语句进行分词，得到待切分语句对应的M个词语；分别计算每两个词语之间的前链接概率以及后链接概率，计算每个切分位对应的切分合理性得分；将M‑1个切分位分别对应的切分合理性得分进行降序排列，选取前N个切分合理性得分对应的切分位，其中，N大于K‑1；在N个切分合理性得分对应的切分位中选取K‑1个切分位作为最终切分位组合；根据最终切分位组合，对待切分语句进行切分，并将切分后得到的K个语块按乱序程度分取最高得分输出。采用本发明，可以高效率地生成难度可控的、合理的题目。