Логическое следование (импликация)

Обозначение логического следования: F= → .

Высказывание F= → будем считать истинным во всех случаях, кроме случая, когда истинно, а ложно. Таблица истинности представлена на рис. 8.

		F= →

Рис. 8. Элемент импликации

Импликация может быть обозначена следующими символами:→, É, Þ.

Элемент (штрих) Шеффера

Обозначение:

| ; .

Другое название этой функции: «И-НЕ».

Высказывание | будем считать ложным, когда и равны единице. Таблица истинности представлена на рис. 9.

		ï

Рис. 9. Элемент (штрих) Шеффера