2.1谓词逻辑基本概念 ■21.1个体词和谓词的相关概念 ■2.1.2量词 ■2.1.3命题符号化2.1 谓词逻辑基本概念 2.1.1 个体词和谓词的相关概念 2.1.2 量词 2.1.3 命题符号化