Socrates is Mortal

Theorem

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


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

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

Let $H \left({x}\right)$ denote the propositional function $x$ is human.

Let $M \left({x}\right)$ denote the propositional function $x$ is mortal.

Let $S$ be a proper name that denotes Socrates.

The argument can then be expressed as:

That is:
 * Socrates is mortal.