命题推理

复合命题推理能力相关影响因素的实证研究

An Empirical Research on the Influencing Factor in Propositional Reasoning Ability

命题推理的心理学研究综述

The Psychological Research on Propositional Reasoning : Review and Comments

用BASIC语言判定命题推理的有效性

Decision of the validity of the propositional inference by basic linguistics

本文利用BASIC语言中较少为人所用的逻辑运算功能。来判定命题推理的有效性。

In this paper , we use BASIC Linguistics , without establishing any formal system , for the decision of the validity of the propositional inference .

不同的格式类型、性别对被试的复合命题推理能力有着显著的影响。

Different formats , genders had an influence on proposition reasoning of the subjects .

关于判定命题推理有效性真值表化简方法的引申

On Extended Ways of Simplified Truth Table to Judge the Validity of Determining Proposition Inference

古代画论中的推理也是传统的模型类推结构，并非命题推理。

The discursion in ancient painterly theory was traditional model analogize configuration not proposition discursion .

我们研究了8-10岁的儿童，青少年和成年人的复合命题推理发展。

We investigated the propositional reasoning of children 8-10 year of age , adolescents and adults .

掌握真值表化简方法对判定命题推理是否有效显得尤为重要。

To learn using this way is specially important to judge the validity of determining proposition inference .

而材料性质对被试的复合命题推理能力的影响体现在阶段性上，它只对儿童阶段的被试有影响，而对少年阶段和成年阶段的被试影响却不大。

But the effect of material character was based on the phases ; it only affected the subjects in the childhood .

在具体运算阶段的儿童也能进行些简单的复合命题推理，这对皮亚杰的儿童发展阶段论的某些观点进行了质疑。

The children in the period of material operation could work at some simple deductive reasoning , which was contrary to the claims of Piaget .

本文引进新图式的概念，并且给出一个关于命题推理有效判定的方法。

In this paper we first introduce the concept , of the new graph and give a decision method for the validity of the propositional inference .

所以被试联言推理的能力强于不相容的选言推理，强于充分条件的假言推理。（5）不同的问题格式对被试的复合命题推理能力有显著的影响。

So the ability of associated reasoning is better than disjunctive reasoning and hypothetical reasoning . ( 5 ) The different reasoning forms have notable effect on the propositional reasoning .

玩忽职守罪的罪过形式只能由过失，而不能由故意构成，否则会违反矛盾律、充足理由律及复合命题推理的基本规则。

And the former should happen because of negligence , not intent , otherwise it will violate contradiction rules , good-reason rules and the fundamental principles of composite proposition reasoning .

含有否定命题逻辑推理的一致性模糊Petri网模型

Consistent Fuzzy Petri Nets Model for Logic Programs with Negation

直言命题变形推理形式“SAP→SOP”的成立，超出了传统逻辑理论中“前提中不周延的项在结论中不得周延”这一普遍规律的限制。

The deformed reasoning form " SAP → OP " in categorical proposition goes beyond the rule in traditional logic that non-distributive item in premise cannot distribute in conclusion .

直言命题及其推理的主项存在问题

The existential problem of subject in categorical propositions and their arguments

直言命题变形推理特例分析

A Case Study of Deformed Reasoning in Categorical Proposition

试析比较命题及其推理

Compare an analysis of comparative thesis and its reasoning

美学命题的推理问题

On the inference of the aesthetical propositions

形式模糊命题逻辑推理系统

Formal fuzzy propositional logic deduction system

尽举选言命题及其推理

The Disjunctive Proposition and Its Inference

格值命题逻辑推理

Lattice-valued Proposition Logical Reasoning

研究这一内容，对于掌握形式逻辑中复合命题及其推理这部分理论知识以及实际运用，具有重要意义。

Studying the method possess great importance for mastering the theories and application of compound assigning a topic and inference in formal logic subject .

从概念、命题、推理的教学，来培养女生的逻辑思维能力，提高女生的学习兴趣，增强女生学习数学的自信心。

These measures are good for cultivating students ' logical thinking ability , improving students ' interest in learning , enhancing students ' confidence in learning mathematics from the concept , the proposition and reasoning teaching .

中介命题系统MP推理规则的简化

The Simplicity of the Inference Rules in the Medium Propositional System MP

给出了相干命题逻辑自然推理系统NR的自动证明算法。

This paper presented an automated reasoning algorithm for natural deduction system ( NR ) of relevance propositional logic .

基于路径搜索的格值命题逻辑自动推理方法

Automated Reasoning Method Based on Path Searching for Lattice Propositional Logic Formulae

简化了的那些命题的逻辑推理更加简明精巧；

Simplify the logic deduction of these two processes ;

命题逻辑中推理理论的数字形式

Digital Form of Logical Consequence Theory in Propositional Logic