a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

the branch of philosophy that analyzes inference

reasoned and reasonable judgment

the principles that guide reasoning within a given field or situation

a system of reasoning

the system of operations performed by a computer that underlies the machine's representation of logical operations