34、处理部分项的逻辑语义分析

处理部分项的逻辑语义分析

1. 非经典逻辑：LPF

部分函数和运算符存在表示上的“间隙”，即它们在某些情况下无法表示具体值。例如，7/0 不是整数，在严格相等的概念下，7/0 = 42 无法表示布尔值。在经典逻辑中，真值表仅为合适的布尔值定义逻辑运算符，因此处理这类情况会出现问题。

LPF（部分谓词逻辑）通过扩展命题运算符来处理可能无法表示的逻辑值。其真值表如下：
| ∨ | true | ⊥B | false |
| — | — | — | — |
| true | true | true | true |
| ⊥B | true | ⊥B | ⊥B |
| false | true | ⊥B | false |

∧	true	⊥B	false
true	true	⊥B	false
⊥B	⊥B	⊥B	false
false	false	false	false