量化邏輯
liàng​huà​luó​jí

quantified logic

  • created sense approved 量化逻辑/量化邏輯 · liàng​huà​luó​jí · quantified logic — "Initial import from upstream dictionary"

    量化逻辑 / 量化邏輯

    liàng​huà​luó​jí

    quantified logic

    A branch of formal logic that uses quantifiers such as "all" or "some" to specify the extent to which a property applies to a group of individuals

    量化 (literal) → 量化 · liàng​huà · quantification 逻辑 (literal) → 逻辑/邏輯 · luó​ji · logic

    Changed: simplified, traditional, gloss, definition, pinyin, variant pinyin, variants, separable parts, decomposition

    created sense