inverse

type of conditional sentence which is an immediate inference made from another conditional sentence