sequent
conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true
en-GB/ˈsiːkwənt/
en-US/ˈsikwənt/
conditional assertion that if all of the antecedent conditions are true, then at least one of the consequent formulas is true