en propositional logic (n)

An English term in ConceptNet 5.8

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

Synonyms

  • en propositional calculus (n, cognition) ➜
  • fi lauselogiikka (n, cognition) ➜
  • fi propositiologiikka (n, cognition) ➜
  • fr calcul des propositions (n, cognition) ➜
  • fr calcul propositionnel (n, cognition) ➜
  • id kalkulus proposisional (n, cognition) ➜
  • ja 命題論理 (n, cognition) ➜
  • pt Logica proposicional (n, cognition) ➜
  • pt lógica proposicional (n, cognition) ➜
  • th ตรรกศาสตร์เชิงประพจน์ (n, cognition) ➜
  • th แคลคูลัสเชิงประพจน์ (n, cognition) ➜
  • cs výroková logika ➜
  • de aussagenlogik ➜
  • el προτασιακοσ λογισμοσ ➜
  • en propositional calculus ➜
  • en zeroth order logic ➜
  • fi lauselogiikka ➜
  • fi propositiologiikka ➜
  • mk исказна логика ➜
  • pl rachunek zdań ➜

Related terms

  • en atomic proposition ➜
  • en formal system ➜
  • en formula ➜
  • en logical connective ➜
  • en proposition ➜

propositional logic is a type of…

  • en symbolic logic (n, cognition) ➜

Context of this term

  • en logic ➜

Links to other resources

  • wordnet-rdf.princeton.edu 106174863-n
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.