Socrates is Mortal/Variant

From ProofWiki
Jump to navigation Jump to search

Theorem

$(1): \quad$ If Socrates is a man then Socrates is mortal.
$(2): \quad$ Socrates is a man.
$(3): \quad$ Therefore Socrates is mortal.


Proof

Let $P$ denote the simple statement Socrates is a man..

Let $Q$ denote the simple statement Socrates is mortal..


The argument can then be expressed as:

\(\text {(1)}: \quad\) \(\ds P\) \(\implies\) \(\ds Q\)
\(\text {(2)}: \quad\) \(\ds P\) \(\) \(\ds \)
\(\text {(3)}: \quad\) \(\ds \therefore \ \ \) \(\ds Q\) \(\) \(\ds \) Modus Ponendo Ponens

That is:

Socrates is mortal.

$\blacksquare$


Also presented as

The subject of this syllogism varies.

For example, 1993: Richard J. Trudeau: Introduction to Graph Theory presents it as Plato.


Sources