Word | Noun | Adjective | Verb | Adverb |
---|---|---|---|---|
symbolic logic | Yes | No | No | No |
propositional calculus | Yes | No | No | No |
symbolic logic (noun) | propositional calculus (noun) |
---|---|
any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity | a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them |