谓词逻辑表示法

-  - 中国矿业大学—中国科学院智能信息处理联合实验室制作 -  - - 1.命题的含义：