In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.
英
美
释义
摘要在二值谓词逻辑中引入了一阶语言的一类特殊解释,该类解释中的解释域取为非空有限集。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2024 海词词典(Dict.cn)
立即下载