Понятие высказывания. Виды высказываний.

Основным (неопределяемым) понятием математической логики является понятие «простого высказывания».

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

Приведем примеры высказываний:

1) Новгород стоит на Волхове.

2) Париж – столица Англии.

3) Карась не рыба.

4) Число 6 делится на 2 и на 3.

5) Если юноша окончил среднюю школу, то он получает аттестат зрелости.

 

Высказывания 1), 4), 5) истинны, а 2) и 3) – ложны.

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

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

Высказывания, которые получаются из элементарных с помощью грамматических связок «не», «и», «или», «если …, то …», «тогда и только тогда», принято называть сложными или составными. Так, высказывание 3) получается из простого высказывания «Карась – рыба» с помощью отрицания «не», высказывание 4) образовано из элементарных высказываний «Число 6 делится на 2», «Число 6 делится на 3», соединенных союзом «и». Высказывание 5) получается из простых высказываний «Юноша окончил среднюю школу», «Юноша получает аттестат зрелости» с помощью грамматической связки «если …,
то …». Аналогично сложные высказывания могут быть получены из простых высказываний с помощью грамматических связок «или», «тогда и только тогда».

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

В дальнейшем будем элементарные высказывания обозначать буквами латинского алфавита: a, b, c, …, x, y, z, …; истинное значение – буквой И или цифрой 1, а ложное значение – буквой Л или цифрой 0.

Если высказывание а истинно, то будем писать а=1, если же ложно, то а=0.

 

Логические высказывания принято подразделять на два вида: элементарные логические высказывания исоставные логические высказывания.

 

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

 

Логическая связка — это любая логическая операция над высказыванием. Например, употребляемые в обычной речи слова и словосочетания «не», «и», «или», «если…, то», «тогда и только тогда» являются логическими связками.

Элементарные логические высказывания — это высказывания не относящиеся к составным.

 

Примеры: «Иванов — футболист» — элементарные логические высказывания. «Иванов — футболист и шахматист» — составное логическое высказывание, состоящие из двух элементарных высказываний, связанных между собой при помощи связки «и».

 

46. Элементы алгебры логики

 

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

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

Высказывания:

– “Сейчас идет снег” – это утверждение может быть истинным или ложным;

– “Вашингтон – столица США” – истинное утверждение;

– “Частное от деления 10 на 2 равно 3” – ложное утверждение.

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

Простейшими операциями в алгебре логики являются операции логического сложения (иначе: операция ИЛИ (OR), операция дизъюнкции) и логического умножения (иначе: операция И (AND), операция конъюнкции). Для обозначения операции логического сложения используют символы + или V, а логического умножения – символы • или Правила выполнения операций в алгебре логики определяются рядом аксиом, теорем и следствий. В частности, для алгебры логики применимы законы:

1. Сочетательный:

 

47. (a + b) + с = а + (b + с),

48. (а • b) • с = а • (b • с).

 

2. Переместительный:

 

49. (а + b) = (b + a),

50. (а • b) = (b • а).

 

3. Распределительный:

 

51. а • (b + с) = а • b + (a • с),

52. (а + b) • с = а • с + b • с.

 

Справедливы соотношения, в частности:

 

53. а + а = аа + b = b, если а ≤ b,

54. а • а = аа • b = а, если a ≤ b,

a + a • b = aa • b = b, если а ≥ b,

а + b = а, если а ≥ b.

Наименьшим элементом алгебры логики является 0, наибольшим элементом – 1. В алгебре логики также вводится еще одна операция – отрицания (операция НЕ (NOT), инверсия), обозначаемая чертой над элементом.

По определению

Функция в алгебре логики – выражение, содержащее элементы алгебры логики а, b, с и др., связанные операциями, определенными в этой алгебре. Примеры логических функций:

 

55.

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

⇐ Предыдущая1234567

Поделиться: