Socrates is Mortal

Theorem

 * $(1): \quad$ All humans are mortal.
 * $(2): \quad$  is human.


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

Proof
Let $x$ be an object variable from the universe of rational beings.

Let $\map H x$ denote the propositional function $x$ is human.

Let $\map M x$ denote the propositional function $x$ is mortal.

Let $S$ be a proper name that denotes.

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.