ConceptNet 5: symbolic logic

Synonyms

en formal logic ^{(n, cognition)} ➜
en mathematical logic ^{(n, cognition)} ➜
fa منطق ریاضی ^{(n, cognition)} ➜
fa منطق مجرد ^{(n, cognition)} ➜
fi formaalinen logiikka ^{(n, cognition)} ➜
fi matemaattinen logiikka ^{(n, cognition)} ➜
fi symbolinen logiikka ^{(n, cognition)} ➜
fr logique mathématique ^{(n, cognition)} ➜
id logika matematika ^{(n, cognition)} ➜
ja 形式論理 ^{(n, cognition)} ➜
ja 形式論理学 ^{(n, cognition)} ➜
ja 数学的論理学 ^{(n, cognition)} ➜
ja 記号論理学 ^(a) ➜
ja 記号論理学 ^{(n, cognition)} ➜
ms logik matematik ^{(n, cognition)} ➜
pt Lógica matemática ^{(n, cognition)} ➜
th คณิตตรรกศาสตร์ ^{(n, cognition)} ➜
en mathematical logic ⁽ⁿ⁾ ➜
zh 数理逻辑 ➜
zh 數理邏輯 ➜

Related terms

en logistic ^(a) ➜
en logistically ^(r) ➜
en negation ⁽ⁿ⁾ ➜
en new math ⁽ⁿ⁾ ➜
en deductive ➜
en formal ➜
en logic ➜
en natural language ➜
en symbol ➜
en system ➜
en temporal logic ⁽ⁿ⁾ ➜
fr logistique ^(a) ➜

Types of symbolic logic

en Boolean logic ^{(n, cognition)} ➜
en fuzzy logic ^{(n, cognition)} ➜
en modal logic ^{(n, cognition)} ➜
en predicate calculus ^{(n, cognition)} ➜
en propositional logic ^{(n, cognition)} ➜

symbolic logic is a type of…

en logic ^{(n, cognition)} ➜

Word forms

en symbolic logics ⁽ⁿ⁾ ➜

Derived from

en logic ⁽ⁿ⁾ ➜

Context of this term

en logic ➜

Links to other resources

wordnet-rdf.princeton.edu 106174381-n
en.wiktionary.org symbolic logic