Тема: Логика как наука. Понятие об алгебре высказываний.
Цель:
ü
ввести определение логики как науки, алгебры
логики, понятия высказывания, обозначение истинного и ложного высказывания;
ü
рассмотреть примеры высказываний и предложений,
которые высказываниями не являются.
План урока.
1.
Изучение нового материала.
2.
Выполнение заданий на закрепление.
3.
Домашнее задание.
I. Изучение нового материала.
Логика – наука о формах и способах
мышления; учение о способах рассуждений и доказательств. Законы логики
отражают в сознании человека свойства, связи и отношения объектов окружающего
мира. Логика позволяет строить формальные модели окружающего мира, отвлекаясь
от содержательной стороны.
Мышление
всегда осуществляется в каких-либо формах. Основными формами мышления являются понятие,
высказывание и умозаключение.
Понятие – это форма мышления,
фиксирующая основные, существенные признаки объекта. Например, понятие
«компьютер» объединяет множество электронных устройств, которые предназначены
для обработки информации и обладают монитором и клавиатурой.
Высказывание (суждение) – это форма
мышления, в которой что-либо утверждается или отрицается о свойствах реальных
предметов и отношениях между ними. Высказывание может быть либо истинно,
либо ложно. Под высказыванием будем понимать повествовательное
предложение, относительно которого можно сказать, истинно оно или нет. Своё понимание окружающего мира человек формулирует в форме
высказываний (суждений, утверждений). Высказывание строится на основе понятий и
по форме является повествовательным предложением. Например, высказывание «Два
умножить на два равно четырём».
Об
объектах можно судить верно, или неверно, то есть высказывание может быть истинным
или ложным.
Истинным
будет высказывание, в котором связь понятий правильно отражает свойства и
отношения реальных вещей. Например, «Процессор является устройством обработки
информации».
Ложным
высказывание будет в том случае, когда оно не соответствует реальной
действительности, например: «Процессор является устройством печати».
Употребляемые в обычной речи слова и словосочетания «не», «и», «или»,
«если…, то», и другие позволяют из уже заданных высказываний строить новые
высказывания. Такие слова называются логическими связками. Высказывания,
образованные из других высказываний с помощью логических связок, называются составными.
Например, высказывание «Процессор является устройством
обработки информации, и принтер является устройством печати» является составным
высказыванием, состоящим из двух простых, соединённым союзом «и».
Если
истинность или ложность простых высказываний устанавливается в результате
соглашения на основании здравого смысла, то истинность или ложность составных
высказываний вычисляется с помощью использования алгебры высказываний. Приведённое
выше составное высказывание истинно, так как истинны входящие в него простые
высказывания.
Умозаключение – это форма мышления, с
помощью которой из одного или нескольких суждений (посылок) может быть получено
новое суждение (заключение).
Умозаключения позволяют на основе
известных фактов, выраженных в форме суждений (высказываний), получать
заключение, то есть новое знание. Примером умозаключений могут быть
геометрические доказательства.
Например,
если мы имеем суждение «Все углы треугольника равны», то мы можем путём
умозаключения доказать, что в этом случае справедливо суждение «Этот
треугольник равносторонний».
Алгебра высказываний.
Алгебра
высказываний (алгебра логики) была разработана для того, чтобы можно было
определять истинность или ложность составных высказываний, не вникая в их содержание. Алгебра логики – раздел математической логики, изучающий строение
сложных логических высказываний и способы установления их истинности с помощью
алгебраических методов.
В
алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические
переменные, обозначаемые прописными буквами латинского алфавита. Рассмотрим
два простых высказывания:
А = «Два умножить на два равно
четырём».
В
= «Два умножить на два равно пяти».
Высказывания
могут быть истинными или ложными. Истинному высказыванию соответствует значение
логической переменной 1, а ложному – значение 0. В нашем случае первое
высказывание истинно (А=1), а второе ложно (В=0).
В алгебре высказываний высказывания обозначаются именами логических
переменных, которые могут принимать лишь два значения: «истина» (1) и «ложь»
(0).
II.
Выполнение
заданий на закрепление.
Определите,
какие из ниже приведённых фраз являются высказываниями с точки зрения алгеры
логики. Определите значение высказывания (истина или ложь).
a)
Без труда не выловишь рыбку из пруда. (истинно)
b)
Как хорошо быть генералом! (не высказывание)
c)
Революция может быть мирной и немирной. (истинно)
d)
Талант всегда пробьёт себе дорогу. (ложно)
e)
Информатика, в частности, изучает алгоритм.
(истинно)
f)
Познай самоё себя. (не высказывание)
III.
Домашняя
работа.
Работа
с конспектом.
Оставьте свой комментарий
Авторизуйтесь, чтобы задавать вопросы.