1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
2.
ignoratio elenchi
ph.1. 【拉】【逻】谬误论证;不相干的命题,不相干的结论
3.
Four Propositions and Their Applications of a Straight Line and a Conic Section Being Tangent;
直线和圆锥曲线相切的若干命题与应用
4.
Some Questions and Tactics of Chinese Test Proposition in Senior Middle School-Entrance Examination Against the Background of New Curriculum Reform;
新课程背景下中考语文命题的若干问题和相关策略
5.
a question remote from the subject
与本题不太相干的问题
6.
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them.
研究命题、命题组合及其相关联词的符号逻辑。
7.
Ethical view of life in Taoism and stem cell research;
道家的生命伦理和干细胞研究的问题
8.
The Prove Of Some Questions About Normai Matrix With Row Characteristic Vector;
规范矩阵若干命题的行特征向量证法
9.
Agriculture, farmers and Countryside are closely related to each other.
农业、民、村是三个密切相关的命题。
10.
On “Separation of the Universe From Man”──Fifth Explanation to Chinese Aesthetics
“天人相分”──中华美学命题诠释之五
11.
The Study of the Integrated Resemblance Degrees and the Distance in the Propositional Logic Systems;
命题逻辑公式的相似度与距离之研究
12.
Proposition relativity and logic calculation in probabilistic logic;
概率逻辑中的命题相关性与逻辑运算
13.
The Topology Defined by Similarity Relation on Propositional Set;
命题集F(S)基于相似关系定义的拓扑
14.
Divergency and Consistency in Lukasiewicz System;
Lukasiewicz命题集的发散性与相容性
15.
Artistic Production and the Inter contradiction Proposition of Karl Marx;
“艺术生产”与马克思的“相敌对”命题
16.
Unrelated to the matter at hand.
不相干的，离题的与所讨论的问题不相关的
17.
Either of two propositions related in such a way that it is impossible for both to be true or both to be false.
矛盾命题两个互相关联的不可能同为正确或错误的命题中的一个
18.
Two Propositions and Applications about Dualistic Function s Extremum;
二元函数极值问题的两个相关联命题及其应用