Определить тип и значение истинности. Практические задания по математической логике высказывания и операции над ними. Алгебра высказываний. Логические операции

Тема программы: Высказывания и операции над ними.

Цели урока:

1) Обобщить теоретические знания по теме: «Высказывания и операции над ними».

2) Рассмотреть алгоритмы решений заданий теме «Высказывания и операции над ними», решить задачи.

3) Формировать умение прогнозировать собственную деятельность, умение организовать свою деятельность и анализировать ее.

Время выполнения: 1 час.

Теоретические основы

Основным понятием математической логики является понятие «простого высказывания». Под высказыванием обычно понимают всякое повествовательное предложение, утверждающее что-либо о чем-либо, и при этом мы можем сказать, истинно оно или ложно в данных условиях места и времени. Логическими значениями высказываний являются «истина» и «ложь».

Примеры высказываний.
1) Москва стоит на Неве.
2) Лондон - столица Англии.
3) Сокол не рыба.
4) Число 6 делится на 2 и на 3.
Высказывания 2), 3), 4) истинны, а высказывание 1) ложно.
Очевидно, предложение «Да здравствует Россия!» не является высказыванием.
Различают два вида высказываний.
Высказывание, представляющее собой одно утверждение, принято называть простым или элементарным. Примерами элементарных высказываний могут служить высказывания 1) и 2).
Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если.... то...», «тогда и только тогда», принято называть сложными или составными.
Так, высказывание 3) получается из простого высказывания «Сокол - рыба» с помощью отрицания «не», высказывание 4) образовано из элементарных высказываний «Число 6 делится на 2», «Число 6 делится на З», соединенных союзом «и».
Аналогично сложные высказывания могут быть получены из простых высказываний с помощью грамматических связок «или», «тогда и только тогда».
В алгебре логики все высказывания рассматриваются только с точки зрения их логического значения, а от их житейского содержания отвлекаются. Считается, что каждое высказывание либо истинно, либо ложно и ни одно высказывание не может быть одновременно истинным и ложным.
Элементарные высказывания обозначаются малыми буквами латинского алфавита: х, у, z, ..., а, b, с, ...; истинное значение высказывания цифрой 1, а ложное значение - буквой цифрой 0.
Если высказывание а истинно, то будем писать а = 1 , а если а ложно, то а = 0 .

Логические операции над высказываниями

Отрицание.

Отрицанием высказывания х называется новое высказывание , которое является истинным, если высказывание х ложно, и ложным, если высказывание х истинно.

Отрицание высказывания х обозначается и читается «не х» или «неверно, что х» .

Логические значения высказывания можно описать с помощью таблицы.

Таблицы такого вида принято называть таблицами истинности.
Пусть х высказывание. Так как также является высказыванием, то можно образовать отрицание высказывания , то есть высказывание , которое называется двойным отрицанием высказывания х . Ясно, что логические значения высказываний х и совпадают.

Например, для высказывания «Путин президент России» отрицанием будет высказывание «Путин не президент России», а двойным отрицанием будет высказывание «Неверно, что Путин не президент России».

Конъюнкция.

Конъюнкцией (логическим умножением) двух высказываний х и у называется новое высказывание, которое считается истинным, если оба высказывания х и у истинны, и ложным, если хотя бы одно из них ложно.
Конъюнкция высказываний х и у обозначается символом х&у ( , ху) , читается «х и у» . Высказывания х и у называются членами конъюнкции.
Логические значения конъюнкции описываются следующей таблицей истинности:

Например, для высказываний «6 делится на 2», «6 делится на 3» их конъюнкцией будет высказывание «6 делится на 2 и 6 делится на 3», которое, очевидно, истинно.

Из определения операции конъюнкции видно, что союз «и» в алгебре логики употребляется в том же смысле, что и в повседневной речи. Но в обычной речи не принято соединять союзом «и» два высказывания далеких друг от друга по содержанию, а в алгебре логики рассматривается конъюнкция двух любых высказываний.

Дизъюнкция

Дизъюнкцией (логическим сложением) двух высказываний х и у называется новое высказывание, которое считается истинным, если хотя бы одно из высказываний х, у истинно, и ложным, если они оба ложны. Дизъюнкция высказываний х, у обозначается символом «x V у» , читается «х или у» . Высказывания х, у называются членами дизъюнкции.
Логические значения дизъюнкции описываются следующей таблицей истинности:

В повседневной речи союз «или» употребляется в различном смысле: исключающем и не исключающем. В алгебре логики союз «или» всегда употребляется в не исключающем смысле.

Импликация.

Импликацией двух высказываний х и у называется новое высказывание, которое считается ложным, если х истинно, а у - ложно, и истинным во всех остальных случаях.
Импликация высказываний х, у обозначается символом , читается«если х, то у» или «из х следует у». Высказывание х называют условием или посылкой, высказывание у - следствием или заключением, высказывание следованием или импликацией.

Логические значения операции импликации описываются следующей таблицей истинности:

Употребление слов «если.... то...» в алгебре логики отличается от употребления их в обыденной речи, где мы, как правило, считаем, что, если высказывание х ложно, то высказывание «Если х, то у» вообще не имеет смысла. Кроме того, строя предложение вида «если х, то у» в обыденной речи, мы всегда подразумеваем, что предложение у вытекает из предложения х . Употребление слов «если..., то...» в математической логике не требует этого, поскольку в ней смысл высказываний не рассматривается.
Импликация играет важную роль в математических доказательствах, так как многие теоремы формулируются в условной форме «Если х, то у». Если при этом известно, что х истинно и доказана истинность импликации , то мы вправе сделать вывод об истинности заключения у .

Эквивалентность.

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

Эквивалентность высказываний х, у обозначается символом , читается«для того, чтобы х, необходимо и достаточно, чтобы у» или «х тогда и только тогда, когда у». Высказывания х, у называются членами эквивалентности.
Логические значения операции эквивалентности описываются следующей таблицей истинности:

Эквивалентность играет важную роль в математических доказательствах. Известно, что значительное число теорем формулируется в форме необходимых и достаточных условий, то есть в форме эквивалентности. В этом случае, зная об истинности или ложности одного из двух членов эквивалентности и доказав истинность самой эквивалентности, мы зак­лючаем об истинности или ложности второго члена эквивалентности.

Практические задания

1. Установить логическую структуру следующих предложений и записать их на языке логики высказываний:

• Если металл нагревается, он плавится.
• Неправда, что философские споры неразрешимы.
• Деньги - продукт стихийного развития товарных отношений, а не результат договоренности или какого-либо иного сознательного акта.

2. Записать логической формулой следующие высказывания:

а) если на улице дождь, то нужно взять с собой зонт или остаться дома;

Б) если - прямоугольный и стороны - равны, то

3. Проверить истинность высказывания:

а) , если, .

б) , если, .

в) , если, .

4. Проверить истинность высказывания:

а) Чтобы завтра пойти на занятия, я должен встать рано. Если я сегодня пойду в кино, то лягу спать поздно. Если я лягу спать поздно, то встану поздно. Следовательно, либо я не пойду в кино, либо не пойду на занятия.

б) Я пойду либо в кино, либо в бассейн. Если я пойду в кино, то получу эстетическое удовольствие. Если я пойду в бассейн, то получу физическое удовольствие. Следовательно, если я получу физическое удовольствие, то не получу эстетического удовольствия.

5 . На вопрос: «Кто из трех студентов изучал дискретную математику?» получен верный ответ: «Если изучал первый, то изучал и третий, но неверно, что если изучал второй, то изучал и третий». Кто изучал дискретную математику?

6. Определите, кто из четырех студентов сдал экзамен, если известно:

если первый сдал, то и второй сдал;

если второй сдал, то третий сдал или первый не сдал;

если четвертый не сдал, то первый сдал, а третий не сдал;

если четвертый сдал, то и первый сдал.

Контрольные вопросы

1. Какие элементы входят язык логики?

2. Какие способы установления общезначимости формулы логики вы знаете?

Список литературы

Практические занятия № 10-11

Тема программы: Формулы алгебры высказываний.

1.1 . Какие из следующих предложений являются высказываниями?

а) Москва  столица России.

б) Студент физико-математического факультета педагогического института.

в) Треугольник ABC подобен треугольнику А"В"С".

г) Луна есть спутник Марса.

е) Кислород  газ.

ж) Каша  вкусное блюдо.

з) Математика  интересный предмет.

и) Картины Пикассо слишком абстрактны.

к) Железо тяжелее свинца.

л) Да здравствуют музы!

м) Треугольник называется равносторонним, если его стороны равны.

н) Если в треугольнике все углы равны, то он равносторонние.

о) Сегодня плохая погода.

п) В романе А. С. Пушкина «Евгений Онегин» 136 245 букв.

р) Река Ангара впадает в озеро Байкал.

Решение . б) Это предложение не является высказыванием, потому что оно ничего не утверждает о студенте.

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

ж) Предложение не является высказыванием, так как понятие «вкусное блюдо» слишком неопределенно.

п) Предложение  высказывание, но для выяснения его значения истинности нужно затратить немало времени.

1.2. Укажите, какие из высказываний предыдущей задачи истинные, а какие  ложные.

1.3. Сформулируйте отрицания следующих высказываний; укажите значения истинности данных высказываний и их отрицаний:

а) Волга впадает в Каспийское море.

б) Число 28 не делится на число 7.

д) Все простые числа нечетны.

1.4. Установите, какие из высказываний в следующих парах являются отрицаниями друг друга и какие  нет (объясните почему):

а) 2 < 0, 2 > 0. -

б) 6 < 9, 6  9.

в) «Треугольник ABC прямоугольный», «Треугольник ABC тупоугольный».

г) «Натуральное число n четно», «Натуральное число n нечетно».

д) «Функция f нечетна», «Функция f четна».

е) «Все простые числа нечетны», «Все простые числа четны».

ж) «Все простые числа нечетны», «Существует простое четное число».

з) «Человеку известны все виды животных, обитающих на Земле», «На Земле существует вид животных, не известный человеку».

и) «Существуют иррациональные числа», «Все числа рациональные».

Решение. а) Высказывание «2 > 0» не является отрицанием "высказывания «2 < 0», потому что требование не быть меньше 0 оставляет две возможности: быть равным 0 и быть больше 0. Таким образом, отрицанием высказывания «2 < 0» является высказывание «2  0».

1.5. Следующие высказывания запишите без знака отрицания:

а)
; в)
;

б)
; г)
.

1.6.

а) Ленинград расположен на Неве и 2 + 3 = 5.

б) 7  простое число и 9  простое число.

в) 7  простое число или 9  простое число.

г) Число 2 четное или это число простое.

д) 2  3, 2  3, 2 2  4, 2 2  4.

е) 2 2 = 4 или белые медведи живут в Африке.

ж) 2 2 = 4, и 2 2  5, и 2 2  4.

Решение. а) Так как оба простых высказывания, к которым применяется операция конъюнкции, истинны, поэтому на основании определения этой операции и их конъюнкция есть истинное высказывание.

1.7. Определите значения истинности высказываний А, В, С, D и Е, если:

 истинные высказывания, а

 ложные.

Решение. в) Дизъюнкция высказываний есть истинное высказывание лишь в случае, когда по меньшей мере одно из входящих в дизъюнкцию составляющих высказываний (членов дизъюнкции) истинно. В нашем случае второе составляющее высказывание «2 2 = 5» ложно, а дизъюнкция двух высказываний истинна. Поэтому первое составляющее высказывание С истинно.

1.8. Сформулируйте и запишите в виде конъюнкции или дизъюнкции условие истинности каждого предложения (а и b - действительные числа):

а)
г)ж)

б)
д)
з)

в)
е)
и)

Решение. г) Дробь равна нулю лишь в случае, когда числитель равен нулю и знаменатель не равен нулю, т. е. (а = 0) & (b  0).

1.9. Определите значения истинности следующих высказываний:

а) Если 12 делится на 6, то 12 делится на 3.

б) Если 11 делится на 6, то 11 делится на 3.

в) Если 15 делится на 6, то 15 делится на 3.

г) Если 15 делится на 3, то 15 Делится на 6.

д) Если Саратов расположен на Неве, то белые медведи обитают в Африке.

е) 12 делится на 6 тогда и только тогда, когда 12 делится на 3.

ж) 11 делится на 6 тогда и только тогда, когда 11 делится на 3.

з) 15 делится на 6 тогда и только тогда, когда 15 делится на 3.

и) 15 делится на 5 тогда и только тогда, когда 15 делится на 4.

к) Тело массой m обладает потенциальной энергией mgh тогда и только тогда, когда оно находится на высоте h над поверхностью земли.

Решение. а) Так как высказывание-посылка «12 делится на 6» истинно и, высказывание-следствие «12 делится на 3» истинно, то и составное высказывание на основании определения импликации также истинно.

ж) Из определения эквивалентности видим, что высказывание вида
истинно, если логические значения высказыванийР и Q совпадают, и ложно в противном случае. В данном примере оба высказывания к которым применяется связка «тогда и только тогда», ложны. Поэтому все составное высказывание истинно.

1.10. Пусть через А обозначено высказывание «9 делится на 3», а через В  высказывание «8 делится на 3». Определите значения истинности следующих высказываний:

а)
г)
ж)
к)

б)
д)
з)
л)

в)
е)
и)
м)

Решение. е) Имеем
,
. Поэтому

1.11.

а) Если 4  четное число, то А.

б) Если В, то 4  нечетное число.

в) Если 4  четное число, то С.

г) Если D, то 4  нечетное число.

Решение. а) Импликация двух высказываний есть ложное высказывание лишь в единственном случае, когда посылка истинна, а заключение ложно. В данном случае посылка «4  четное число» истинна и по условию все высказывание также истинно. Поэтому заключение А ложным быть не может, т. е. высказывание А истинно.

1.12. Определите значения истинности высказываний А, В, С и D в следующих предложениях, из которых первые два истинны, а последние два ложны:

а)
; б)
;

в)
; г)
.

1.13. Пусть через А обозначено высказывание «Этот треугольник равнобедренный», а через В  высказывание «Этот треугольник равносторонний». Прочитайте следующие высказывания:

а)
г)

б)
д)

в)
е)

Решение. е) Если треугольник равнобедренный и неравносторонний, то неверно, что он неравнобедренный.

1.14. Следующие составные высказывания расчлените на простые и запишите символически, введя буквенные обозначения для простых их составляющих:

а) Если 18 делится на 2 и не делится на 3, то оно не делится на 6.

б) Произведение трех чисел равно нулю тогда и только тогда, когда одно из них равно нулю.

в) Если производная функция в точке равна нулю и вторая производная этой функции в той же точке отрицательна, то данная точка есть точка максимума этой функции.

г) Если в треугольнике медиана не является высотой и биссектрисой, то этот треугольник не равнобедренный и не равносторонний.

Решение. г) Выделим и следующим образом обозначим простейшие составляющие высказывания:

А: «В треугольнике медиана является высотой»;

В: «В треугольнике медиана является биссектрисой»;

С: «Этот треугольник равнобедренный»;

D: «Этот треугольник равносторонний».

Тогда данное высказывание символически записывается так:

1.15. Из двух данных высказываний А и В постройте составное высказывание с помощью операций отрицания, конъюнкции и дизъюнкции, которое было бы:

а) истинно тогда и только тогда, когда оба данных высказывания ложны;

б) ложно тогда и только тогда, когда оба данных высказывания истинны.

1.16. Из трех данных высказываний А, В, С постройте составное высказывание, которое истинно, когда истинно какое-либо одно из данных высказываний, и только в этом случае.

1.17. Пусть высказывание
истинно. Что можно сказать о логическом значении высказывания?

1.18. Если высказывание
истинно (ложно), то что можно сказать о логическом значении высказываний:

а)
; б)
; в)
; г)
?

1.19. Если высказывание
истинно, а высказывание
ложно, то что можно сказать о логическом значении высказывания
?

1.20. Существуют ли три таких высказывания А, В, С, чтобы одновременно высказывание
было истинным, высказывание
 ложным и высказывание
 ложным?

1.21. Для каждого из помещенных ниже высказываний определите, достаточно ли приведенных сведений, чтобы установить его логическое значение. Если достаточно, то укажите это значение. Если недостаточно, то покажите, что возможны и одно, и другое истинностные значения:

Решение. а) Поскольку заключение импликации истинно, то и вся импликация будет истинным высказыванием независимо от логического значения посылки.

Свойства

Рассмотрим несколько свойств декартова произведения:

1. Если A ,B - конечные множества, то A ×B - конечное. И наоборот, если одно из множеств-сомножителей бесконечное, то и результат их произведения - бесконечное множество.

2. Количество элементов в декартовом произведении равно произведению чисел элементов множеств-сомножителей (в случае их конечности, разумеется): |A ×B |=|A |⋅|B | .

3. A np ≠(A n ) p - в первом случае целесообразно рассмотреть результат декартова произведения как матрицу размеров 1×np , во втором же - как матрицу размеров n ×p .

4. Коммутативный закон не выполняется, т.к. пары элементов результата декартова произведения упорядочены: A ×B ≠B ×A .

5. Ассоциативный закон не выполняется: (A ×B )×C ≠A ×(B ×C ) .

6. Имеет место дистрибутивность относительно основных операциях на множествах: (A ∗B )×C =(A ×C )∗(B ×C ),∗∈{∩,∪,∖}

11. Понятие высказывания. Элементарные и составные высказывания.

Высказывание - это утверждение или повествовательное предложение, о котором можно сказать, что оно истинно (И-1) или ложно (Л-0), но не то и другое одновременно.

Например, «Сегодня идет дождь», «Иванов выполнил лабораторную работу №2 по физике».

Если у нас имеется несколько исходных высказываний, то из них при помощи логических союзов или частиц мы можем образовывать новые высказывания, истинностное значение которых зависит только от истинностных значений исходных высказываний и от конкретных союзов и частиц, которые участвуют в построении нового высказывания. Слова и выражения «и», «или», «не», «если... , то», «поэтому», «тогда и только тогда» являются примерами таких союзов. Исходные высказывания называются простыми , а построенные из них с помощью тех или иных логических союзов новые высказывания - составными . Разумеется, слово «простые» никак не связано с сутью или структурой исходных высказываний, которые сами могут быть весьма сложными. В данном контексте слово «простой» является синонимом слова «исход-ный». Важно то, что значения истинности простых высказываний предполагаются известными или заданными; в любом случае они никак не обсуждаются.

Хотя высказывание типа «Сегодня не четверг» не составлено из двух различных простых высказываний, для единообразия конструкции оно также рассматривается как составное, по-скольку его истинностное значение определяется истинностным значением другого высказыва-ния «Сегодня четверг»

Пример 2. Cледующие высказывания рассматриваются как составные:

Я читаю «Московский комсомолец» и я читаю «Коммерсант».

Если он сказал это, значит, это верно.

Солнце не является звездой.

Если будет солнечно и температура превысит 25 0 , я приеду поездом или автомобилем

Простые высказывания, входящие в составные, сами по себе могут быть совершенно произвольными. В частности, они сами могут быть составными. Описываемые ниже базисные типы составных высказываний определяются независимо от образующих их простых высказываний.

12. Операции над высказываниями.

1. Операция отрицания.

Отрицанием высказывания А (читается «не А », «неверно, что А »), которое истинно, когда А ложно и ложно, когда А – истинно.

Отрицающие друг друга высказывания А и называются противоположными.

2. Операция конъюнкции .

Конъюнкцией высказываний А и В называется высказывание, обозначаемое А В (читается «А и В »), истинные значения которого определяются в том и только том случае, когда оба высказывания А и В истинны.

Конъюнкцию высказываний называют логическим произведением и часто обозначают АВ.

Пусть дано высказывание А – «в марте температура воздуха от 0 С до +7 С » и высказывание В – «в Витебске идет дождь». Тогда А В будет следующей: «в марте температура воздуха от 0 С до +7 С и в Витебске идет дождь». Данная конъюнкция будет истинной, если будут высказывания А и В истинными. Если же окажется, что температура была меньше 0 С или в Витебске не было дождя, то А В будет ложной.

3 . Операция дизъюнкции .

Дизъюнкцией высказываний А и В называется высказывание А В (А или В ), которое истинно тогда и только тогда, когда хотя бы одно из высказываний истинно и ложно – когда оба высказывания ложны.

Дизъюнкцию высказываний называют также логической суммой А+В.

Высказывание «4<5 или 4=5 » является истинным. Так как высказывание «4<5 » – истинное, а высказывание «4=5 » – ложное, то А В представляет собой истинное высказывание «4 5 ».

4 . Операция импликации .

Импликацией высказываний А и В называется высказывание А В («если А , то В », «из А следует В »), значение которого ложно тогда и только тогда, когда А истинно, а В ложно.

В импликации А В высказывание А называют основанием, или посылкой, а высказывание В – следствием, или заключением.

13. Таблицы истинности высказываний.

Таблица истинности - это таблица, устанавливающая соответствие между всеми возможными наборами логических переменных, входящих в логическую функцию и значениями функции.

Таблицы истинности применяются для:

Вычисления истинности сложных высказываний;

Установления эквивалентности высказываний;

Определения тавтологий.

Установление истинности сложных высказываний.

Пример 1. Установить истинность высказывания · С

Решение. В состав сложного высказывания входят 3 простых высказывания: А, В, С. В таблице заполняются колонки значениями (0, 1). Указываются все возможные ситуации. Простые высказывания от сложных отделяются двойной вертикальной чертой.
При составлении таблицы надо следить за тем, чтобы не перепутать порядок действий; заполняя столбцы, следует двигаться “изнутри наружу”, т.е. от элементарных формул к более и более сложным; столбец, заполняемый последним, содержит значения исходной формулы.

Из таблицы видно, что данное высказывание истинно только в случае, когда А=0, В=1, С=1. Во всех остальных случаях оно ложно.

14. Равносильные формулы.

Две формулы А и В называются равносильными, если они принимают одинаковые логические значения при любом наборе значений входящих в формулу элементарных высказываний.

Равносильность обозначается знаком « ». Для преобразования формул в равносильные важную роль играют основные равносильности, выражающие одни логические операции через другие, равносильности, выражающие основные законы алгебры логики.

Для любых формул А , В , С справедливы равносильности.

I. Основные равносильности

закон идемпотентности

1-истина

0-ложь

Закон противоречия

Закон исключенного третьего

закон поглощения

формулы расщепления

закон склеивания

II. Равносильности, выражающие одни логические операции через другие.

закон де Моргана

III. Равносильности, выражающие основные законы алгебры логики.

коммутативный закон

ассоциативный закон

дистрибутивный закон

15. Формулы логики высказываний.

Виды формул классической логики высказываний – в логике высказываний различают следующие виды формул:

1. Законы (тождественно-истинные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «истинно» ;

2. Противоречия (тождественно-ложные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «ложно» ;

3. Выполнимые формулы – такие, которые принимают значение «истинно» хотя бы при одном наборе значений истинности входящих в их состав пропозициональных переменных.

Основные законы классической логики высказываний:

1. Закон тождества: ;

2. Закон противоречия: ;

3. Закон исключенного третьего: ;

4. Законы коммутативности и : , ;

5. Законы дистрибутивности относительно ,и наоборот: , ;

6. Закон удаления истинного члена конъюнкции: ;

7. Закон удаления ложного члена дизъюнкции: ;

8. Закон контрапозиции: ;

9. Законы взаимовыразимости пропозициональных связок: , , , , , .

Процедура разрешимости – метод, позволяющий для каждой формулы установить является она законом, противоречием или выполнимой формулой. Самой распространенной процедурой разрешимости является метод истинностных таблиц. Однако он не единственный. Эффективным методом разрешимости является метод нормальных форм для формул логики высказываний. Нормальной формой формулы логики высказываний является форма, не содержащая знака импликации « ». Различают конъюнктивную и дизъюнктивную нормальные формы. Конъюнктивная форма содержит только знаки конъюнкции « ». Если в формуле, приведенной к конъюнктивной нормальной форме, встречается подформула вида , то вся формула в этом случае является противоречием . Дизъюнктивная форма содержит только знаки дизъюнкции « ». Если в формуле, приведенной к дизъюнктивной нормальной форме, встречается подформула вида , то вся формула в этом случае является законом . Во всех остальных случаях формула является выполнимой формулой .

16. Предикаты и операции над ними. Кванторы.

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

В зависимости от числа переменных, входящих в предложение, различают одноместные, двухместные, трехместные и т.д. предикаты, обозначаемые соответственно: А(х ), В(х , у ), С(х , у , z ).

Если задан некоторый предикат, то с ним связаны два множества:

1. Множество (область) определения Х , состоящее из всех значений переменных, при подстановке которых в предикат последний обращается в высказывание. При задании предиката обычно указывают его область определения.

2. Множество истинности Т, состоящее из всех тех значений переменных, при подстановке которых в предикат получается истинное высказывание.

Множество истинности предиката всегда является подмножеством его области определения, то есть .

Над предикатами можно совершать те же операции, что и над высказываниями.

1. Отрицанием предиката А(х ), заданного на множестве Х, называется предикат , истинный при тех значениях , при которых предикат А(х ) обращается в ложное высказывание, и наоборот.

Из данного определения следует, что предикаты А(х ) и В(х ) не являются отрицаниями друг друга, если найдется хотя бы одно значение , при котором предикаты А(х ) и В(х ) обращаются в высказывания с одинаковыми значениями истинности.

Множество истинности предиката является дополнением к множеству истинности предиката А(х ). Обозначим через Т А множество истинности предиката А(х ), а через Т - множество истинности предиката . Тогда .

2. Конъюнкцией предикатов А(х ) и В(х х ) В(х х Х, при которых оба предиката обращаются в истинные высказывания.

Множество истинности конъюнкции предикатов есть пересечение множеств истинности предиката А(х ) В(х ). Если обозначить множество истинности предиката А(х) через Т А, а множество истинности предиката В(х) через Т В и множество истинности предиката А(х) В(х) через , то

3. Дизъюнкцией предикатов А(х) и В(х ), заданных на множестве Х, называется предикат А(х ) В(х ), обращающийся в истинное высказывание при тех и только тех значениях х Х, при которых хотя бы один из предикатов обратился в истинное высказывание.

Множество истинности дизъюнкции предикатов есть объединение множеств истинности образующих ее предикатов, т.е. .

4.Импликацией предикатов А(х ) и В(х ), заданных на множестве Х, называется предикат А(х ) В(х ), который ложен при тех и только тех значениях переменной, при которых первый предикат обращается в истинное высказывание, а второй – в ложное.

Множество истинности импликации предикатов есть объединение множества истинности предиката В(х ) с дополнением к множеству истинности предиката А(х ), т.е.

5. Эквиваленцией предикатов А(х ) и В(х ), заданных на множестве Х, называется предикат , который обращается в истинное высказывание при всех тех и только тех значениях переменной, при которых оба предиката обращаются либо в истинные высказывания, либо в ложные высказывания.

Множество истинности эквиваленции предикатов есть пересечение множества истинности предиката с множеством истинности предиката .

Кванторные операции над предикатами

Предикат можно перевести в высказывание способом подстановки и способом «навешивание квантора».

Про числа 2, 3, 5, 7, 11, 13, 17, 19, 23, 29 можно сказать: а) все данные числа простые; б) некоторые из данных чисел четные.

Так как относительно этих предложений можно сказать, что они истинны или ложны, то полученные предложения – высказывания.

Если из предложения «а» убрать слово «все», а из предложения «б» - слово «некоторые», то получим следующие предикаты: «данные числа простые», «данные числа нечетные».

Слова «все» и «некоторые» называются кванторами. Слово «квантор» латинского происхождения и означает «сколько», т. е. квантор показывает, о скольких (всех или некоторых) объектах говорится в том или ином предложении.

Различают два основных вида кванторов: квантор общности и квантор существования.

Термины «всякий», «любой», «каждый» носят название – квантор всеобщности. Обозначается .

Пусть А(х ) – определенный предикат, заданный на множестве Х. Под выражением А(х ) будем понимать высказывание истинное, когда А(х ) истинно для каждого элемента из множества Х, и ложное в противном случае.R .

В примере 1 для R 1 область определения: , множество значений - . Для R 2 область определения: , множество значений: .

Во многих случаях удобно использовать графическое изображение бинарного отношения. Оно осуществляется двумя способами: с помощью точек на плоскости и с помощью стрелок.

В первом случае выбирают две взаимно перпендикулярные линии в качестве горизонтальной и вертикальной осей. На горизонтальной оси откладывают элементы множества A и через каждую точку проводят вертикальную линию. На вертикальной оси откладывают элементы множества B , через каждую точку проводят горизонтальную линию. Точки пересечения горизонтальных и вертикальных линий изображают элементы прямого произведения

18. Способы задания бинарных отношений.

Всякое подмножество декартова произведения A×B называется бинарным отношением, определенным на паре множеств A и B (по латыни «бис» обозначает «дважды»). В общем случае по аналогии с бинарными можно рассматривать и n-арные отношения как упорядоченные последовательностиn элементов, взятых по одному из n множеств.

Для обозначения бинарного отношения применяют знак R. Поскольку R- это подмножество множества A×B, то можно записать R⊆A×. Если же требуется указать, что (a, b) ∈ R, т. е. между элементами a ∈ A и b ∈ B существует отношение R, то пишут aRb.

Способы задания бинарных отношений:

1. Это использование правила, согласно которому указываются все элементы, входящие в данное отношение. Вместо правила можно привести список элементов заданного отношения путем непосредственного их перечисления;

2. Табличный, в виде графов и с помощью сечений. Основу табличного способа составляет прямоугольная система координат, где по одной оси откладываются элементы одного множества, по второй - другого. Пересечения координат образуют точки, обозначающие элементы декартова произведения.

На (рисунке 1.16) изображена координатная сетка для множеств. Точкам пересечения трех вертикальных линий с шестью горизонтальными соответствуют элементы множества A×B. Кружочками на сетке отмечены элементы отношения aRb, где a ∈ A и b ∈ B, R обозначает отношение «делит».

Бинарные отношения задаются двухмерными системами координат. Очевидно, что все элементы декартова произведения трех множеств аналогично могут быть представлены в трехмерной системе координат, четырех множеств- в четырехмерной системе и т. д;

3. Способ задания отношений с помощью сечений используется реже, поэтому рассматривать его не будем.

19. Рефлексивность бинарного отношения. Пример.

В математике бинарное отношение на множестве называется рефлексивным, если всякий элемент этого множества находится в отношении с самим собой.

Свойство рефлексивности при заданных отношениях матрицей характеризуется тем, что все диагональные элементы матрицы равняются 1; при заданных отношениях графом каждый элемент имеет петлю - дугу (х, х).

Если это условие не выполнено ни для какого элемента множества, то отношение называется антирефлексивным.

Если антирефлексивное отношение задано матрицей, то все диагональные элементы являются нулевыми. При задании такого отношения графом каждая вершина не имеет петли - нет дуг вида (х, х).

Формально антирефлексивность отношения определяется как: .

Если условие рефлексивности выполнено не для всех элементов множества, говорят, что отношение нерефлексивно.

©2015-2019 сайт
Все права принадлежать их авторам. Данный сайт не претендует на авторства, а предоставляет бесплатное использование.
Дата создания страницы: 2016-04-12

Логика высказываний , называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций.

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

Рисунок сверху - иллюстрация явления, известного как "Парадокс лжеца". При этом, на взгляд автора проекта, такие парадоксы возможны только в средах, несвободных от политических заморочек, где на ком-то могут априори поставить клеймо лжеца. В естественном многослойном мире на предмет "истины" или "лжи" оцениваются только отдельно взятые высказывания . И далее на этом уроке вам представится возможность самим оценить на этот предмет немало высказываний (а затем посмотреть правильные ответы). В том числе сложных высказываний, в которых более простые связаны между собой знаками логических операций. Но прежде рассмотрим сами эти операции над высказываниями.

Логика высказываний применяется в информатике и программировании в виде объявления логических переменных и присвоения им логических значений "ложь" или "истина", от которых зависит ход дальнейшего исполнения программы. В небольших программах, где задействована лишь одна логическая переменная, этой логической переменной часто даётся имя, например, "флаг" ("flag") и подразумевается, что "флаг поднят", когда значение этой переменной - "истина" и "флаг опущен", когда значение этой переменной - "ложь". В программах большого объёма, в которых несколько или даже очень много логических переменных, от профессионалов требуется придумывать имена логических переменных, имеющих форму высказываний и смысловую нагрузку, отличающую их от других логических переменных и понятных другим профессионалам, которые будут читать текст этой программы.

Так, может быть объявлена логическая переменная с именем "ПользовательЗарегистрирован" (или его англоязычный аналог), имеющая форму высказывания, которой может быть присвоено логическое значение "истина" при выполнении условий, что данные для регистрации отправлены пользователем и эти данные программой признаны годными. В дальнейших вычислениях значения переменных могут меняться в зависимости от того, какое логическое значение ("истина" или "ложь") имеет переменная "ПользовательЗарегистрирован". В других случах переменной, например, с именем "ДоДняХОсталосьБолееТрёхДней", может быть присвоено значение "Истина" до некоторого блока вычислений, а в ходе дальнейшего исполнения программы это значение может сохраняться или меняться на "ложь" и от значения этой переменной зависит ход дальнейшего исполнения программы.

Если в программе используются несколько логических переменных, имена которых имеют форму высказываний, и из них строятся более сложные высказывания, то намного проще разрабатывать программу, если перед её разработкой записать все операции с высказываний в виде формул, применяемых в логике высказываний, чем мы в ходе этого урока и займёмся.

Логические операции над высказываниями

Для математических высказываний всегда можно сделать выбор между двумя различными альтернативами "истина" и "ложь", а для высказываний, сделанных на "словесном" языке, понятия "истинности" и "ложности" несколько более расплывчаты. Однако, например, такие словесные формы, как "Иди домой" и "Идёт ли дождь?", не являются высказываниями. Поэтому понятно, что высказываниями являются такие словесные формы, в которых что-либо утверждается . Не являются высказываниями вопросительные или восклицательные предложения, обращения, а также пожелания или требования. Их невозможно оценить значениями "истина" и "ложь".

Высказывания же, напротив, можно рассмотривать как величину, которая может принимать два значения: "истина" и "ложь".

Например, даны суждения: "собака - животное", "Париж - столица Италии", "3

Первое из этих высказываний может быть оценено символом "истина", второе - "ложь", третье - "истина" и четвёртое - "ложь". Такая трактовка высказываний составляет предмет алгебры высказываний. Будем обозначать высказывания большими латинскими буквами A , B , ..., а их значения, то есть истину и ложь, соответственно И и Л . В обычной речи употребляются связи между высказываниями "и", "или" и другие.

Эти связи позволяют, соединяя между собой различные высказывания, образовывать новые высказывания - сложные высказывания . Например, связка "и". Пусть даны высказывания: "π больше 3" и высказывание "π меньше 4". Можно организовывать новое - сложное высказывание "π больше 3 и π меньше 4". Высказывание "если π иррационально, то π ² тоже иррационально" получается связыванием двух высказываний связкой "если - то". Наконец, мы можем получить из какого-либо высказывания новое - сложное высказывание - отрицая первоначальное высказывание.

Рассматривая высказывания как величины, принимающие значения И и Л , мы определим далее логические операции над высказываниями , которые позволяют из данных высказываний получать новые - сложные высказывания.

Пусть даны два произвольных высказывания A и B .

1 . Первая логическая операция над этими высказываниями - конъюнкция - представляет собой образование нового высказывания, которое будем обозначать A ∧ B и которое истинно тогда и только тогда, когда A и B истинны. В обычной речи этой операции соответствует соединение высказываний связкой "и".

Таблица истинности для конъюнкции:

2 . Вторая логическая операция над высказываниями A и B - дизъюнкция, выражаемая в виде A ∨ B , определяется следующим образом: оно истинно тогда и только тогда, когда хотя бы одно из первоначальных высказываний истинно. В обычной речи эта операция соответствует соединению высказываний связкой "или". Однако здесь мы имеем не разделительное "или", которое понимается в смысле "либо-либо", когда A и B не могут быть оба истинны. В определении логики высказываний A ∨ B истинно и при истинности лишь одного из высказываний, и при истинности обоих высказываний A и B .

Таблица истинности для дизъюнкции:

3 . Третья логическая операция над высказываниями A и B , выражаемая в виде A → B ; полученное таким образом высказывание ложно тогда и только тогда, когда A истинно, а B ложно. A называется посылкой , B - следствием , а высказывание A → B - следованием , называемая также импликацией. В обычной речи эта операция соответствует связке "если - то": "если A , то B ". Но в определении логики высказываний это высказывание всегда истинно независимо от того, истинно или ложно высказывание B . Это обстоятельство можно кратко сформулировать так: "из ложного следует всё, что угодно". В свою очередь, если A истинно, а B ложно, то всё высказывание A → B ложно. Оно будет истинным тогда и только тогда, когда и A , и B истинны. Кратко это можно сформулировать так: "из истинного не может следовать ложное".

Таблица истинности для следования (импликации):

4 . Четвёртая логическая операция над высказываниями, точнее над одним высказыванием, называется отрицанием высказывания A и обозначается ~ A (можно встретить также употребление не символа ~, а символа ¬, а также верхнего надчёркивания над A ). ~ A есть высказывание, которое ложно, когда A истинно, и истинно, когда A ложно.

Таблица истинности для отрицания:

5 . И, наконец, пятая логическая операция над высказываниями называется эквивалентностью и обозначается A ↔ B . Полученное таким образом высказывание A ↔ B есть высказывание истинное тогда и только тогда, когда A и B оба истинны или оба ложны.

Таблица истинности для эквивалентности:

В большинстве языков программирования есть специальные символы для обозначения логических значений высказываний, записываются они почти во всех языках как true (истина) и false (ложь).

Подытожим вышесказанное. Логика высказываний изучает связи, которые полностью определяются тем, каким образом одни высказывания строятся из других, называемых элементарными. Элементарные высказывания при этом рассматриваются как целые, не разложимые на части.

Систематизируем в таблице ниже названия, обозначения и смысл логических операций над высказываниями (они нам вскоре вновь понадобятся для решения примеров).

Для логических операций верны законы алгебры логики , которые можно использовать для упрощения логических выражений. При этом следует отметить, что в логике высказываний отвлекаются от смыслового содержания высказывания и ограничиваются рассмотрением его с той позиции, что оно либо истинно, либо ложно.

Пример 1.

1) (2 = 2) И (7 = 7) ;

2) Не(15 ;

3) ("Сосна" = "Дуб") ИЛИ ("Вишня" = "Клён") ;

4) Не("Сосна" = "Дуб") ;

5) (Не(15 20) ;

6) ("Глаза даны, чтобы видеть") И ("Под третьим этажом находится второй этаж") ;

7) (6/2 = 3) ИЛИ (7*5 = 20) .

1) Значение высказывания в первых скобках равно "истина", значение выражения во вторых скобках - также истина. Оба высказывания соединены логической операцией "И" (смотрим правила для этой операции выше), поэтому логическое значение всего данного высказывания - "истина".

2) Значение высказывания в скобках - "ложь". Перед этим зтим высказыванием стоит логическая операция отрицания, поэтому логическое значение всего данного высказывания - "истина".

3) Значение высказывания в первых скобках - "ложь", значение высказывания во вторых скобках - также "ложь". Высказывания соединены логической операцией "ИЛИ" и ни одно из высказываний не имеет значения "истина". Поэтому логическое значение всего данного высказывания - "ложь".

4) Значение высказывания в скобках - "ложь". Перед этим высказыванием стоит логическая операция отрицания. Поэтому логическое значение всего данного высказывания - "истина".

5) В первых скобках отрицается высказывание во внутренних скобках. Это высказывание во внутренних скобках имеет значение "ложь", следовательно, его отрицание будет иметь логическое значение "истина". Высказывание во вторых скобках имеет значение "ложь". Два этих высказывания соединены логической операцией "И", то есть получается "истина И ложь". Следовательно, логическое значение всего данного высказывания - "ложь".

6) Значение высказывания в первых скобках - "истина", значение высказывания во вторых скобках - также "истина". Два этих высказывания соединены логической операцией "И", то есть получается "истина И истина". Следовательно, логическое значение всего данного высказывания - "истина".

7) Значение высказывания в первых скобках - "истина". Значение высказывания во вторых скобках - "ложь". Два этих высказывания соединены логической операцией "ИЛИ", то есть получается "истина ИЛИ ложь". Следовательно, логическое значение всего данного высказывания - "истина".

Пример 2. Запишите с помощью логических операций следующие сложные высказывания:

1) "Пользователь не зарегистрирован";

2) "Сегодня воскресенье и некоторые сотрудники находятся на работе";

3) "Пользователь зарегистрирован тогда и только тогда, когда отправленные пользователем данные признаны годными".

1) p - одиночное высказывание "Пользователь зарегистрирован", логическая операция: ;

2) p - одиночное высказывание "Сегодня воскресенье", q - "Некоторые сотрудники находятся на работе", логическая операция: ;

3) p - одиночное высказывание "Пользователь зарегистрирован", q - "Отправленные пользователем данные признаны годными", логическая операция: .

Решить примеры на логику высказываний самостоятельно, а затем посмотреть решения

Пример 3. Вычислите логические значения следующих высказываний:

1) ("В минуте 70 секунд") ИЛИ ("Работающие часы показывают время") ;

2) (28 > 7) И (300/5 = 60) ;

3) ("Телевизор - электрический прибор") И ("Стекло - дерево") ;

4) Не((300 > 100) ИЛИ ("Жажду можно утолить водой")) ;

5) (75 < 81) → (88 = 88) .

Пример 4. Запишите с помощью логических операций следующие сложные высказывания и вычислите их логические значения:

1) "Если часы неправильно показывают время, то можно невовремя прийти на занятия";

2) "В зеркале можно увидеть своё отражение и Париж - столица США";

Пример 5. Определите логическое значение выражения

(p → q ) ↔ (r → s ) ,

p = "278 > 5" ,

q = "Яблоко = Апельсин" ,

p = "0 = 9" ,

s = "Шапка покрывает голову" .

Формулы логики высказываний

Понятие логической формы сложного высказывания уточняется с помощью понятия формулы логики высказываний .

В примерах 1 и 2 мы учились записывать с помощью логических операций сложные высказывания. Вообще-то они называются формулами логики высказываний.

Для обозначения высказываний, как и упомянутом примере, будем продолжать использовать буквы

p , q , r , ..., p 1 , q 1 , r 1 , ...

Эти буквы будут играть роль переменных, принимающих в качестве значений истинностные значения "истина" и "ложь". Эти переменные называются также пропозициональными переменными. Мы будем далее называть их элементарными формулами или атомами .

Для построения формул логики высказываний кроме указанных выше букв используются знаки логических операций

~, ∧, ∨, →, ↔,

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

Понятие формулы логики высказываний определим следуюшим образом:

1) элементарные формулы (атомы) являются формулами логики высказываний;

2) если A и B - формулы логики высказываний, то ~A , (A ∧ B ) , (A ∨ B ) , (A → B ) , (A ↔ B ) тоже являются формулами логики высказываний;

3) только те выражения являются формулами логики высказываний, для которых это следует из 1) и 2).

Определение формулы логики высказываний содержит перечисление правил образования этих формул. Согласно определению, всякая формула логики высказываний либо есть атом, либо образуется из атомов в результате последовательного применения правила 2).

Пример 6. Пусть p - одиночное высказывание (атом) "Все рациональные числа являются действительными", q - "Некоторые действительные числа - рациональные числа", r - "некоторые рациональные числа являются действительными". Переведите в форму словесных высказываний следующие формулы логики высказываний:

6) .

1) "нет действительных чисел, которые являются рациональными";

2) "если не все рациональные числа являются действительными, то нет рациональных чисел, являющихся действительными";

3) "если все рациональные числа являются действительными, то некоторые действительные числа - рациональные числа и некоторые рациональные числа являются действительными";

4) "все действительные числа - рациональные числа и некоторые действительные числа - рациональные числа и некоторые рациональные числа являются действительными числами";

5) "все рациональные числа являются действительными тогда и только тогда, когда не имеет место быть, что не все рациональные числа являются действительными";

6) "не имеет места быть, что не имеет место быть, что не все рациональные числа являются действительными и нет действительных чисел, которые являются рациональными или нет рациональных чисел, которые являются действительными".

Пример 7. Составьте таблицу истинности для формулы логики высказываний , которую в таблице можно обозначить f .

Решение. Составление таблицы истинности начинаем с записи значений ("истина" или "ложь") для одиночных высказываний (атомов) p , q и r . Все возможные значения записываются в восемь строк таблицы. Далее, определяя значения операции импликации, и продвигаясь вправо по таблице, помним, что значение равно "лжи" тогда, когда из "истины" следует "ложь".

Заметим, что никакой атом не имеет вида ~A , (A ∧ B ) , (A ∨ B ) , (A → B ) , (A ↔ B ) . Такой вид имеют сложные формулы.

Число скобок в формулах логики высказываний можно уменьшить, если принять, что

1) в сложной формуле будем опускать внешнюю пару скобок;

2) упорядочим знаки логических операций "по старшинству":

↔, →, ∨, ∧, ~ .

В этом списке знак ↔ имеет самую большую область действия, а знак ~ - самую маленькую. Под областью действия знака операции понимаются те части формулы логики высказываний, к которым применяется (на которые действует) рассматриваемое вхождение этого знака. Таким образом, можно опускать во всякой формуле те пары скобок, которые можно восстановить, учитывая "порядок старшинства". А при восстановлении скобок сначала расставляются все скобки, относящиеся ко всем вхождениям знака ~ (при этом мы продвигаемся слева направо), затем ко всем вхождениям знака ∧ и так далее.

Пример 8. Восстановите скобки в формуле логики высказываний B ↔ ~ C ∨ D ∧ A .

Решение. Скобки восстанавливаются пошагово следующим образом:

B ↔ (~ C ) ∨ D ∧ A

B ↔ (~ C ) ∨ (D ∧ A )

B ↔ ((~ C ) ∨ (D ∧ A ))

(B ↔ ((~ C ) ∨ (D ∧ A )))

Не всякая формула логики высказываний может быть записана без скобок. Например, в формулах А → (B → C ) и ~ (A → B ) дальнейшее исключение скобок невозможно.

Тавтологии и противоречия

Логические тавтологии (или просто тавтологии) - это такие формулы логики высказываний, что если буквы произвольным образом заменить высказываниями (истинными или ложными), то в результате всегда получится истинное высказывание.

Так как истинность или ложность сложных высказываний зависит лишь от значений, а не от содержания высказываний, каждому из которых соответствует определённая буква, то проверку того, является ли данное высказывание тавтологией, можно подставить следующим способом. В исследуемом выражении на место букв подставляются значения 1 и 0 (соответственно "истина" и "ложь") всеми возможными способами и с использованием логических операций вычисляются логические значения выражений. Если все эти значения равны 1, то исследуемое выражение есть тавтология, а если хотя бы одна подстановка даёт 0, то это не тавтология.

Таким образом, формула логики высказываний, которая принимает значение "истина" при любом распределении значений входящих в эту формулу атомов, называется тождественно истинной формулой или тавтологией .

Противоположный смысл имеет логическое противоречие. Если все значения высказываний равны 0, то выражение есть логическое противоречие.

Таким образом, формула логики высказываний, которая принимает значение "ложь" при любом распределении значений входящих в эту формулу атомов, называется тождественно ложной формулой или противоречием .

Кроме тавтологий и логических противоречий существуют такие формулы логики высказываний, которые не являются ни тавтологиями, ни противоречиями.

Пример 9. Составьте таблицу истинности для формулы логики высказываний и определите, является ли она тавтологией, противоречием или ни тем, ни другим.

Решение. Составляем таблицу истинности:

В значениях импликации не встречаем строку, в которой из "истины" следует "ложь". Все значения исходного высказывания равны "истине". Следовательно, данная формула логики высказываний является тавтологией.

Ложное и истинное высказывание часто употребляется в языковой практике. Первая оценка воспринимается как отрицание истинности (неистинности). В реальности используют и иные виды оценки: неопределенность, недоказуемость (доказуемость), неразрешимость. Рассуждая над тем, для какого числа x истинно высказывание, необходимо рассмотреть законы логики.

Возникновение «многозначной логики» привело к использованию неограниченного числа показателей истинности. Ситуация с элементами истинности запутана, усложнена, поэтому важно внести в нее ясность.

Принципы теории

Истинное высказывание - это значение свойства (признака), рассматривается всегда для определенного действия. Что такое истина? Схема следующая: «Высказывание Х обладает значением истинности Y в том случае, когда истинно высказывание Z».

Давайте рассмотрим пример. Нужно понять, для какого из приведенных истинно высказывание: «Предмет а имеет признак В». Это высказывание неверно в том, что у предмета есть признак В, и неверно в том, что а не обладает признаком в». Термин «неверно» в данном случае употребляется в качестве внешнего отрицания.

Определение истинности

Как определяется истинное высказывание? Вне зависимости от структуры высказывания Х допускается только следующее определение: «Высказывание Х истинно тогда, когда есть Х, только Х».

Данное определение дает возможность ввести в язык термин «истинно». Оно определяет акт принятия согласия или высказывания с тем, о чем говорится в нем.

Простые высказывания

В них истинное высказывание без определения. Можно ограничиться при высказывании «Не-Х» общим определением, если это высказывание не является истинным. Истинна конъюнкция "X и Y", если будут истинны X и Y.

Пример высказывания

Как понять, для каких x истинно высказывание? Чтобы ответить на этот вопрос, используем выражение: «Частица а находится в области пространства b». Рассмотрим для этого высказывания следующие случаи:

• невозможно наблюдать частицу;
• можно наблюдать частицу.

Второй вариант предполагает определенные возможности:

• частица реально находится в определенной области пространства;
• ее нет в предполагаемой части пространства;
• частица движется так, что сложно определить область ее расположения.

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

Для сложных структур уместно использование большего количества терминов. Это свидетельствует о неограниченности значений истинности. Для какого числа истинно высказывание, зависит от практической целесообразности.

Двузначности принцип

В соответствии с ним, любое высказывание либо ложно, либо истинно, то есть, характеризуется одним из двух вероятных истинностных значений - «ложно» и «истинно».

Данный принцип является основой классической логики, которую именуют двузначной теорией. Двузначности принцип использовался Аристотелем. Этот философ, рассуждая над тем, для какого числа х истинно высказывание, считал его неподходящим к тем высказываниям, которые касаются будущих случайных событий.

Он устанавливал логическую взаимосвязь между фатализмом и принципом двузначности, положением о предопределенности любых действий человека.

В последующие исторические эпохи ограничения, которые накладывались на данный принцип, объяснялись тем, что он существенно затрудняет анализ высказываний о планируемых событиях, а также о несуществующих (ненаблюдаемых) объектах.

Задумываясь о том, какие высказывания истинные, этим методом не всегда можно было найти однозначный ответ.

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

Чтобы понять, для какого из приведенных чисел истинно высказывание, подходит двухзначная логика.

Принцип многозначности

Если переформулировать вариант двухзначного высказывания для выявления истинности, можно превратить его в частный случай многозначности: любое высказывание будет иметь одно п значение истинности, если п равно либо больше 2, или же меньше бесконечности.

В качестве исключений дополнительных значений истинности (выше «ложно» и «истинно») выступают многие логические системы, базирующиеся на принципе многозначности. Двузначная классическая логика характеризует типичные варианты использования некоторых логически знаков: «или», «и», «не».

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

Ошибочным считают то убеждение, согласно которому, принцип двузначности всегда приводит к констатации фатализма и детерминизма. Также неверна и мысль, согласно которой, многократную логику рассматривают в качестве необходимого средства осуществления индетерминистических рассуждений, что принятие ее соответствует отказу от использования строгого детерминизма.

Семантика логических знаков

Чтобы понять, для какого числа Х истинно высказывание, можно вооружиться таблицами истинности. Семантика логическая представляет раздел металогики, который исследует отношение к обозначаемым объектам, их содержанию разнообразных языковых выражений.

Данная проблема рассматривалась уже в античном мире, но в виде полноценной самостоятельной дисциплины она была сформулирована только на рубеже XIX—XX веков. Работы Г. Фреге, Ч. Пирса, Р. Карнапа, С. Крипке позволили выявить суть данной теории, ее реалистичность и целесообразность.

На протяжении длительного временного периода семантическая логика опиралась в основном на анализ формализованных языков. Только в последнее время большая часть исследований стала посвящаться естественному языку.

В данной методике выделяют две основные области:

• теорию обозначения (референции);
• теорию смысла.

Первая предполагает исследование отношения разнообразных языковых выражений к обозначаемым объектам. В качестве ее основных категорий можно представить: «обозначение», «имя», «модель», «интерпретация». Данная теория является основой для доказательств в современной логике.

Теория смысла занимается поиском ответа на вопрос относительно того, что представляет собой смысл языкового выражения. Она объясняет их тождественность по смыслу.

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

Логическое уравнение

Данный термин используется в метаязыке. Под логическим уравнением можно представить запись F1=F2, в которой F1и F2 являются формулами расширенного языка логических высказываний. Решить такое уравнение означает, определить те наборы истинных значений переменных, которые будут входить в одну из формул F1 либо F2, при которых будет соблюдаться предложенное равенство.

Знак равенства в математике в некоторых ситуациях свидетельствует о равенстве исходных объектов, а в ряде случаев он ставится для демонстрации равенства их значений. Запись F1=F2 может свидетельствовать о том, что речь идет об одной и той же формуле.

В литературе довольно часто под формальной логикой подразумевают такой синоним, как «язык логических высказываний». В качестве «правильных слов» выступают формулы, служащие семантическими единицами, используемыми для построения рассуждений в неформальной (философской) логике.

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

Данный факт стал основой пропозициональной логики. Существует подразделение высказываний на простые и сложные группы.

При формализации простых вариантов высказываний применяют элементарные формулы языка нулевого порядка. Описание сложных высказываний возможно только с применением формул языка.

Логические связки необходимы для обозначения союзов. При их применении простые высказывания превращаются в сложные виды:

• «не»,
• «неверно, что…»,
• «или».

Заключение

Формальная логика помогает выяснять, для какого имени истинно высказывание, предполагает конструирование и анализ правил преобразования определенных выражений, которые сохраняют их истинное значение независимо от содержания. В качестве отдельного раздела философской науки она появилась только в конце девятнадцатого века. Вторым направлением является неформальная логика.

Основной задачей этой науки является систематизация правил, которые позволяют выводить новые утверждения на основе доказанных утверждений.

Фундаментом логики является возможность получения каких-то идей в качестве логического следствия иных утверждений.

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

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

Его можно отнести к числу исходных, фундаментальных понятий современной логики, которую часто именуют наукой «что из него следует».

Сложно представить себе без подобных рассуждений доказательство теорем в геометрии, объяснение физических явлений, пояснение механизмов протекания реакций в химии.