所有栏目

证明永真蕴含式的三种方法

已输入 0 字
优质回答
  • 数理逻辑

    §1.1命题

    §1.2.重言式

    §1.3.范式

    §1.4.联结词的扩充和归约

    §1.5.推理规则和证明方法

    §1.6.谓词和量词

    §1.7.谓词演算的永真公式

    §1.8.谓词演算的推理规则

    2023-10-24 20:13:28
最新问题 全部问题