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/

Categories: