Called the foundation of formal deductive reasoning, a famous one proves that Socrates is mortal.
The "Barbara" version is the most common example and is found in the Prior Analytics. The "Cesare" is an example of revising an "imperfect" one into a "perfect" one. Called the foundation of formal deductive reasoning, a famous one proves that Socrates is mortal. For 10 points—name this technique of Aristotelian logic which uses two premises to prove a conclusion.
The "Barbara" version is the most common example and is found in the Prior Analytics.
{syllogism}