A form of disjunctive syllogism differing only in that the operation of disjunction is replaced by the binary connective of fission .
When fission is interpreted as an intensional disjunction, accepting this inference is to say that disjunctive syllogism holds for the intensional disjunction.