查询词典 disjunctive proposition

A new complete disjunctive normal form, which is in the sense of equivalence, to an extension system of medium logical proposition calculus MP is defined and the theorem of its existence and uniqueness is established and proved.

讨论中介逻辑命题演算扩张系统MP＊中在等值意义下的完全析取范式的存在性和唯一性。引入MP＊中等值全析范式的概念，并用分步构造法证明这种范式在等值意义下是存在的，且是唯一的。

Therefore,taking the disjunctive proposition as the prerequisite can attain the new by inferring from the known.

物理学在实际测出电磁波往返于月地间的时间之前，早就确定这个命题"若A则B"为

The disjunctive proposition has two aspects of independence of two important cornerstones for logic inference.

需用到下述充分条件假言命题：若电磁波往返于月地间的时间为x秒A(x，则月地距离为x/2×30万公里B

The non-typical semantic presupposition of yes-no question and affirmative-negative question is usually an exclusive disjunctive proposition.

是非疑问句和正反疑问句的预设通常是一个不相容选言命题；选择疑问句的预设，一般是一个不相容选言命题，有时则是一个相容选言命题；特指疑问句的预设，通常就是用"有X或某X"取代问句中的疑问词后所得的陈述句。

The proposition "Either it is day or it is night" works well in a disjunctive argument, but not as well in a friendly conversation.

不是白天就是晚上」这样的说法放在对立的争论当然没有问题，但并不适合友善的交谈。

In logic, affirmative comparative sentence is positive proposition,the negative is negative proposition.

从逻辑上讲，肯定比较句是正命题，否定比较句是负命题。

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies take up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

Although it is not tautology of analytic proposition,it is a priori knowledge.So we can say Leibniz has putforwards the a priori synthetic proposition before Kant in an unclear way.

而原始的事实真理的提出则是莱布尼茨超越近代的直觉学说的地方，这种原始的事实真理不是同义反复的分析命题（至少对于人的有限的心智而言不是），而又具有某种直接的先验性，可见莱布尼茨已先于康德以一种不十分明显的方式提出了先天综合判断的问题。

Analytic proposition: a proposition whose predicate concept is contained in its subject concept; e.g.,"All bachelors are unmarried," or, All bodies tak e up space.

" 分析命题：谓词概念包含于主词概念之中；例如，"所有单身都未婚"或"所有物体都占空间。

On the basis of investigating analytic proposition and synthetic proposition, the paper gives some comments on Quine's critique on distinction of the two propositions, illustrating that Quine's critique cannot deny their distinction and only show they are two typical fuzzy conceptions, so we should grasp the dialectical mechanism of their relative distinction and inter-permeation by fuzzy thinking methods.

在考察分析命题与综合命题的基础上，对奎因分析命题与综合命题之区分的批判进行了评述，说明奎因的批判并不能否认分析命题与综合命题的区分，而只是表明了"分析命题"与"综合命题"是两个典型的模糊概念，因而需要运用模糊思维方法去把握它们既相对区分又相互贯通的辩证机理。

When I started coding, I had problems with the ASF file writer.

当我开始编码，我曾与ASF文件作家的问题。

I know that in one of the schools the boys have risen up in the classroom and enlisted in a mass.

如果你们也和他们一样，是集体自愿的话，你们的老师将是多么地光荣啊。