沃尔华是一种形式化逻辑的推理方法，15标准斗则是沃尔华推理的一种特定形式。沃尔华15标准斗是指在沃尔华推理中使用的一组标准规则，这些规则被称为15标准斗。15标准斗包括以下规则：1. 归入规则：如果某个断言是一个类别或范畴的成员，那么它可以被归入到该类别或范畴中。2. 分离规则：如果某个类别或范畴的组成部分被归入该类别或范畴以外的某个类别或范畴中，那么这个组成部分可以分离出来。3. 简化规则：如果某个复杂的断言可以被简化为一个更简单的断言，那么可以使用简化规则来简化它。4. 添加规则：如果某个断言需要一个附加条件才能得出结论，那么可以使用添加规则来添加这个条件。5. 删除规则：如果某个条件被添加到一个断言中，但在推理过程中不再需要了，那么可以使用删除规则来删除这个条件。6. 转换规则：如果某个断言可以通过逻辑上的转换得到一个等价的断言，那么可以使用转换规则来转换它。7. 假设规则：如果在推理过程中需要假设某个条件为真，那么可以使用假设规则来假定这个条件为真。8. 合并规则：如果推理过程中得出两个断言的结论都是相同的，那么可以使用合并规则来合并这两个断言。9. 取反规则：如果某个断言的否定形式可以用逻辑上的否定表示出来，那么可以使用取反规则来表示这个否定形式。10. 拆分规则：如果某个复杂的断言可以拆分成两个或多个更简单的断言，那么可以使用拆分规则来拆分它。11. 再加一规则：如果某个断言需要再加一个条件才能得出结论，那么可以使用再加一规则来加入这个条件。12. 依凭规则：如果某个断言依赖于另一个断言的真实性才能得出结论，那么可以使用依凭规则来表达这种依赖关系。13. 替代规则：如果某个断言可以通过逻辑上的替代得到一个等价的断言，那么可以使用替代规则来替代它。14. 推论规则：如果某个断言可以通过逻辑上的推论得到一个等价的断言，那么可以使用推论规则来推论它。15. 前提规则：如果某个断言是一个推理过程的前提，那么可以使用前提规则来表示这个前提。这些规则在沃尔华推理中被广泛使用，可以帮助推理者进行逻辑上的推证和论证。
Qzone
Weibo
Wechat