命题逻辑的基本概念

范式

联结词的扩充与规约

PC系统证明思维

ND系统证明思维

一阶谓词演算系统

FC系统证明思维

By @Hans Wan

Logic