Как обозначается импликация