(n.) 1. Philosophy that addresses the formal principles and methods of reasoning and knowledge. Logic is concerned with knowing truth. Symbols are used to formalize logical arguments and proofs representing propositions and logical connectives. Boolean algebra is applied to the basic operations of truth values using combinations of “AND,” “OR,” and “NOT.” Predicate logic expresses the progression from premises to conclusions, or the process of deduction. 2. Formulas used to control the operation of integrated circuits (ICs) that apply relational propositions to gated circuits.
« BACK TO DICTIONARY INDEX