Syllogism is a form of deductive reasoning where a conclusion is drawn from two given or assumed propositions (premises), each sharing a common term with the conclusion. It is a foundational element in formal logic, providing a structured way to derive logical conclusions from general statements.