否定命题

categorical proposition

直言命题

在这里,我们不想对于这些规则逐条细究,而只想指出,这些规则背后的基本理念是关于四种直言命题(categorical proposition)的理论. 直言命题,即以主谓形式构成的命题,一般来说分为四种:全称肯定命题、全称否定命题、特称肯定命题和特称否定命题. 此外,

Law of the Excluded Middle

排中律

以总共不到17页的三篇论文,一个年轻的荷兰数学家布饶儿 (Brouwer) 对以往古典逻辑的确实性提出挑战,特别是对所谓的排中律 (Law of the excluded middle),即对任一命题「A」,A或A之否定命题必有一为真,他认为我们不可无条件的接受,布饶儿坚持有其它的可能性,

negative part

负部

latticeve orthant 负象限 | negative part 负部 | negative proposition 否定命题

negative particular proposition

否定特称命题

negative part 负部分 | negative particular proposition 否定特称命题 | negative proposition 否定命题

negative proposition

否定命题

negative particular proposition 否定特称命题 | negative proposition 否定命题 | negative rotation 反时针方向旋转

universal negative proposition

全称否定命题

universal map 通用映射 | universal negative proposition 全称否定命题 | universal proposition 一般命题

negative rotation

反时针方向旋转

negative proposition 否定命题 | negative rotation 反时针方向旋转 | negative semidefinite 半负定的

negative real axis

负实轴

negative proposition 否定命题 | negative real axis 负实轴 | negative real number 负实

universal map

通用映射

universal function 通用函数 | universal map 通用映射 | universal negative proposition 全称否定命题

universal proposition

一般命题

universal negative proposition 全称否定命题 | universal proposition 一般命题 | universal quantifier 全称量词

Supposed to Be：应该吧

我想我该睡了 i think i should slp | 应该吧 supposed to be | 希望 hope so

Plain Weave：平布

509 hopsack 方平织物 | 510 plain weave 平布 | 511 panama 巴拿马薄呢