- logiikka
- totuusarvo
- väitelause
- konnektiivit
- negaatio ei
- konjunktio ja
- disjunktio tai
- implikaatio
- ekvivalenssi
-loogisesti ekvivalentit
- tautologia

Konnektiivien laskujärjestys
1. ei
2. ja/tai
3. implikaatio
4. ekvivalenssi