History of Modus ponens

	Revision 7 . . September 27, 2001 11:29 pm by AxelBoldt [removed misleading example: its first hypothesis was a tautology.]
	Revision 6 . . September 27, 2001 12:27 pm by Larry Sanger ["In symbols": the symbols aren't necessary to capture form.]

---

Difference (from prior major revision) (no other diffs)

Changed: 1c1

Modus ponens is a valid, simple argument form:

Modus ponens is a valid, simple argument form:

Removed: 7,18d6

Here is an example of an argument that fits the form modus ponens: :If love conquers all, then love conquers Attila the Hun. :Love conquers all. :Therefore, love conquers Attila the Hun. Another example: :If democracy is the best system of government, then everyone should vote. :Democracy is the best system of government. :Therefore, everyone should vote.

Changed: 23c11

( A → B )

A → B

Added: 25a14,20

Here is an example of an argument that fits the form modus ponens: :If democracy is the best system of government, then everyone should vote. :Democracy is the best system of government. :Therefore, everyone should vote.