离散数学中的谓词是什么 离散数学符号大全

离散数学的谓词是什么意思？在逻辑学中，命题中思考对象的词通常称为主语，对象属性的词称为谓语格式良好的公式。它是指：谓词逻辑，符合语法的公式。例如：（P→q）∧（R∨s）...