第二章谓词逻辑 P:所有的人都是要死的; Q:苏格拉底是人; R:所以,苏格拉底是要死的。 显然,这三个命题有着密切的关系,当P和Q 为真时,R必定为真,即R应该是P,Q的逻 辑结果:即P∧QR永真。但实际上并非如 此:当P,Q取“1”,而R取“0”时 P∧QR<=>0,即P∧Q→R不是永真公式, 即P R不成立。用命题逻辑已无法正 确地描述上述情况。 2/842/84 第二章 谓词逻辑 P：所有的人都是要死的； Q：苏格拉底是人； R：所以，苏格拉底是要死的。 显然，这三个命题有着密切的关系，当P和Q 为真时，R必定为真，即R应该是P，Q的逻 辑结果：即P∧Q→R永真。但实际上并非如 此：当P，Q取“1”，而R取“0”时 P∧Q→R <=>0，即P∧Q→R不是永真公式， 即P，Q=>R不成立。用命题逻辑已无法正 确地描述上述情况