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:
a type of deductive logic where: basic building block is a proposition building blocks are connected by logical operators as looking through a microscope on low magnification