Logic

1. The study of principles of reasoning, especially of the structure of propositions as distinguished from their content, and of method and validity in deductive reasoning.
2. In computers: the non-arithmetic operations performed by a computer, such as sorting, comparing, and matching, that involve yes-no decisions.