импликация

Also known as implication, material consequence, simply implication, implies, conditional, material conditional, if-then, logical implication

логическая операция из булевой алгебры

Key facts

Definition: x → y {\displaystyle x\to y}
Truth table: ( 1011 ) {\displaystyle (1011)}
Disjunctive: x ¯ + y {\displaystyle {\overline {x}}+y}
Conjunctive: x ¯ + y {\displaystyle {\overline {x}}+y}
Zhegalkin polynomial: 1 ⊕ x ⊕ x y {\displaystyle 1\oplus x\oplus xy}
0 preserving: no
1 preserving: yes
Monotone: no
Affine: no
Self dual: no

via Wikipedia infobox

Wikidata facts

Image: Venn1011.svg

Article · Русский

Имплика́ция (от лат. implicatio «связь; сплетение») — бинарная логическая связка, по своему применению приближенная к союзам «если…, то…». Импликация записывается как посылка следствие; применяются также стрелки другой формы и направленные в другую сторону, но всегда указывающие на следствие. Суждение, выражаемое импликацией, выражается также следующими способами: * посылка является условием, достаточным для выполнения следствия: * следствие является условием, необходимым для истинности посылки. Импликация играет очень важную роль в умозаключениях. С её помощью формулируются определения различных понятий, теоремы, научные законы. При учёте смыслового содержания высказываний импликация подразумевает причинную связь между посылкой и заключением.

Abstract from DBpedia / Wikipedia · CC BY-SA