英语单词“predicate calculus”的翻译、意思、用法、释义-英汉词典

单词	predicate calculus
释义	predicate calculus1.■【数学、逻辑学】谓词演算,命题函项演算(数理逻辑的基本组成部分,即 functional calculus) [亦作 predicate logic]
随便看	for- for for. FOR for account of for a cert for a certainty for a change for a fact for a full due forage forage acre forage cap forage fish forager Foraker, Mount for a lark for a little for all for all I care for all it is for (all) me for all me for all of for all one is worth 地窄虽无三径乐，心和赢得四时春泾水无泥分畎浍，回山有脉自崆峒见介合：相看掩面只因心浑浑，所以面团团离朱不辨正色，师旷岂识玄丝更於山下起高阁，竹户松琴照林岳底事多情，玉笋更轻掠胸次冰壶寒，舌端河汉倾四十垂垂老，文章岂更新骥收盐坂车前足，琴得焦桐爨下声永遇乐夜宿燕子楼，梦盼盼，因作此词题敬荣堂感兴句黄隐士相过次韵冒儿咕咚戥头闭心脔婿啓予