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