disjunctive syllogism

<logic, philosophy of science> a rule of inference of the form:

	p v q
	~ p
	_____
	q

Example: "Either Ellen brought him to the party or Keith did. But Ellen didn't. So, Keith brought him to the party." The validity of this pattern of reasoning is evident from a simple truth-table.

[A Dictionary of Philosophical Terms and Names]

<2001-11-19>

Try this search on OneLook / Google

Nearby terms: disjunct « disjunction « disjunctive normal form (DNF) « disjunctive syllogism » disposition » distributed memory » distributed representation