Научно-технический энциклопедический словарь - математическая логика

МАТЕМАТИЧЕСКАЯ ЛОГИКА (символическая логика), аналитический раздел логики, результат применения математических методов к проблемам классической логики. Рассматривает понятия, которые могут быть истинными или ложными, связь между понятиями и оперирование ими, включая конъюнкцию (логическое умножение), дизъюнкцию (логическое сложение) и отрицание. Утверждения, их связи и оперирование ими сведено до символических представлений; всем этим манипулируют согласно конкретным правилам. Поэтому выводы могут быть проанализированы и надежно проверены.

Научно-технический энциклопедический словарь

.