the grammatical relation created by a transitive verb | the branch of philosophy that analyzes inference |
(logic and mathematics) a relation between three elements such that if it holds between the first and second and it also holds between the second and third it must necessarily hold between the first and third | a system of reasoning |
| reasoned and reasonable judgment |
| 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 |