a branch of formal, dedictive logic in which the base unit of thought is the proposition
often called symbolic logic, this is a branch of formal, deductive logic in which the basic unit of thought is the proposition or statement:
This example is paraphrase.