ConceptNet 5: formal logic

Related terms

en logical calculus ➜
en mathematical logic ➜
en formal logics ⁽ⁿ⁾ ➜
en iff ➜
en informal fallacy ⁽ⁿ⁾ ➜
en logic programming ⁽ⁿ⁾ ➜
en mathematical logic ⁽ⁿ⁾ ➜
en montague grammar ⁽ⁿ⁾ ➜
mul ℩ ➜
zh 形式邏輯 ⁽ⁿ⁾ ➜

Synonyms

en symbolic logic ^{(n, cognition)} ➜
ja 形式論理 ⁽ⁿ⁾ ➜
ja 形式論理学 ⁽ⁿ⁾ ➜
en logic ⁽ⁿ⁾ ➜

formal logic is a type of…

en logic ➜

Word forms

en formal logics ⁽ⁿ⁾ ➜

Derived from

en logic ⁽ⁿ⁾ ➜

Context of this term

en logic ➜

formal logic is used for…

en prove theorems ➜

Links to other resources

en.wiktionary.org formal logic