Аннотация:Одним из стимулов введения в традиционную логику математических, особенно алгебраических, методов послужила аналогия между решением алгебраических уравнений и процессом вывода следствий из посылок в логике. Не случайно,первой формой математической логики явилась алгебра логики (булева алгебра), которая является алгебраической структурой -- решеткой (lattice).