sure sure Socrates is mortal since all humans are
but why did you have to devise such complicated mathematical theories and computer programs just to formally prove that
but why did you have to devise such complicated mathematical theories and computer programs just to formally prove that
Follow
@amiloradovsky Apparently the original form was
* Socrates is human.
* Everything human is an animal.
* Therefore, Socrates is an animal.
Therefore, this is a medieval trolling, later adopted by the logicians in a milder form, losing its punchline in the process.
@dpwiz still syllogisms and modus ponens are both nice terms but such an examples are unlikely to motivate anyone to get interested in the topic — ML could stand for mathematical logic and be as hip as it is but isn't
