semantic implication

Мат. семантическая импликация