2.3 谓词逻辑表示

2.3  谓词逻辑 1函数 命题逻辑：可以把客观世界的一些事实表示为逻辑命题，但不适合复杂问题spa 逻辑命题blog 谓词逻辑：表达没法用命题逻辑表达的事变量 一阶谓词演算：是一种形式语言。im 逻辑联词：1.否认，读做“非P”。2.合取，读做“P与Q”。3.析取，读做“P或Q”。4.条件，读做“若P则Q”。5.双条件，读做“P当且仅当Q”。符号在下图img 表示命题的符号：经常使用的P，Q,，

>>阅读原文<<