1.
The discursion in ancient painterly theory was traditional model analogize configuration not proposition discursion.
古代画论中的推理也是传统的模型类推结构，并非命题推理。
2.
Why falsity valne in propositional inference premises is fivst rejected and then chosen --A theoretical interpvetation of effective;
论命题推理前提假值的先舍后取——兼及命题推理有效必然性的理论阐释
3.
An Empirical Research on the Influencing Factor in Propositional Reasoning Ability
复合命题推理能力相关影响因素的实证研究
4.
It can judge if a proposition is valid.
它既可以判定一个命题公式是重言式、盾式或协调式,也可以判定命题推理是否有效。
5.
To learn using this way is specially important to judge the validity of determining proposition inference.
掌握真值表化简方法对判定命题推理是否有效显得尤为重要。
6.
Basic Deductive Chain in Two-valued Propositional Logic F(S_n)
二值命题逻辑F(S_n)中的基本推理链
7.
Theories of Truth Degrees and Approximate Reasoning in a class of n - valued Prepositional Logics;
一类n值命题逻辑中命题的真度理论及近似推理理论
8.
The Theory of Approximate Reasoning Based on the Premise Information in Two-valued Propositional Logic
二值命题逻辑中基于前提信息的近似推理理论
9.
Similarity Degree, Pseudo-metric and Approximate Reasoning in Propositional Logic System;
命题逻辑公式集上的相似度、伪距离与近似推理
10.
Viewing the Characteristic and Inference of Disjunctive Proposition from Sufficient Condition;
从充分条件看尽举选言命题的性质及其推理
11.
The Applications of Prepositional Logic in Everyday Life;
命题逻辑演绎推理在日常生活中的应用
12.
Hypothetical Judgment Under Sufficient and Necessary Conditions Can Also be the Premise of the Dilemma;
充要条件假言命题也可作二难推理的前提
13.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
14.
A converse proposition of the sequence form of Stolz theorem and its generalizations
Stolz定理数列形式的一个逆命题及其推广
15.
The Γ-rand Truth Degree of Fomulas and Approximate Reasoning in Classical Propositional Logic
经典命题逻辑中公式的Γ-随机真度与近似推理
16.
The Implication Measurement and Approximate Reasoning in Two-valued Propositional Logic
二值命题逻辑中的蕴涵度量与近似推理
17.
Pseudo Metric Inequalities and Approximate Reasoning in Two-Valued Propositional Logic
二值命题逻辑中的伪距离不等式与近似推理
18.
Approximate reasoning based on conditional truth degree of formulas in classical propositional logic
二值命题逻辑中基于条件真度的近似推理