Основы логики
ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ Логика – наука о формах и способах мышления. Основными формами мышления являются понятие, суждение, умозаключение. Понятие – это форма мышления, фиксирующая основные, существенные признаки объекта. Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о реальных предметах, их свойствах и отношениях между ними. Высказывание может быть либо истинно, либо ложно. Умозаключение – это форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (вывод). Логика — это наука, изучающая законы и формы мышления. Алгебра логики — это математический аппарат, с помощью которого записывают (кодируют), упрощают, вычисляют и преобразовывают логические высказывания. Высказывание — это повествовательное предложение, о котором можно сказать, истинно оно или ложно. При этом считается, что высказывание удовлетворяет закону исключенного третьего, т.е. каждое высказывание или истинно, или ложно и не может быть одновременно и истинным, и ложным. Если высказывание: истинно - его значение равно 1 (True, T); ложно - 0 (False, F). ОСНОВНЫЕ ПОНЯТИЯ АЛГЕБРЫ ЛОГИКИ