Урок 2 Действия с высказываниями Сложные высказывания.

Презентация:



Advertisements
Похожие презентации
Таблицы истинности Употребляемые в обычной речи логические связки в алгебре логики называются логическими операциями. Логические операции описываются.
Advertisements

Урок 5 Подготовка к зачету. Вопросы: Высказывание (определение). Пример Сложное высказывание. Пример Отрицание. Пример Конъюнкция. Пример Дизъюнкция.
АЛГЕБРА СУЖДЕНИЙ Урок 3. Алгебра суждений Алгебра суждений – это раздел логики, который изучает правила записи и преобразования высказываний. В отличии.
Элементы логики Составлено по учебнику Угринович «Информатика и информационные технологии.».
Логические операции ДЕПАРТАМЕНТ ОБРАЗОВАНИЯ И МОЛОДЁЖНОЙ ПОЛИТИКИ ХАНТЫ-МАНСИЙСКОГО АВТОНОМНОГО ОКРУГА – ЮГРЫ БЮДЖЕТНОЕ УЧРЕЖДЕНИЕ СРЕДНЕГО ПРОФЕССИОНАЛЬНОГО.
Сокращенная версия.
Логическая информация и основы логики.. Алгебра логики – это наука об общих операциях, которые могут выполняться над логическими выражениями. Логическое.
Логические операции. Сложные высказывания строятся из простых с помощью логических операций.
Элементарные логические операции инверсия дизъюнкция конъюнкция импликация эквиваленция.
АЛГЕБРА ЛОГИКИ. ЧТО ТАКОЕ АЛГЕБРА ЛОГИКИ? Алгебра логикиАлгебра логики – раздел математики, изучающий высказывания, рассматриваемые со стороны их логических.
Высказывания. 1. Понятие высказывания 2. Операции с высказываниями 3. Таблица истинности 4. Булевы функции План:
ЛогикаЛогика. Логика – это наука о формах и способах мышления. Это учение о способах рассуждений и доказательств. Мышление всегда осуществляется через.
Алгебра логики Информатика 9 класс. ИНВЕРСИЯ Логическое отрицание -ИНВЕРСИЯ Образуется из высказывания с помощью добавления частицы «НЕ» к сказуемому.
ЛОГИЧЕСКИЕ ВЫРАЖЕНИЯ И ОПЕРАЦИИ. Логическая переменная - это простое высказывание, содержащее только одну мысль. Ее символическое обозначение – латинская.
Алгебра логики – это раздел математики, изучающий высказывания, рассматриваемые со стороны их логических значений (истинности или ложности) и логических.
- в естественном языке соответствует словам не верно и частице не; - обозначение ( А, А ); - в языке программирования not; - иное название: отрицание.
Алгебра логики. - наука об общих операциях над высказываниями, позволяет определить его значение, отвлекаясь от содержания Алгебра логики Алгебра высказываний,
Основы логики и логические основы компьютера. Содержание Логическое следование (импликация) Логическое равенство (эквивалентность)
Алгебра высказываний.. Логические переменные. В алгебре высказываний простым высказываниям ставятся в соответствие логические переменные, обозначаемые.
ОСНОВЫ ЛОГИКИ Щеглетова Елена Петровна, учитель информатики школы 15.
Транксрипт:

Урок 2 Действия с высказываниями Сложные высказывания

Сложные высказывания получаются из простых с помощью логических связок, в их качестве выступают союзы и другие части речи.

; :. 1)Отрицание Логическая связка – «неверно, что…» Обозначается Это унарная операция (одна переменная) Пример: Стул стоит на полу Неверно, что стул стоит на полу («Стул не стоит на полу» – это отрицательное высказывание, но не отрицание),

; - 2) Конъюнкция. Логическая связка «и», может выражаться союзами а, а также, но и другими. Обозначается Стол стоит на полу Пример: Стол и стул стоят на полу. логическая связка выражена союзом «и» Стул стоит на полу

3) Дизъюнкция Логическая связка «или» – нестрогая дизъюнкция, Обозначается В случае строгой дизъюнкции может иметь место либо одно высказывание, либо другое. В случае нестрогой дизъюнкции может иметь место либо одно высказывание, либо другое, либо оба вместе. Логическая связка «или,… или…» – строгая дизъюнкция. Обозначается

,. :. Пример 1: Вечером я пойду в театр или на дискотеку строгая дизъюнкция : Вечером я пойду в театр : Вечером я пойду на дискотеку Логическая связка, «или,… или…» выражена союзом «или»

: Пример 2. У больного растяжение связок или ушиб. нестрогая дизъюнкция :У больного растяжение связок Логическая связка «или». :У больного ушиб.

4) Импликация. Логическая связка «если …, то…», может выражаться словами: следовательно, так как и другими. Обозначается - антецедент консеквентом

Пример. Если я сделаю уроки, то мне разрешат играть на компьютере : Я сделаю уроки – антецедент Логическая связка «если …, то…». : Мне разрешат играть на компьютере. – консеквент

5) Эквиваленция: Логическая связка «тогда и только тогда». Обозначается Пример. В нормальных условиях вода замерзает тогда и только тогда, когда температура опускается ниже 0 0. : В нормальных условиях вода замерзает. Логическая связка «тогда и только тогда». :Температура опускается ниже 0 0.