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
