谓词逻辑的引入 。对简单命题做进一步剖析，才能认识这种推理规律.这就需要引 入主体和谓词. 。引入变量并考虑到表示变量的数量上一般与个别的全称量词和存在 量词，进而研究它们的形式结构和逻辑关系，这便构成了谓词逻 辑. ●约定：第4、5、6章的讨论，约定以小写字母表示命题，而以大写 字母来表示谓词. 刘避利（上海交大CS实验室） 离散数学第四章：谓词逻辑的基本概念 3/1¢c‹6⁄\ È{¸·Kâ?ò⁄ø¤ß‚U@£˘´Ìn5Æ©˘“Iá⁄ \ÃN⁄¢c© ⁄\C˛øƒL´C˛Ͳ˛òÑÜáO°˛c⁄3 ˛cß? ÔƒßÇ/™(⁄‹6'XߢB§ ¢c‹ 6© ½µ14!5!6Ÿ?ÿß½±i1L´·Kß ±å i15L´¢c© 4ë| (˛°å-CIS¢ø) l—ÍÆ1oŸµ¢c‹6ƒVg 3 / 1