Logic

Words JMdict files under Logic.

43 words.

  1. ノア NOR (Boolean operator)
  2. 命題 (めいだい) proposition
  3. 述語論理 (じゅつごろんり) predicate logic
  4. 三段論法 (さんだんろんぽう) syllogism
  5. コピュラ copula
  6. ナンド NAND (Boolean operator)
  7. 公準 (こうじゅん) postulate
  8. 排他的論理和 (はいたてきろんりわ) exclusive OR
  9. 繋辞 (けいじ) copula
  10. メタ言語 (メタげんご) metalanguage
  11. 連言 (れんげん) conjunction
  12. 恒真式 (こうしんしき) tautology
  13. 選言 (せんげん) disjunction
  14. 種 (しゅ) species
  15. 否定 (ひてい) negation
  16. 結論 (けつろん) conclusion
  17. アンド AND (Boolean operator)
  18. 前提 (ぜんてい) premise
  19. 真 (しん) truth
  20. 区分 (くぶん) division
  21. 検証 (けんしょう) verification
  22. 肯定 (こうてい) affirmative
  23. 虚偽 (きょぎ) fallacy
  24. 類概念 (るいがいねん) generic concept
  25. 種概念 (しゅがいねん) specific concept
  26. 連辞 (れんじ) copula
  27. 換質 (かんしつ) obversion
  28. 同一律 (どういつりつ) law of identity
  29. 命題論理 (めいだいろんり) propositional logic
  30. XOR (エックス・オア) XOR (Boolean operator)
  31. 矛盾原理 (むじゅんげんり) principle of contradiction
  32. 矛盾律 (むじゅんりつ) law of contradiction
  33. 同一原理 (どういつげんり) principle of identity
  34. 自同律 (じどうりつ) law of identity
  35. 思考の原理 (しこうのげんり) law of thought
  36. 偽 (ぎ) falseness
  37. 高次言語 (こうじげんご) metalanguage
  38. 定項 (ていこう) constant
  39. 量化 (りょうか) quantification
  40. 偶有性 (ぐうゆうせい) accident
  41. NOT (ノット) NOT (Boolean operator)
  42. 連鎖式 (れんさしき) sorites
  43. タイプ理論 (タイプりろん) theory of types

Jinuma: Japanese Dictionary · More lists like this · Word lists