LOGIIKKA

• Logiikan määritelmiä
• Kvanttorit
• Loogiset konnektiivit
• Konnektiivien laskulait
• Avoimen lauseen konnektiivit
• Kvantisoitujen lauseiden sieventäminen