Логические высказывания
.pdf
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Логика высказываний
27 февраля 2015 г.
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Основные определение и операции
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 A = Сегодня утром шел снег .
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 A = Сегодня утром шел снег .
2 B = Число 2 больше числа 1 и меньше числа 3 .
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 |
A = Сегодня утром шел снег . |
2 |
B = Число 2 больше числа 1 и меньше числа 3 . |
3 |
C = Если число делится на 6, то оно делится на 2 . |
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 |
A = Сегодня утром шел снег . |
||
2 |
B = Число 2 больше числа 1 и меньше числа 3 . |
||
3 |
C = Если число делится на 6, то оно делится на 2 . |
||
|
D = Число p |
|
не является рациональным . |
4 |
2 |
||
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 |
A = Сегодня утром шел снег . |
||||
2 |
B = Число 2 больше числа 1 и меньше числа 3 . |
||||
3 |
C = Если число делится на 6, то оно делится на 2 . |
||||
|
D = Число p |
|
|
не является рациональным . |
|
4 |
2 |
||||
|
E = Число p |
|
является рациональным . |
||
5 |
2 |
||||
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 |
A = Сегодня утром шел снег . |
||||
2 |
B = Число 2 больше числа 1 и меньше числа 3 . |
||||
3 |
C = Если число делится на 6, то оно делится на 2 . |
||||
|
D = Число p |
|
|
не является рациональным . |
|
4 |
2 |
||||
|
E = Число p |
|
является рациональным . |
||
5 |
2 |
||||
Логика высказываний
Основные определение и операции |
Основные логические связки |
|
Равносильность формул и законы логики высказываний |
||
|
||
|
|
Определение
Высказывание повествовательное предложение, относительно которого можно сказать, истинно оно или ложно
Пример
1 |
A = Сегодня утром шел снег . |
||||
2 |
B = Число 2 больше числа 1 и меньше числа 3 . |
||||
3 |
C = Если число делится на 6, то оно делится на 2 . |
||||
|
D = Число p |
|
|
не является рациональным . |
|
4 |
2 |
||||
|
E = Число p |
|
является рациональным . |
||
5 |
2 |
||||
Очевидно что B, C è D являются истинными высказываниями,
Логика высказываний