In classical logic, disjunctive syllogism is a valid argument form which is a syllogism having a disjunctive statement for one of its premises. An example in English: I will choose soup or I will choose salad. I will not choose soup. Therefore, I... Wikipedia