词语

层化

céng huà · ㄘㄥˊ ㄏㄨㄚˋ · 更新 2026-06-30 03:33:00

基本属性

  • 拼音字母ceng hua
  • 拼音首字母ch
  • 注音符号ㄘㄥ ㄏㄨㄚ
  • 注音首符号ㄘㄏ

词语解释

在数理逻辑中,层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。

拆字组词