量词逻辑

量词逻辑   

即“谓词逻辑”。