Propositionen sind Aussagen über Objekte (z. B. die Elemente einer Menge), die wahr oder falsch sein können. InProposition der Physik handelt es sich bei Propositionen um Aussagen der Art, ob ein bestimmtes physikalisches System bzw. ein bestimmter Zustand eine Eigenschaft hat oder nicht hat. Der Unterschied zwischen der klassischen Mechanik und der Quantenmechanik kann auch als Unterschied in dem zugehörigen Propositionenkalkül verstanden werden. Mathematisch bezeichnet man diese Strukturen als Verband. Dieses Kapitel gibt eine elementare Einführung in die sogenannte Verbandstheorie.