Socrates is Mortal/Variant

Theorem

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


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

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

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

The argument can then be expressed as:

That is:
 *  is mortal.

Also presented as
The subject of this syllogism varies.

For example, presents it as.