Логические высказывания

Определение

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

Пример

1 A = Сегодня утром шел снег .

2 B = Число 2 больше числа 1 и меньше числа 3 .

3 C = Если число делится на 6, то оно делится на 2 . p

4 D = Число p2 не является рациональным . 5 E = Число 2 является рациональным .

Очевидно что B, C è D являются истинными высказываниями, а E является ложным. Истинность высказывания A зависит от

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

Логика высказываний

Определение

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

Пример

1 A = Сегодня утром шел снег .

2 B = Число 2 больше числа 1 и меньше числа 3 .

3 C = Если число делится на 6, то оно делится на 2 . p

4 D = Число p2 не является рациональным . 5 E = Число 2 является рациональным .

Очевидно что B, C è D являются истинными высказываниями, а E является ложным. Истинность высказывания A зависит от

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

Логика высказываний

Таким образом, каждому из высказываний соответствует

значение истинности.

Логика высказываний

Таким образом, каждому из высказываний соответствует значение истинности. Более точно: если высказывание истинно, то его значение истинности есть истина,

Логика высказываний

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

Логика высказываний

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

Далее истину обозначается 1, à ëîæü 0.

Логика высказываний

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

Далее истину обозначается 1, à ëîæü 0.

Для примера выше: Например, B = 1, C = 1 è D = 1, à E = 0.

Логика высказываний

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

Далее истину обозначается 1, à ëîæü 0.

Для примера выше: Например, B = 1, C = 1 è D = 1, à E = 0.

Логика высказываний

Основные логические связки

Логика высказываний

Из высказываний можно строить новые высказывания.

Логика высказываний