命题逻辑思维导图：从命题到推理理论

命题逻辑思维导图

A[命题逻辑]

• B[命题及联结词]

  • B1[命题]
  • B2[联结词]
    • B21[否定]
    • B22[合取]
    • B23[析取]
    • B24[条件]
    • B25[双条件]

• C[命题公式及其赋值]

  • C1[命题公式]
  • C2[赋值]

• D[等值式]

  • D1[等值式的定义]
  • D2[等值式的性质]

• E[析取范式与合取范式]

  • E1[析取范式]
  • E2[合取范式]

• F[推理理论]

  • F1[推理规则]
  • F2[推理证明]