material conditional

名词noun

1. 1(logic) A type of conditional statement used in formal logic and defined as true whenever its antecedent is false or its consequent is true, and false when its antecedent is true and its consequent is false.