Презентация, доклад к уроку Основы алгебры логики

объектов окружающего мира. Например, мы знаем что если подбросить вверх камень, то он рано или поздно упадет назад. Поэтому логика позволяет строить модели окружающего мира, что позволяет предсказать те или иные действия.

Логика – наука о формах и способах мышления.

Первые учения о формах и способах рассуждения возникли в странах Древнего Востока (Китай, Индия), но в основе современной логики лежат учения, созданные древнегреческими мыслителями. Основу формальной логики заложил Аристотель, который впервые отделил логические формы мышления (речи) от его содержания.

Основные формы мышления – понятие, высказывание и умозаключение

Далее >>

понятие «компьютер» объединяет множество электронных устройств (процессор, материнская плата, ОЗУ, ПЗУ и т.д.), которые предназначены для обработки информации. Даже по этому короткому описанию компьютер трудно спутать с другими объектами, например, с механизмами, служащими для перемещения по дорогам, которые объединяются понятием «автомобиль».
Понятие имеет две стороны: содержание и объем. Содержание – совокупность существенных признаков объекта. Объем – определяется совокупностью предметов, на которую он распространяется.

Понятие – это форма мышления, фиксирующая основные существенные признаки объекта.

Понятие

Далее >>

Об объектах можно судить верно или не верно, то есть высказывание может быть истинным или ложным.
Истинное высказывание – то, в котором связь понятий правильно отражает свойства и отношения реальных вещей. Например, истинное высказывание: «Солнце светит днем».
Ложное высказывание – то, которое не соответствует реальной действительности. Пример ложного высказывания: «Солнце светит ночью».
Иногда истинность того или иного высказывания является относительной. Истинность высказываний может зависеть от взглядов людей, от конкретных обстоятельств и так далее.

Высказывание – это форма мышления, в которой что-либо утверждается или отрицается о свойствах реальных предметов и отношениях между ними. Высказывание может быть истинно или ложно.

Высказывание

Далее >>

получать заключение, то есть новое знание.
Примером умозаключения могут быть геометрические доказательства: если мы имеем суждение «Все углы треугольника равны», то путем умозаключения мы можем доказать, что в этом случае справедливо суждение «Этот треугольник равносторонний».
Посылками умозаключения по правилам формальной логики могут быть только истинные суждения.

Умозаключение – форма мышления, с помощью которой из одного или нескольких суждений (посылок) может быть получено новое суждение (заключение).

Далее >>

К началу

истинность или ложность составных высказываний, не вникая в содержание.
Истинному высказыванию соответствует значение логической переменной 1, а ложному значение 0
В алгебре высказываний высказывания обозначаются именами логических переменных, которые могут принимать лишь два значения: “истина”(1) и “ложь”(0)

Далее >>

истинно тогда и только тогда, когда истинны все входящие в него высказывания.

Далее >>

тогда и только тогда, когда истинно хотя бы одно из входящих в него простых высказываний.

Далее >>

ложное – истинным.