最近在查资料时注意到「层化」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
- 拼音
- céng huà
- 字母
- ceng hua
- 首字母
- ch
- 注音
- ㄘㄥˊ ㄏㄨㄚˋ
在数理逻辑中，层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。
层化
céng huà · ㄘㄥˊ ㄏㄨㄚˋ
词语博客 · 记录每一个汉字的故事
céng huà · ㄘㄥˊ ㄏㄨㄚˋ
最近在查资料时注意到「层化」这个词，索性整理成一篇小笔记，方便以后查阅，也分享给同样感兴趣的朋友。
在数理逻辑中，层化是保证一个逻辑理论存在唯一形式释义的任何一致的数到谓词符号的指派。