С помощью логических операций над высказываниями из заданной совокупности высказываний можно строить различные сложные высказывания. При этом порядок выполнения операций указывается скобками. Например, из трех высказываний х, у, z можно построить высказывания:
Первое из них есть дизъюнкция конъюнкции х и уиотрицания выказывания z, а второе высказывание есть импликация, посылкой которой является высказываниех,
а заключением - отрицание дизъюнкции высказывания у и конъюнкции высказываний х, z.
Всякое сложное высказывание, которое может быть получено из элементарных высказываний посредством применения логических операций отрицания, конъюнкции, дизъюнкции, импликации и эквиваленции, называется формулой алгебры логики.
Формулы алгебры логики будем обозначать большими буквами латинского алфавита А, В, С,...
Для упрощения записи формул принят ряд соглашений:
скобки можно опускать, придерживаясь следующего порядка действий:
- конъюнкция выполняется раньше, чем все остальные операции,
|
|
- дизъюнкция выполняется раньше, чем импликация и эквивалентность
- если над формулой стоит знак отрицания, то скобки тоже опускаются.
В связи с этим формулы:
могут быть записаны так:
Логическое значение формулы алгебры логики полностью определяется логическими значениями входящих в нее элементарных высказываний. Например, логическим значением формулы в случае, если х = 1, у = 1, z = 0 будет истина, то есть
Все возможные логические значения формулы, в зависимости от значений входящих в нее элементарных высказываний, могут быть описаны полностью с помощью таблицы истинности.
Например, для формулы (указан порядок действий)таблица истинности имеет вид:
х | у | |||||
Первые два столбца- это всевозможные наборы значений входящих в формулу различных простых высказываний. Легко видеть, что формула принимает 2n значений, состоящих из нулей и единиц, значит, таблица истинности содержит столько же строк.
Рассмотрим еще один пример на составление таблицы истинности:
. Таблица содержит 23 = 8 строк:
x | y | z | |||||
Задачи для самостоятельного решения
1. Какие из следующих предложений являются высказываниями:
|
|
а)Москва - столица России;
б)
в) студент физико-математического факультета;
г) 5+3 – 6;
д) Луна есть спутник Марса;
е) а>0.
2. Приведите примеры предложений, а) являющихся высказываниями; б) не являющихся высказываниями.
3. Установите, истинно или ложно высказывание:
а)
б)
4.Среди следующих высказываний указать элементарные (простые) и составные (сложные). В составных высказываниях выделить грамматические связки:
1) число 27 не делится на 3;
2) число 15 делится на 5 и на 3;
3) если число 126 делится на 9, то оно делится на 3;
4) число 7 является делителем числа 42;
5) число 1269 делится на 9 тогда и только тг когда 18 делится на 9.
5. Обозначьте элементарные высказывания буквами и запишите следующие высказывания с помощью символов алгебры логики:
1) 45 кратно 3 и 42 кратно 3;
2) 45 кратно 3 и 12 не кратно 3;
3) или
4) 2<5;
5) если число 212 делится на 3 и 4, то оно делится на 12;
6) число 212 - трехзначное и кратно 3 или 4.
6.Какие из следующих импликаций истинны:
1) если 2х2=4, то 2<3;
2) если 2х2=4, то 2>3;
3) если 2х2=5, то 2<3;
4) если 2х2=5, то 2>3?
7. Найдите логические значения х и у, при которых выполняются равенства:
8. Известно, что импликация х ® у истинна, а эквивалентность х «у ложна. Что можно сказать о значении импликации у ® х?
9. Известно, что эквивалентность х «у истинна. Что можно сказать о значении и ?
10.Известно, что х имеет значение 1. Что можно сказать о значениях импликации
11. Известно, что х ® у имеет значение 1. Что можно сказать о значениях
12. Пусть х = 0, у = 1, z = 1 Определить логические значения нижеследующих сложных высказываний:
13. Составить таблицы истинности для формул:
7)
8)
Контрольные вопросы
1. Что называется высказыванием? Обозначения высказываний.
2. Определения простого (элементарного) и сложного (составного) высказываний.
3. Логические значения высказываний.
4. Что называется отрицанием простого высказывания? Привести таблицу истинности.
5. Что называется дизъюнкцией двух простых высказываний? Привести таблицу истинности.
6. Что называется конъюнкцией двух простых высказываний? Привести таблицу истинности.
7. Что называется импликацией двух простых высказываний? Привести таблицу истинности.
8. Что называется эквиваленцией двух простых высказываний? Привести таблицу истинности.
9. Определение формулы алгебры логики.
10. В какой последовательности выполняются логические операции?