СУЖДЕНИЕ — это форма мышления, в которой что-либо утверждается или отрицается о предметах, признаках или их отношениях.
УМОЗАКЛЮЧЕНИЕ — форма мышления, посредством которой из одного или нескольких суждений, называемых посылками, мы по определенным правилам вывода получаем суждение-заключение.
Формы мышления
ВЫСКАЗЫВАНИЯ – это конкретные частные утверждения, о которых можно судить, истинно оно или ложно. В естественных языках высказывания выражаются повествовательными предложениями.
ПОНЯТИЕ ЛОГИЧЕСКИХ ПЕРЕМЕННЫХ
В
ы
С
К
А
З
ы
В
А
Н
И
Я
СУЖДЕНИЯ (предикаты) – это утверждения о переменных.
ПОНЯТИЕ ЛОГИЧЕСКИХ ПЕРЕМЕННЫХ
С
У
ж
Д
Е
Н
И
Я
ПОНЯТИЕ ЛОГИЧЕСКИХ ПЕРЕМЕННЫХ
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
К
В
А
Н
Т
О
Р
ы
Эта операция обозначается символами «∧» или «&».
В программировании эту операцию обозначают «AND».
КОНЪЮНКЦИЯ
Таблица истинности
Соединение двух логических переменных с помощью союза
«И» называется логическим умножением или КОНЪЮНКЦИЕЙ
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
К
О
Н
Ъ
ю
Н
К
Ц
И
Я
ДИЗЪЮНКЦИЯ
Эта операция обозначается символами «∨» или «+».
В программировании эту операцию обозначают «OR».
Таблица истинности
Соединение двух логических переменных с помощью союза
«ИЛИ» называется логическим сложением или ДИЗЪЮНКЦИЕЙ.
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
Д
И
З
Ъ
ю
Н
К
Ц
И
Я
СТРОГАЯ ДИЗЪЮНКЦИЯ
Эта операция обозначается символами «∨» или «⊕».
В программировании эту операцию обозначают «ХOR».
Таблица истинности
Соединение двух логических переменных с помощью союза
«ЛИБО…ЛИБО» называется ИСКЛЮЧАЮЩИМ ИЛИ или СТРОГОЙ ДИЗЪЮНКЦИЕЙ.
.
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
С
Т
Р
О
Г
А
Я
Д
И
З
Ъ
ю
Н
К
Ц
И
Я
Пример: Х – «Точка О является центром круга»
Инверсия: «Точка О не является центром круга»
Таблица истинности
ИНВЕРСИЯ
Присоединение частицы НЕ к логической переменной называется логическим отрицанием или ИНВЕРСИЕЙ.
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
И
Н
В
Е
Р
С
И
Я
Таблица истинности
ИМПЛИКАЦИЯ
Эта операция обозначается символами «→» или «⊃».
В программировании саму логическую операцию обозначают «IMP»,
а союз «если…,то…» заменяют связкой «IF…THEN…».
Соединение двух логических переменных с помощью союза «ЕСЛИ…, ТО…» называется логическим следованием или ИМПЛИКАЦИЕЙ.
«Из лжи – все, что угодно».
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
И
М
П
Л
И
К
А
Ц
И
Я
ЭКВИВАЛЕНТНОСТЬ
Соединение двух логических переменных с помощью союза «…ТОГДА И ТОЛЬКО ТОГДА, КОГДА» называется логическим равенством или ЭКВИВАЛЕНТНОСТЬЮ.
Эта операция обозначается символами «≡» или «↔». В программировании саму логическую операцию обозначают «EQV».
Таблица истинности
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
Э
К
В
И
В
А
Л
Е
Н
Т
Н
О
С
Т
Ь
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
ЛОГИЧЕСКИЕ ОПЕРАЦИИ
ЗАКОНЫ ЛОГИКИ
ЗАДАЧИ
ЗАДАЧИ
б) А=3010 , В=АF16, С= 568.
ЗАДАЧИ
ЗАДАЧИ
ЗАДАЧИ
ЗАДАЧИ
Решение: F=И∨П⇒С ∧ И ⇒С ответ: Иванов
ЗАДАЧИ
ЗАКЛЮЧЕНИЕ
Если не удалось найти и скачать доклад-презентацию, Вы можете заказать его на нашем сайте. Мы постараемся найти нужный Вам материал и отправим по электронной почте. Не стесняйтесь обращаться к нам, если у вас возникли вопросы или пожелания:
Email: Нажмите что бы посмотреть