3 логические операции
TRANSCRIPT
Логические операцииЛогические операцииКонъюнкция, дизъюнкция, отрицание, импликация, эквивалентность
Алгебра логикиАлгебра логикиАлгебра логики — это раздел
математической логики, значение всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1.
1 – истина, 0 - ложьАлгебра логики оперирует с
логическими высказываниями, каждое из которых обозначается латинской буквой.
Отрицание (инверсия) Отрицание (инверсия)
А НЕ А
А А
1 0
0 1
•в естественном языке соответствует союзу не; •в алгебре высказываний обозначение ; •в языках программирования обозначение not.
КОНЪЮНКЦИЯ КОНЪЮНКЦИЯ (логическое умножение)(логическое умножение)
в естественном языке соответствует союзу и;
в алгебре высказываний обозначение &, ;
в языках программирования обозначение And.
А ВВи
А В АВ
1 1 1
1 0 0
0 1 0
0 0 0
ДИЗЪЮНКЦИЯ ДИЗЪЮНКЦИЯ (логическое сложение)(логическое сложение)
в естественном языке соответствует союзу или;
обозначение v ; в языках
программирования обозначение Or.
А ВВ
или
А В АВ
1 1 1
1 0 1
0 1 1
0 0 0
ИМПЛИКАЦИЯ ИМПЛИКАЦИЯ (логическое (логическое следование)следование) в
естественном языке соответствует обороту если ..., то ...;
обозначение →
В программировании If…Then…
А В АВ
1 1 1
1 0 0
0 1 1
0 0 1
ЭКВИВАЛЕНЦИЯ ЭКВИВАЛЕНЦИЯ (равнозначность)(равнозначность)
в естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае;
обозначения ~,
В языках программирования =.
А В АВ
1 1 1
1 0 0
0 1 0
0 0 1
Порядок выполнения Порядок выполнения операцийопераций1. Отрицание (инверсия)¬2. Конъюнкция (логическое умножение)Λ3. Дизъюнкция (логическое сложение)ⅴ4. Импликация (логическое следование)→5. Эквиваленция (равнозначность)<=>
Задания Задания 1. Формализуйте предостережение, которое одна
жительница древних Афин сделала своему сыну, собиравшемуся заняться политической деятельностью: “Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя возненавидят люди или возненавидят боги”.
Формализуйте также ответ сына: “Если я буду говорить правду, то боги будут любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить правду или лгать. Значит, меня будут любить боги или меня будут любить люди”.
Задания Задания 2. Пусть А = “это утро ясное”,
а В = “это утро теплое”. Выразите следующие формулы на обычном языке:
АВ АВ АВ (АВ)
А¬В АВ АВ (АВ)
АВ АВ (АВ) (АВ)
