Алгебралық логика

Алгебралық логика (ағылш. Algebraic logic) — логикалық объектілер-кластарды, пікірлерді және басқаларды оқып білу үшін алгебралық әдістерді қолдануға негізделген математикалық логиканың тарауы.

Тарихи тұрғыдан Алгебралық логика тап алгебрасы және пікірлер алгебрасы ретінде пайда болды. Алгебралық логика пікірлерді олардың тек ақиқаттық мағынасы тұрғысынан қарайды, бұл жерде ақиқаттың бірдей мәніне ие пікірлер бір-біріне папа-пар болып табылады. Пікірлердің өзін білдіретін символдардан басқа логикалық алгебраның бір өрнектерінен басқа өрнектер құрайтын логикалық операциялар үшін де символдар еңгізіледі. Қазіргі кезде Алгебралық логика электрлік және релелік-дәнекер жүйесі теориясында да қолданылады