符号逻辑
fú​hào​luó​ji

symbolic logic

  • created reference approved 符号逻辑/符號邏輯 → 数理逻辑/數理邏輯 (same_as) — "Initial import from upstream dictionary"

    符号逻辑 / 符號邏輯 fú​hào​luó​ji

    数理逻辑 / 數理邏輯 shù​lǐ​luó​ji

    same_as

    Changed: source (simp), source (trad), source pinyin, target (simp), target (trad), target pinyin, type

    created reference

  • created sense approved 符号逻辑/符號邏輯 · fú​hào​luó​ji · symbolic logic — "Initial import from upstream dictionary"

    符号逻辑 / 符號邏輯

    fú​hào​luó​ji

    symbolic logic

    symbolic logic; a branch of mathematics and logic that uses symbols and mathematical methods to represent formal logic

    fú​hào​luó​jí

    符号 (literal) → 符号/符號 · fú​hào · symbol 逻辑 (literal) → 逻辑/邏輯 · luó​ji · logic

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

    created sense