Disjunctive syllogism

Also found in: Wikipedia.
(Logic) one in which the major proposition is disjunctive; as, the earth moves in a circle or an ellipse; but in does not move in a circle, therefore it moves in an ellipse.

See also: Disjunctive

References in periodicals archive ?
To demonstrate this he reunites the fields of relevance logic and diagram logic, arguing: if the premises of an argument contain its conclusion, it is relevantly valid; if in the very act of diagraming all the premises of an argument one also diagrams its conclusion, the premises contain the conclusion; modus ponens, disjunctive syllogism, and many other arguments that violate Anderson-Belnap variable sharing can be and have been so diagrammed; therefore they are relevantly valid.
Perfectionist logic accepts disjunction introduction and disjunctive syllogism, but employs a non-transitive notion of entailment (104): p [conjunction] [?
those that are usually called 'relevance logics' or 'relevant logics', which reject disjunctive syllogism (107-12).
Disjunctive Syllogism (DS, [alpha]v[beta], [logical not][alpha][?
Lewis' disjunctive syllogism proving the deity of Christ; Plato's hypothetical argument concerning the power of love; Christ's conjunctive syllogism: "You cannot serve both God and mammon"; David Hume's famous dilemma stating the problem of evil; the stoic Seneca's justification of the virtuous life; and St.
For to show that the [mu]-term satisfies the first disjunct of its definition, we need to employ the disjunctive syllogism illicitly at a crucial point.
but we cannot establish the first disjunct, as required, without using the fact that E<[pi]> and employing the disjunctive syllogism.
All things considered, not much is said about why we ought to assent to Boyle's interpretation, which will be a disappointment to those who demand more than a disjunctive syllogism to prop up an interpretation.
This premise, which I take to be a logical truth, is supplied in order to make explicit the disjunctive syllogism of my Aristotelian argument.
Most of the categorical alternatives the banker casts before his admiring acolyte are disjunctive syllogisms, a statement of alternatives of the type 'either p or q; not q therefore p'.