Vi fant 3 definisjoner av symbolic logic på engelsk.
Noun |
||
| symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | ||
| mathematical logic, formal 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 |
||
| symbolic logic - Synonym for mathematical logic. |