TEMP! подвергнется нормальному форматированию скоро. Логика - наука о законах и формах правильного мышления. Аристотель - основоположник формальной логики. Логическое высказывание - повествовательное предложение про которое можно однозначно сказать, истинно оно или ложно. Джордж Буль - основоположник Алгебры логики/алгебры высказываний. Алгебра Логики - математич. аппарат с помощью которого записывают, вычисляют, упрощают и преобразуют логические высказывания. Алгебра логики определяет правила выполнения операций с логическими величинами, которые могут быть обозначены как 0 ("ложь") и 1 ("истина"), т.е. с двоичными данными. Высказывания бывают простые и сложные. Простые нельзя разделить на более мелкие. сложные строятся из просты с помощью логических связок/операций "И" "ИЛИ" "НЕ" "если. то" "Тогда и только тогда".