The basic logic of quantum systems is presented. The system chosen is the simplest possible example: plane-polarized photons and polarizing filters, a two-state system. The mathematics of linear spaces and its role as the logical language of quantum mechanics is introduced. The use of Dirac bras and kets is demonstrated.