Login Preferences
About News Publications Statistics Downloads API Guide License How to use Preferences
bn:00064782n
Noun Concept
Categories: Propositional calculus, Boolean algebra, Articles with short description, Logical calculi, Systems of formal logic
EN
propositional logic  propositional calculus  classical propositional logic  Exportation in logic  History of propositional calculus
EN
A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them WordNet 3.0
Definitions
Relations
Sources
EN
A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them WordNet 3.0 & Open English WordNet
Propositional calculus is a branch of logic. Wikipedia
Specifies the rules of inference governing the logic of propositions Wikipedia Disambiguation
The formal logic system used to define the true or false values of objects. OmegaWiki
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives. Wiktionary
Formal deductive system. Wiktionary (translation)
IS A
symbolic logic
logical system
PART OF
logic
HAS KIND
NL
tweewaardige logica
second-order propositional logic
many-valued logic
DESCRIBED BY SOURCE
Armenian Soviet Encyclopedia
DIFFERENT FROM
zeroth-order logic
HAS QUALITY
validity
SAID TO BE THE SAME AS
propositional logic
STUDIES
propositional formula
WordNet 3.0 & Open English WordNet
EN
propositional logic, propositional calculus
Wikipedia
EN
propositional calculus
Wikidata
EN
propositional logic
Wiktionary
EN
propositional logic
OmegaWiki
EN
propositional calculus
Wikipedia Redirections
EN
classical propositional logic, Exportation in logic, History of propositional calculus, Propositional calculi, Propositional Calculus, propositional logic, Sentance logic, Sentence logic, sentential calculus, sentential logic, Solvers for propositional logic formulas, truth-functional propositional calculus, truth-functional propositional logic, Truth functional propositional calculus, Truth functional propositional logic
Wikidata Alias
EN
propositional calculus, sentential calculus, sentential logic, statement logic, zeroth-order logic

Please note that, in order to improve your browsing experience on this website, BabelNet® uses various types of cookies, including: browsing functionality, performance and statistical cookies.

By continuing to browse the site you are agreeing to our use of cookies. OK

License