Socrates is Mortal/Variant
Jump to navigation
Jump to search
Theorem
- $(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
- 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$