material conditional
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.
Noun
- 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.
- 'A ⊃ B' represents a material conditional.
Synonyms: conditional if-then statement horseshoe conditional material implication Philonian conditional
Antonyms: strict implication
Hypernyms: logical connective