in English:
# I will choose soup or I will choose salad.
# I will not choose soup.
# Therefore, I will choose salad.

Propositional logic

In propositional logic, disjunctive syllogism (also known as disjunction elimination and or elimination, or abbreviated ?E), is a valid rule of inference. If it is known that at least one of two statements is true, and

1.Previous
3.Next