Слайд 2
Понятие логики
Наука, изучающая формы рассуждений, называется формальной логикой.
Математическая
логика использует математические методы для исследования способов построения рассуждений,
доказательств, выводов.
Одним из разделов современной математической логики является логика высказываний.
На правилах математической логики построены процессы «рассуждений» компьютера. Изучение логики высказываний поможет понять, как можно научить компьютер «думать».
Слайд 3
Понятие высказывания
Высказывание — повествовательное предложение (утверждение), о котором в
настоящее время можно сказать, истинно оно или ложно.
Об истинности
высказывания можно говорить только в настоящем времени: высказывание «Идет дождь» может быть истинным сейчас и ложным через час.
Пример: Следующие предложения являются высказываниями:
Атом водорода самый легкий (истинно).
Клетка — часть атома (ложно).
Кирилл Туровский — известный английский писатель и оратор (ложно).
При делении любого числа (кроме нуля) на само себя получается число 1 (истинно).
Слайд 4
Понятие высказывания
Как правило, высказывания обозначают заглавными латинскими буквами.
Если высказывание А истинно, пишут А = 1, если ложно — А = 0. Часто используют такие обозначения: А = true (истина)
и А = false (ложь).
Пример 2
А = «а0 равно 1»;
В = «Масса измеряется в литрах».
Для приведенного примера А = 1, В = 0.
Слайд 5
Упражнения
Определите, какие из предложений являются высказываниями, а какие
нет.
Слайд 6
Упражнения
Определите истинность высказываний.
Слайд 7
Упражнения
Какие утверждения о животных, представленных на рисунках, истинные,
а какие — ложные?
Некоторые из этих животных умеют лазать по
деревьям.
Все животные обитают в лесах.
Ни одно из животных не является домашним.
Каждое животное можно погладить.
Все люди любят мышей.
Ни одно из животных не умеет плавать.
Слайд 8
Простое высказывание - логическое высказывание, состоящее из одного
утверждения.
Сложное высказывание - логическое высказывание, состоящее из нескольких утверждения,
объединенных с помощью "связок": союзов "и", "или (либо)", частицы "не", связки "если, то" и др.
Приведите примеры простых и сложных высказываний.
1) Высказывание содержит два утверждения, объединенных "и";
2) Высказывание содержит два утверждения, объединенных "или«;
3) Высказывание содержит три утверждения, объединенных связкой "если, то«;
Слайд 9
Пример
Утверждение1: «Толя будет много готовиться самостоятельно".
Утверждение2: «Толя будет
заниматься с репетитором".
Утверждение2: «Толя поступит в ВУЗ".
Составим высказывание, которое
содержит эти три утверждения, объединенных связкой "если, то" и союзом "и"
Если Толя будет много готовиться самостоятельно и Толя будет заниматься с репетитором, то Толя поступит в ВУЗ
Если Толя будет заниматься с репетитором, то будет много готовиться самостоятельно и поступит в ВУЗ
Слайд 10
Логические операции - "связки": союзы и частицы естественного
языка, образующие из простых высказываний сложные, представленные в формальном
виде .
Слайд 11
Законы алгебры логики - законы, позволяющие преобразовывать логические
выражения.
Логическая переменная - переменная, которая может принимать значение 1
(истина) или 0 (ложь).
Связки "НЕ", "И", "ИЛИ", "ЕСЛИ,ТО" - логическими операциями
Слайд 12
Связка «И» - КОНЪЮНКЦИЯ
Обозначение «^»
Например: A^B
Утверждение A –
Миша учится в 11 классе
Утверждение B – Миша готовится
к экзаменам
A^B = Миша учится в 11 классе и Миша готовится к экзаменам
Таблица истинности
Слайд 13
Связка «ИЛИ» - ДИЗЪЮНКЦИЯ
Обозначение «v»
Например: A v B
Утверждение A – выучить отрывок поэмы
Утверждение B –
приготовить сообщение об авторе
A v B = выучить отрывок поэмы или приготовить сообщение об авторе
Таблица истинности
Слайд 14
Связка «не» - ИНВЕРСИЯ
Обозначение «¯»
Например: ¯A
Утверждение A –
выучил отрывок поэмы
¯A – не выучил отрывок поэмы
Таблица истинности
Слайд 15
Связка «ЕСЛИ,ТО» - ИМПЛИКАЦИЯ
Обозначение «→»
Например: A →
B
Утверждение A – выучить домашнее задание
Утверждение B –
получить хорошую оценку
A→ B = Если выучить домашнее задание, то получишь хорошую оценку.
Таблица истинности
