Отрицание высказываний есть логическая операция, результатом которой является сложное высказывание, истинность которого определяется в таблицы истинности.
|
А |
Ā |
|
0 |
1 |
|
1 |
0 |
Существует 2 варианта образования отрицаний:
1) с помощью частицы «не» (треугольник АВС равносторонний - треугольник АВС не равносторонний)
2) с помощью связки «не верно что…» (треугольник АВС равносторонний – неверно, что треугольник АВС равносторонний)
Св-ва:
Импликация (связь с условием)
Обозначается: → Þ
Импликация логических высказываний А и В есть логическая операция, результатом которой является сложное логическое высказывание, в котором простые связаны союзом «если…то», ложно только тогда, когда А – истина, а В –.ложь.
|
А |
В |
А→В |
|
0 |
0 |
1 |
|
0 |
1 |
1 |
|
1 |
0 |
0 |
|
1 |
1 |
1 |
В высказывании А→В, высказывание А называется посылкой (условием), высказывание В – заключением.
Например: «Число 12 кратно 4, значит оно кратно 2»
А – «число 12 кратно 4» «1»
В – «число 12 кратно 2» «1»
1→1 = 1 (истина)
Св-во: А→В = ĀVВ
