(Eng: logical implication) De conditie in logische verklaringen waarin x en y voorkomen en waarin geldt dat y waar is indien x waar is.(Eng: logical implication) De conditie in logische verklaringen waarin x en y voorkomen en waarin geldt dat y waar is indien x waar is.