Логические операции

Содержание

Слайд 2

Алгебра логики

Алгебра логики — это раздел математической логики, значение всех элементов (функций

Алгебра логики Алгебра логики — это раздел математической логики, значение всех элементов
и аргументов) которой определены в двухэлементном множестве: 0 и 1.
1 – истина, 0 - ложь
Алгебра логики оперирует с логическими высказываниями, каждое из которых обозначается латинской буквой.

[email protected]

Слайд 3

Отрицание (инверсия)

[email protected]

А

НЕ А

в естественном языке соответствует союзу не;
в алгебре высказываний

Отрицание (инверсия) irina_zare4neva@mail.ru А НЕ А в естественном языке соответствует союзу не;
обозначение ⎤;
в языках программирования обозначение not.

Слайд 4

КОНЪЮНКЦИЯ (логическое умножение)

в естественном языке соответствует союзу и;
в алгебре высказываний обозначение

КОНЪЮНКЦИЯ (логическое умножение) в естественном языке соответствует союзу и; в алгебре высказываний
&, ∧;
в языках программирования обозначение And.

[email protected]

А

В

и

Слайд 5

ДИЗЪЮНКЦИЯ (логическое сложение)

в естественном языке соответствует союзу или;
обозначение v ;
в

ДИЗЪЮНКЦИЯ (логическое сложение) в естественном языке соответствует союзу или; обозначение v ;
языках программирования обозначение Or.

[email protected]

А

В

или

Слайд 6

ИМПЛИКАЦИЯ (логическое следование)

в естественном языке соответствует обороту если ..., то ...;
обозначение

ИМПЛИКАЦИЯ (логическое следование) в естественном языке соответствует обороту если ..., то ...;

В программировании If…Then…

[email protected]

Слайд 7

ЭКВИВАЛЕНЦИЯ (равнозначность)

в естественном языке соответствует оборотам речи тогда и только тогда; в

ЭКВИВАЛЕНЦИЯ (равнозначность) в естественном языке соответствует оборотам речи тогда и только тогда;
том и только в том случае;
обозначения ~, <=>
В языках программирования =.

[email protected]

Слайд 8

Порядок выполнения операций

1. Отрицание (инверсия)¬
2. Конъюнкция (логическое умножение)Λ
3. Дизъюнкция (логическое сложение)ⅴ
4. Импликация

Порядок выполнения операций 1. Отрицание (инверсия)¬ 2. Конъюнкция (логическое умножение)Λ 3. Дизъюнкция
(логическое следование)→
5. Эквиваленция (равнозначность)<=>

[email protected]

Слайд 9

Задания

1. Формализуйте предостережение, которое одна жительница древних Афин сделала своему сыну,

Задания 1. Формализуйте предостережение, которое одна жительница древних Афин сделала своему сыну,
собиравшемуся заняться политической деятельностью: “Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя возненавидят люди или возненавидят боги”.
Формализуйте также ответ сына: “Если я буду говорить правду, то боги будут любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить правду или лгать. Значит, меня будут любить боги или меня будут любить люди”.

[email protected]

Слайд 10

Задания

2. Пусть А = “это утро ясное”, а В = “это

Задания 2. Пусть А = “это утро ясное”, а В = “это
утро теплое”. Выразите следующие формулы на обычном языке:

[email protected]

Имя файла: Логические-операции.pptx
Количество просмотров: 27
Количество скачиваний: 0