Socrates is Mortal/Variant

Theorem

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

$(2): \quad$ Socrates is a man.

$(3): \quad$ Therefore Socrates is mortal.

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 $

That is:

Socrates is mortal.

$\blacksquare$

The subject of this syllogism varies.

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

1988: Alan G. Hamilton: Logic for Mathematicians (2nd ed.) ... (previous) ... (next): $\S 1$: Informal statement calculus: $\S 1.1$: Statements and connectives: Example $1.1$