Логика
Логика – наука о законах и формах мышления.
Слово «логика» произошло от древнегреческого logos, что означает «слово, мысль, понятие, рассуждение, закон». Основные формы мышления: понятие, высказывание, умозаключение. Понятие – это форма мышления, которая выделяет существенные признаки предмета или класса предметов, позволяющие отличать их от других («Вот стул на нем сидят, вот стол – за ним едят.»). Высказывание – это повествовательное предложение, о котором можно сказать, истинно оно или ложно. Земля – планета солнечной системы. 3+5=19 Умозаключение – это форма мышления, с помощью которой из одного или несколько суждений может быть получено новое суждение (вывод). ( Доказательство теорем в алгебре). Английский математик Джордж Буль (1815-1864) изобрел своеобразную алгебру – систему обозначений и правил, применимую к всевозможным объектам, в частности к высказываниям. Эта алгебра называется его именем – алгебра Буля или булева алгебра. Логическая переменная – это простое высказывание (содержит одну мысль), значение которой 0 (ложь, false) или 1 (истина, true), обозначается латинскими буквами. Логическая функция – составное высказывание, полученное из простых высказываний, соединенных между собой с помощью логических операций. Логические операции. Логические операции над высказываниями выполняются на основе законов и правил булевой алгебры. Логическое умножение КОНЪЮНКЦИЯ (∧,&) определяет соединение логических выражений с помощью союза И. Например: 1) А – “Х>10”; В – “Х< 30”; А и В - “10