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