数理逻辑-基本概念

  1. 命题与联结词
  2. 命题公式