10.1.1. Основные понятия алгебры логики.
Введение
LOGOS ( греч.) - слово, понятие, рассуждение, разум.
Слово «логика» обозначает совокупность правил, которым подчиняется процесс мышления.
Основными формами абстрактного мышления являются: понятия, суждения, умозаключения.
Понятие - форма мышления, в которой отражаются существенные признаки отдельного предмета или класса однородных предметов (трапеция, дом).
Суждение - мысль, в которой что-либо утверждается или отрицается о предметах (весна наступила, и грачи прилетели).
Умозаключение - прием мышления, посредством которого из исходного знания получается новое знание (все металлы - простые вещества).
Логика (формальная) - наука о законах и формах правильного мышления.
Математическая логика - изучает логические связи и отношения, лежащие в основе логического (дедуктивного) вывода.