Vi fant 3 definisjoner av formal logic på engelsk.
Noun |
||
| formal logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | ||
| symbolic logic, mathematical logic | ||
| logical system, system of logic, logic reasoned and reasonable judgment; "it made a certain kind of logic" | ||
| boolean algebra, boolean logic a system of symbolic logic devised by George Boole; used in computers | ||
| propositional calculus, propositional logic a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them | ||
| functional calculus, predicate calculus a system of symbolic logic that represents individuals and predicates and quantification over individuals (as well as the relations between propositions) | ||
| modal logic a system of logic whose formal properties resemble certain moral and epistemological concepts | ||
Substantiv |
||
| formal logic - mathematical Mathematical logic. | ||
| formal logic - A particular logical calculus. |