a system of symbolic logic devised by George Boole; used in computers

of or relating to a combinatorial system devised by George Boole that combines propositions with the logical operators AND and OR and IF THEN and EXCEPT and NOT

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