Мы познакомимся с понятием решётки и покажем, что решётки можно воспринимать как особого рода частично упорядоченные множества. Далее, мы познакомимся с понятием булевой алгебры, докажем ряд базовых фактов о дополнениях в булевых алгебрах и установим полноту пропозициональной классической логики относительно любого класса булевых алгебр, содержащего хотя бы одну нетривиальную алгебру.