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 branch of formal, dedictive logic in which the base unit of thought is the proposition
branch of mathematical logic based on how propositions are formed from others with logical connectives (not, or, and, implication)