Please enable JavaScript.

Coggle requires JavaScript to display documents.

预备知识 (命题逻辑 (逻辑符号 (五种联结符号 (非：﹁, 与：∧, 或：∨, 蕴含：->, 等价：<->), 等值符号 <…

- - - - 非：﹁
      - 与：∧
      - 或：∨
      - 蕴含：->
      - 等价：<->
  - - - 简单命题（原子命题）
      - 复杂命题
      - 命题公式
        
        永真式
        
        永假式
        
        可满足式
    - - 重要的等值式
    - - 推理定律(重言蕴涵式）
        
        重要的推理定律
      - 判断推演式是否正确
      - 推理的形式结构