Formal logic involves deductive reasoning typically using a formal language or formal system. Logic is generally considered formal when it is translated from natural language into a formal language based upon a well-defined set of rules. For example, the expression “all Xs are Ys” shows the logical form common to the sentences “all men are mortals”, “all cats are carnivores”, “all Greeks are philosophers”, and so on.