| 释义 |
logic The study of deductive reasoning, by which conclusions are derived from sets of premises. Informally, the term is also used to refer to the essential reasoning process in a mathematical proof. See also first order logic, Gödel's incompleteness theorems, predicate, modus ponens, model theory, proof theory.
|