^-^
Why so serious?
逻辑学简短入门
  1. 有效性:从什么可以推出什么?
    1. 两种有效推断
    2. 情形
  2. 真值函数——亦或不是?
    1. 空洞有效
    2. 逻辑工具的恰当性