哲学 逻辑 释 categorical proposition 直言命题 直接陈述对象有无某种性质的命题。
categoric 直言命题；范畴的；直言的，明确的 categorical proposition 直言命题
人工智能 自动推理 释文 categorical proposition 直言命题
- ordered
- ordered Abelian group
- ordered additive group
- ordered affine plane
- ordered algebra
- ordered algebraic structure
- ordered alloy
- ordered arrangement
- ordered Banach space
- ordered basis
- ordered binary decision diagram
- ordered binary decision diagram, OBDD
- ordered by magnitude
- ordered Cartesian product
- ordered chain complex
- ordered class
- ordered class of subobjects
- ordered collection
- ordered complex
- ordered couple
- ordered cycle
- ordered direct product
- ordered direct sum
- ordered estimate
- ordered extension