ГДЗ по Информатике 9 класс. Поляков. §8. Логика и компьютеры.
Подготовьте сообщение
в) «Логическая операция импликация»
Ответ
Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…».
Импликация записывается как посылка {\displaystyle \Rightarrow } следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие.
Суждение, выражаемое импликацией, выражается также следующими способами:
- посылка является условием, достаточным для выполнения следствия:
- следствие является условием, необходимым для истинности посылки.
Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы.
При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением.