inroom是什么符号

如题所述

谓词符号。谓词符号:对于结构L中的每一个关系R在L中有一个确定的谓词R与之相对应。谓词R是结构L中的关系R。inroom是谓语符号。谓词逻辑是数理逻辑的重要部分,而数理逻辑在“离散数学”课程中起着非常重要的作用。
温馨提示:答案为网友推荐,仅供参考