Логическое следование (импликация)
Соединение двух простых высказываний А и В в одно сложное с использованием оборота “если…, то…” называется логическим следованием или импликацией.
В литературе операция импликации обозначается как =>.
Пример: высказывание А=”завтра будет хорошая погода”,
высказывание В=”завтра поедем загорать”,
импликация A=>B = “ЕСЛИ завтра будет хорошая погода, ТО завтра поедем загорать ”.
Будем считать это сложное высказывание договором. Этот договор не будет выполнен только в одном случае: если завтра будет хорошая погода, а мы не поедем отдыхать. В остальных случаях этот договор выполняется:
Импликацией двух высказываний “если А, то В”(A=>B) называется сложное высказывание, которое ложно тогда, когда первое высказывание истинно, а второе ложно:
| A | B | A=>B |
Импликацию можно представить через операции НЕ, И, ИЛИ:
A=>B ≡ 
+ В
Дата добавления: 2015-08-08; просмотров: 1200;