In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.是什么意思_In two-valued predicate logic a class of special interpretations of first language with nonempty finite domains is introduced.在線(xiàn)翻譯_英語(yǔ)_讀音_用法_例句