述語論理学
【じゅつごろんりがく】
【jutsugoronrigaku】
谓词逻辑