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

reasoned and reasonable judgment

the branch of philosophy that analyzes inference

the principles that guide reasoning within a given field or situation

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

a system of reasoning