Импликация

ИМПЛИКАЦИЯ, смотри в статье Логические операции.