| 释义 |
propositional logic
Thesaurus| Noun | 1. | propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate thempropositional calculusformal logic, mathematical logic, 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 |
propositional logic
propositional logic (logic)(or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions andlogical connectives. Propositional logic only considerswhether a proposition is true or false. In contrast topredicate logic, it does not consider the internal structureof propositions.propositional logic
Related to propositional logic: Predicate logic, First order logicSynonyms for propositional logicnoun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate themSynonymsRelated Words- formal logic
- mathematical logic
- symbolic logic
|