Logic is the study of reasoning. The rules of logic let philosophers make a guess about logical deductions about the world. Logic helps people decide whether something can be true or false.
Logic is often written in syllogisms, which are one type of logical proof. A syllogism is made from a collection of statements used to logically prove the final statement, called the conclusion. One popular example of a logical syllogism was written by the Classical Greek philosopher Aristotle: