Symbolic logic

Symbolic logic is a system of variables and symbols, much like those used in mathematics, that allows logicians to quickly sort through complex problems in formal logic. It is useless, however, in solving problems in informal logic, because just like formal logic, it only functions in arguments where the parties agree on their premises.