Stoic logic is the system of propositional logic developed by the Stoic philosophers in ancient Greece.
Chrysippus, who created much of Stoic logic
A syllogism is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
"Socrates" at the Louvre