2015-05-10
729
Обозначение логического следования: F= 
→ 
.
Высказывание F= → 
будем считать истинным во всех случаях, кроме случая, когда 
истинно, а 
ложно. Таблица истинности представлена на рис. 8.
| | | F= → |
Рис. 8. Элемент импликации
Импликация может быть обозначена следующими символами:→, É, Þ.
Элемент (штрих) Шеффера
Обозначение:
| 
; 
.
Другое название этой функции: «И-НЕ».
Высказывание | будем считать ложным, когда и равны единице. Таблица истинности представлена на рис. 9.
| |  |  ï  |
Рис. 9. Элемент (штрих) Шеффера
