Evan Harmon - Memex

Disjunctive Syllogism

In classical logic, Disjunctive Syllogism is a valid argument form which is a syllogism having a disjunctive statement for one of its premises.
wikipedia:: Disjunctive syllogism

P or Q
~P
Thus, Q

Disjunctive Syllogism
Interactive graph
On this page
Disjunctive Syllogism