1) relevance proposition
相干命题
1.
Automated reasoning for natural deduction system NR of relevance propositional logic
相干命题逻辑自然推理系统NR的自动证明
3) contrary propositions
相反命题
4) topic-relevance
主题相干性
1.
Up to the present, there are study of premise-relevance in formal logic, study of probative relevance, topic-relevance,audiece-relevance,and dialectical relevance in informal logic,argumentation theory and new rhetoric.
迄今 ,不仅有形式逻辑对命题相干性的研究 ,而且出现非形式逻辑、论辩理论和修辞学对证明相干性、主题相干性、听众相干性和辩证相干性的多维研究。
5) incompatible disjunction proposition
不相容析取命题
6) incompatible disjunctive proposition
不相容选言命题
1.
It is formed by linear causal model and incompatible disjunctive proposition.
它们由线性的因果决定和不相容选言命题的形式构成。
补充资料：相干
互相干犯：各处其位，守其职，而不得相干也。现指关涉：与你不相干。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条