Also known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication
логическая операция из булевой алгебры
via Wikipedia infobox
Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие. Суждение, выражаемое импликацией, выражается также следующими способами: * посылка является условием, достаточным для выполнения следствия: * следствие является условием, необходимым для истинности посылки. Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы. При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением.
Abstract from DBpedia / Wikipedia · CC BY-SA
via Wikidata · CC0
via Wikidata sitelinks · CC0
Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).