述語演算

【じゅつごえんざん】

述語演算

读成： じゅつごえんざん
中文： 谓词演算