en propositional calculus

An English term in ConceptNet 5.8

Sources: German Wiktionary, English Wiktionary, and Open Multilingual WordNet
View this term in the API
  • Documentation
  • FAQ
  • Chat
  • Blog
  • Documentation
  • FAQ
  • Chat
  • Blog

Related terms

  • cs výroková logika (n) ➜
  • en implication (n) ➜
  • en implicational propositional calculus (n) ➜
  • en interpretation (n) ➜
  • en literal (n) ➜
  • en peirce's law (n) ➜
  • en propositional logic ➜
  • mul praeclarum theorema (n) ➜
  • pl rachunek zdań (n) ➜

Synonyms

  • en propositional logic (n, cognition) ➜
  • de aussagenlogik (n) ➜
  • en propositional logic (n) ➜

propositional calculus is a type of…

  • en logical calculus (n) ➜
  • en logical calculus ➜

Derived terms

  • en implicational propositional calculus ➜

Word forms

  • en propositional calculi (n) ➜

Terms with this context

  • en implicand (n) ➜

Types of propositional calculus

  • en implicational propositional calculus (n) ➜

Context of this term

  • en logic ➜

Links to other resources

  • en.wiktionary.org propositional calculus
Creative Commons License
ConceptNet 5 is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License. If you use it in research, please cite this AAAI paper.
See Copying and Sharing ConceptNet for more details.