转换规则

正式的系统建设

• 
  在形式逻辑:公理化的电脑

  这些规则被称为转换规则。有时这个词“定理”是用来覆盖公理和定理;“论文”一词也用于此目的。

  阅读更多
• 
  在形式逻辑:LPC的公理化

  转换规则:

  阅读更多
• 
  在形式逻辑:替代系统的模态逻辑

  T的转换规则是统一替换,演绎推理和规则,如果α是一个定理lα(必需的)。这条规则的直观的基本原理是,在一个良好的公理系统,预计…

  阅读更多